Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issuestate:open
is:issue state:open
Search results
SYNT: Clicking 2-player game (incremental) opens each time a new tab
enhancementNew feature or requestNew feature or requestStatus: Open.#119In adamtool/webinterface;SYNT: Disable the explicit feature for the incremental graph builder for the distributed environment case
bugSomething isn't workingSomething isn't workingStatus: Open.#118In adamtool/webinterface;MC: Add the possibility to select standard formulas for SDNs
enhancementNew feature or requestNew feature or requestStatus: Open.#116In adamtool/webinterface;Sort the examples by folders first
enhancementNew feature or requestNew feature or requestStatus: Open.#115In adamtool/webinterface;Show the grid
enhancementNew feature or requestNew feature or requestStatus: Open.#114In adamtool/webinterface;SYNT: Mark the initial state for the strategy and the game with an ingoing arc
enhancementNew feature or requestNew feature or requestStatus: Open.#113In adamtool/webinterface;APT and reachability/coverability graphs
enhancementNew feature or requestNew feature or requestStatus: Open.#112In adamtool/webinterface;Load Game From Editor has a little flicker with text in between
enhancementNew feature or requestNew feature or requestStatus: Open.#111In adamtool/webinterface;Add an export option for the input nets (without the additional features)
enhancementNew feature or requestNew feature or requestStatus: Open.#110In adamtool/webinterface;MC: Re-rendering the input net after closing the right panel
bugSomething isn't workingSomething isn't workingStatus: Open.#105In adamtool/webinterface;MC: Loading the counter example with loops in the simulator
bugSomething isn't workingSomething isn't workingStatus: Open.#102In adamtool/webinterface;Implement notifier for changes in the Petri net with transits or the Petri game
enhancementNew feature or requestNew feature or requestStatus: Open.#101In adamtool/webinterface;