adamtool webinterface issues

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.

http://adam.informatik.uni-oldenburg.de:4567/

GNU General Public License v3.0

5 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

SYNT: Clicking 2-player game (incremental) opens each time a new tab

#119 mgieseking opened 3 years ago
0
SYNT: Disable the explicit feature for the incremental graph builder for the distributed environment case

#118 mgieseking opened 3 years ago
0
Add the possibillity for not plain underlying Petri nets

#117 mgieseking closed 3 years ago
0
MC: Add the possibility to select standard formulas for SDNs

#116 mgieseking opened 3 years ago
0
Sort the examples by folders first

#115 mgieseking opened 3 years ago
0
Show the grid

#114 mgieseking opened 3 years ago
0
SYNT: Mark the initial state for the strategy and the game with an ingoing arc

#113 mgieseking opened 3 years ago
0
APT and reachability/coverability graphs

#112 mgieseking opened 3 years ago
0
Load Game From Editor has a little flicker with text in between

#111 mgieseking opened 3 years ago
0
Add an export option for the input nets (without the additional features)

#110 mgieseking opened 3 years ago
0
Preloaded "hello-world" examples

#109 mgieseking closed 3 years ago
1
SYNT: Add a button the calculate/see the winning strategy in the panel when only the YES answer is given

#108 mgieseking closed 3 years ago
0
SYNT: Increase the default values of the physics control for the 2-player game and strategy

#107 mgieseking closed 3 years ago
1
Make the panel with the simulation history moveable/collapsable

#106 mgieseking closed 3 years ago
1
MC: Re-rendering the input net after closing the right panel

#105 mgieseking opened 3 years ago
1
MC: Add a small text to the PDF when no data flow chain exists

#104 mgieseking closed 3 years ago
1
MC: Add a "play" button right beside the formula field

#103 mgieseking closed 3 years ago
0
MC: Loading the counter example with loops in the simulator

#102 mgieseking opened 4 years ago
0
Implement notifier for changes in the Petri net with transits or the Petri game

#101 mgieseking opened 4 years ago
0
SYNT: machines benchmark does not give the correct result

#100 mgieseking closed 4 years ago
2
The position in the job queue is not printed correctly

#99 mgieseking closed 4 years ago
2
APT files without coordinates cause visualization problems

#98 mgieseking opened 4 years ago
4
Refactor handling of 'general approach ' / 'restricted approach' for graph game BDD

#97 annyanich opened 4 years ago
1
Differences between the allowed node names of the web interface and the APT parser

#96 mgieseking opened 4 years ago
0
SYNT: corner cases

#95 mgieseking closed 4 years ago
4
SYNT: Hide exception when clicking solve and there is no strategy

#94 mgieseking opened 4 years ago
2
MC: dots add the end of the counter example are missing for infinite cexs

#93 mgieseking opened 4 years ago
0
Loading the counter examples in the editor confuses the show data flow button

#92 mgieseking closed 4 years ago
4
MC: PNML export contains not readable letters due to node names

#91 mgieseking closed 4 years ago
1
SYNT: collapse all but the selected successors in the two-player game graph

#90 mgieseking opened 4 years ago
0
After loading an example use the zoom to fit function

#89 mgieseking closed 4 years ago
0
Add button to load a random example when the app is freshly loaded

#88 annyanich closed 3 years ago
0
MC: 'Show Data Flow' for the counter example creates the wrong pdf

#87 mgieseking closed 4 years ago
4
Refine the simulator for use with counter examples

#86 annyanich closed 4 years ago
1
MC: The symbols of the LTL operators cannot be used as input

#85 mgieseking closed 3 years ago
2
Upgrade to new versions of junit and axios

#84 mgieseking closed 4 years ago
4
Allow to interrupt the PreconditionCheckers

#83 mgieseking closed 4 years ago
1
Add buttons for the incremental two-player game creation to choose approaches

#82 mgieseking closed 4 years ago
0
Visualize the data flow of a counterexample

#81 annyanich closed 4 years ago
1
Change TRUE to SATISFIED (and make it blue-green) and FALSE to NOT SATISFIED.

#80 annyanich closed 4 years ago
0
MC: The formula generation of safety, reachability, Büchi, only uses is special

#79 mgieseking closed 4 years ago
1
Add a help dialog

#78 mgieseking closed 4 years ago
7
MC: improve the output of the result and the statistics

#77 mgieseking closed 4 years ago
1
Add more information to the about page

#76 mgieseking closed 4 years ago
2
Improvements of the menu bar

#75 mgieseking closed 4 years ago
8
Delete Introductory Example

#74 mgieseking closed 4 years ago
1
MC: Delete formula when loading a different net

#73 mgieseking closed 4 years ago
1
SYNT: Use the annotated coordinates for the generated strategy

#72 mgieseking closed 4 years ago
1
MC: Improve the generated coordinates for the constructed Petri net

#71 mgieseking closed 4 years ago
1
ReadMe for the web interface

#70 mgieseking closed 3 years ago
1