Skip to content

Issues: VerifiableRobotics/LTLMoPWeb3D

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 49 Closed
21 Open 49 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Use Zeit's Now as free hosting that supports Docker kind: internal Changes only affect the internals, and _not_ the public API or external-facing docs
#70 opened Feb 15, 2018 by agilgur5
2
Migrate File/Object Functionality to Prototype kind: internal Changes only affect the internals, and _not_ the public API or external-facing docs scope: RegionEditor Related to the Region Editor scope: Simulator Related to the Simulator scope: SpecEditor Related to the Spec Editor
#67 opened Dec 25, 2015 by agilgur5
1
Consider using a Free CDN kind: internal Changes only affect the internals, and _not_ the public API or external-facing docs
#65 opened Dec 25, 2015 by agilgur5
Download Compiled Artifacts Asynchronously scope: SpecEditor Related to the Spec Editor
#54 opened Nov 18, 2015 by agilgur5
3
View Automaton kind: feature New feature or request scope: SpecEditor Related to the Spec Editor
#51 opened Nov 17, 2015 by agilgur5
1
Use React Sidebar to Hold Navigation kind: feature New feature or request
#50 opened Nov 10, 2015 by agilgur5
Create CI Environment kind: internal Changes only affect the internals, and _not_ the public API or external-facing docs
#49 opened Nov 9, 2015 by agilgur5
1
CounterStrategy Visualization kind: feature New feature or request scope: SpecEditor Related to the Spec Editor
#40 opened Oct 21, 2015 by agilgur5
1
Complete All Features of Spec Editor kind: feature New feature or request scope: SpecEditor Related to the Spec Editor
#36 opened May 15, 2015 by agilgur5
4 of 8 tasks
4
Add Other Models kind: feature New feature or request scope: Simulator Related to the Simulator
#33 opened May 15, 2015 by agilgur5
1
More Complex Pathfinding kind: feature New feature or request scope: Simulator Related to the Simulator
#32 opened May 15, 2015 by agilgur5
Allow Uploading of Both Regions kind: feature New feature or request scope: Simulator Related to the Simulator
#31 opened May 15, 2015 by agilgur5
Scale Size of Car kind: feature New feature or request scope: Simulator Related to the Simulator
#29 opened May 13, 2015 by agilgur5
RegionEditor kind: feature New feature or request scope: RegionEditor Related to the Region Editor
#26 opened May 12, 2015 by agilgur5
3
Complete All Features of Simulator kind: feature New feature or request scope: Simulator Related to the Simulator
#25 opened May 12, 2015 by agilgur5
2
Add Better Styling kind: feature New feature or request scope: Simulator Related to the Simulator scope: SpecEditor Related to the Spec Editor
#24 opened May 12, 2015 by agilgur5
1
forward error messages from specEditor or java compiler kind: bug Something isn't working properly kind: feature New feature or request scope: Server Related to the Server
#16 opened Dec 18, 2014 by jimjing
3
fail to load region file after 500 error kind: bug Something isn't working properly scope: Server Related to the Server
#14 opened Dec 18, 2014 by jimjing
Front End MVC (+ SPA?) kind: internal Changes only affect the internals, and _not_ the public API or external-facing docs scope: RegionEditor Related to the Region Editor scope: Simulator Related to the Simulator scope: SpecEditor Related to the Spec Editor
#13 opened Dec 8, 2014 by agilgur5
5
Simulator Regions Nuances kind: feature New feature or request scope: Simulator Related to the Simulator
#12 opened Dec 8, 2014 by agilgur5
1
File Deletion kind: feature New feature or request scope: Server Related to the Server
#5 opened Nov 10, 2014 by agilgur5
3
ProTip! Exclude everything labeled bug with -label:bug.