-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Run LTLMoP compilation directly in browser, no API needed
kind: featureNew feature or requestNew feature or requestscope: LTLMoPEnabled in LTLMoP itselfEnabled in LTLMoP itselfscope: ServerRelated to the ServerRelated to the Serverscope: SpecEditorRelated to the Spec EditorRelated to the Spec EditorStatus: Open.#72 In VerifiableRobotics/LTLMoPWeb3D;Use Zeit's Now as free hosting that supports Docker
kind: internalChanges only affect the internals, and _not_ the public API or external-facing docsChanges only affect the internals, and _not_ the public API or external-facing docsStatus: Open.#70 In VerifiableRobotics/LTLMoPWeb3D;Migrate File/Object Functionality to Prototype
kind: internalChanges only affect the internals, and _not_ the public API or external-facing docsChanges only affect the internals, and _not_ the public API or external-facing docsscope: RegionEditorRelated to the Region EditorRelated to the Region Editorscope: SimulatorRelated to the SimulatorRelated to the Simulatorscope: SpecEditorRelated to the Spec EditorRelated to the Spec EditorStatus: Open.#67 In VerifiableRobotics/LTLMoPWeb3D;Consider using a Free CDN
kind: internalChanges only affect the internals, and _not_ the public API or external-facing docsChanges only affect the internals, and _not_ the public API or external-facing docsStatus: Open.#65 In VerifiableRobotics/LTLMoPWeb3D;Download Compiled Artifacts Asynchronously
scope: SpecEditorRelated to the Spec EditorRelated to the Spec EditorStatus: Open.#54 In VerifiableRobotics/LTLMoPWeb3D;View Automaton
kind: featureNew feature or requestNew feature or requestscope: SpecEditorRelated to the Spec EditorRelated to the Spec EditorStatus: Open.#51 In VerifiableRobotics/LTLMoPWeb3D;Use React Sidebar to Hold Navigation
kind: featureNew feature or requestNew feature or requestStatus: Open.#50 In VerifiableRobotics/LTLMoPWeb3D;Create CI Environment
kind: internalChanges only affect the internals, and _not_ the public API or external-facing docsChanges only affect the internals, and _not_ the public API or external-facing docsStatus: Open.#49 In VerifiableRobotics/LTLMoPWeb3D;CounterStrategy Visualization
kind: featureNew feature or requestNew feature or requestscope: SpecEditorRelated to the Spec EditorRelated to the Spec EditorStatus: Open.#40 In VerifiableRobotics/LTLMoPWeb3D;Complete All Features of Spec Editor
kind: featureNew feature or requestNew feature or requestscope: SpecEditorRelated to the Spec EditorRelated to the Spec EditorStatus: Open.#36 In VerifiableRobotics/LTLMoPWeb3D;Add Other Models
kind: featureNew feature or requestNew feature or requestscope: SimulatorRelated to the SimulatorRelated to the SimulatorStatus: Open.#33 In VerifiableRobotics/LTLMoPWeb3D;More Complex Pathfinding
kind: featureNew feature or requestNew feature or requestscope: SimulatorRelated to the SimulatorRelated to the SimulatorStatus: Open.#32 In VerifiableRobotics/LTLMoPWeb3D;