-
Notifications
You must be signed in to change notification settings - Fork 2
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
SYNT: Clicking 2-player game (incremental) opens each time a new tab
enhancementNew feature or requestNew feature or requestStatus: Open.#119 In 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.#118 In adamtool/webinterface;MC: Add the possibility to select standard formulas for SDNs
enhancementNew feature or requestNew feature or requestStatus: Open.#116 In adamtool/webinterface;Sort the examples by folders first
enhancementNew feature or requestNew feature or requestStatus: Open.#115 In adamtool/webinterface;Show the grid
enhancementNew feature or requestNew feature or requestStatus: Open.#114 In 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.#113 In adamtool/webinterface;APT and reachability/coverability graphs
enhancementNew feature or requestNew feature or requestStatus: Open.#112 In adamtool/webinterface;Load Game From Editor has a little flicker with text in between
enhancementNew feature or requestNew feature or requestStatus: Open.#111 In adamtool/webinterface;Add an export option for the input nets (without the additional features)
enhancementNew feature or requestNew feature or requestStatus: Open.#110 In adamtool/webinterface;MC: Re-rendering the input net after closing the right panel
bugSomething isn't workingSomething isn't workingStatus: Open.#105 In adamtool/webinterface;MC: Loading the counter example with loops in the simulator
bugSomething isn't workingSomething isn't workingStatus: Open.#102 In adamtool/webinterface;Implement notifier for changes in the Petri net with transits or the Petri game
enhancementNew feature or requestNew feature or requestStatus: Open.#101 In adamtool/webinterface;