issues
search
VerifiableRobotics
/
LTLMoPWeb3D
A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump flask from 0.10 to 1.0 in /app
#71
dependabot[bot]
opened
4 years ago
0
Use Zeit's Now as free hosting that supports Docker
#70
agilgur5
opened
6 years ago
2
Add ROS functionality to Simulator
#69
agilgur5
closed
8 years ago
0
Redirect from Heroku to VPS
#68
agilgur5
closed
6 years ago
1
Migrate File/Object Functionality to Prototype
#67
agilgur5
opened
8 years ago
1
Create Deployment Docs and Front End Docs
#66
agilgur5
closed
8 years ago
0
Consider using a Free CDN
#65
agilgur5
opened
8 years ago
0
Use Relative URLs in Wiki
#64
agilgur5
closed
8 years ago
0
Unify File Interfaces in SPA
#63
agilgur5
closed
8 years ago
0
Only use basename of RegionPath
#62
agilgur5
closed
8 years ago
0
Export File from File Interfaces
#61
agilgur5
closed
6 years ago
2
Optimize SpecEditor Prop Lists
#60
agilgur5
closed
6 years ago
1
Allow Spec Editor Resizability
#59
agilgur5
closed
8 years ago
2
Workspace Decomposition
#58
agilgur5
closed
8 years ago
0
Update Installation Docs
#57
agilgur5
closed
8 years ago
1
Push Image w/ old static pages (Simulator + Spec Editor)
#56
agilgur5
closed
8 years ago
1
Minimal Cross Platform Docker Install to get LTLMoP w/ GUI running.
#55
agilgur5
closed
8 years ago
0
Download Compiled Artifacts Asynchronously
#54
agilgur5
opened
8 years ago
3
Optimize LTLMoP Docker baseimage
#53
agilgur5
closed
8 years ago
1
LTLMoP Desktop VM
#52
agilgur5
closed
8 years ago
5
View Automaton
#51
agilgur5
opened
8 years ago
1
Use React Sidebar to Hold Navigation
#50
agilgur5
opened
8 years ago
0
Create CI Environment
#49
agilgur5
opened
8 years ago
1
All Open Dialogs should by default only search given extensions
#48
agilgur5
closed
8 years ago
2
Spec Editor SPA
#47
agilgur5
closed
8 years ago
1
Set Up Front End Dev Environment
#46
agilgur5
closed
8 years ago
1
Edit Wiki to Reflect Docker + Vagrant Changes
#45
agilgur5
closed
8 years ago
1
Get Docker Containers Running on VPS
#44
agilgur5
closed
8 years ago
4
Get Docker Containers Running on Heroku
#43
agilgur5
closed
8 years ago
1
Get Docker Running with LTLMoP Base Image
#42
agilgur5
closed
8 years ago
1
Fix Spec Editor
#41
agilgur5
closed
8 years ago
2
CounterStrategy Visualization
#40
agilgur5
opened
8 years ago
1
LTL Output
#39
agilgur5
closed
8 years ago
1
Syntax Highlighting
#38
agilgur5
closed
8 years ago
2
Fix URLs after Github organization renaming
#37
spmaniato
closed
8 years ago
4
Complete All Features of Spec Editor
#36
agilgur5
opened
9 years ago
4
Spec Editor Upload Spec should add options correctly
#35
agilgur5
closed
9 years ago
1
Download Buttons
#34
agilgur5
closed
9 years ago
1
Add Other Models
#33
agilgur5
opened
9 years ago
1
More Complex Pathfinding
#32
agilgur5
opened
9 years ago
0
Allow Uploading of Both Regions
#31
agilgur5
opened
9 years ago
0
Change Routes so Spec Editor is '/'
#30
agilgur5
closed
9 years ago
1
Scale Size of Car
#29
agilgur5
opened
9 years ago
0
Add Velocity Scaler
#28
agilgur5
closed
9 years ago
1
Figure out Lighting
#27
agilgur5
closed
9 years ago
2
RegionEditor
#26
agilgur5
opened
9 years ago
3
Complete All Features of Simulator
#25
agilgur5
opened
9 years ago
2
Add Better Styling
#24
agilgur5
opened
9 years ago
1
Add Selection of Initial Region + Show Regions During Execution
#23
agilgur5
closed
9 years ago
1
Start Using Modules for Dependency Tracking
#22
agilgur5
closed
9 years ago
2
Next