Skip to content

Issues: adamtool/webinterface

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

31 Open 88 Closed
31 Open 88 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

SYNT: Clicking 2-player game (incremental) opens each time a new tab enhancement New feature or request
#119 opened Mar 27, 2021 by mgieseking
SYNT: Disable the explicit feature for the incremental graph builder for the distributed environment case bug Something isn't working
#118 opened Mar 27, 2021 by mgieseking
MC: Add the possibility to select standard formulas for SDNs enhancement New feature or request
#116 opened Mar 15, 2021 by mgieseking
@annyanich
Sort the examples by folders first enhancement New feature or request low-priority
#115 opened Mar 15, 2021 by mgieseking
@annyanich
Show the grid enhancement New feature or request
#114 opened Jan 4, 2021 by mgieseking
@annyanich
SYNT: Mark the initial state for the strategy and the game with an ingoing arc enhancement New feature or request
#113 opened Jan 4, 2021 by mgieseking
@annyanich
APT and reachability/coverability graphs enhancement New feature or request
#112 opened Jan 4, 2021 by mgieseking
@mgieseking
Load Game From Editor has a little flicker with text in between enhancement New feature or request
#111 opened Jan 4, 2021 by mgieseking
@annyanich
Add an export option for the input nets (without the additional features) enhancement New feature or request
#110 opened Jan 4, 2021 by mgieseking
@annyanich
MC: Re-rendering the input net after closing the right panel bug Something isn't working review-3
#105 opened Jan 4, 2021 by mgieseking
@annyanich
1
MC: Loading the counter example with loops in the simulator bug Something isn't working
#102 opened Oct 24, 2020 by mgieseking
@annyanich
Implement notifier for changes in the Petri net with transits or the Petri game enhancement New feature or request
#101 opened Oct 24, 2020 by mgieseking
@mgieseking
APT files without coordinates cause visualization problems bug Something isn't working low-priority
#98 opened Oct 23, 2020 by mgieseking
@annyanich
4
Refactor handling of 'general approach ' / 'restricted approach' for graph game BDD low-priority
#97 opened Oct 23, 2020 by annyanich
@annyanich
1
Differences between the allowed node names of the web interface and the APT parser bug Something isn't working
#96 opened Oct 23, 2020 by mgieseking
@mgieseking
SYNT: Hide exception when clicking solve and there is no strategy bug Something isn't working
#94 opened Oct 22, 2020 by mgieseking
@annyanich
2
MC: dots add the end of the counter example are missing for infinite cexs bug Something isn't working
#93 opened Oct 22, 2020 by mgieseking
@mgieseking
SYNT: collapse all but the selected successors in the two-player game graph enhancement New feature or request
#90 opened Oct 21, 2020 by mgieseking
@annyanich
Try highlighting flows connected to Transitions/Places when mousing over or drag+drop enhancement New feature or request low-priority
#69 opened Oct 13, 2020 by annyanich
@annyanich
Allow saving model checking net / petri game strategy layouted by graphviz as PDF low-priority
#64 opened Oct 12, 2020 by annyanich
@annyanich
1
SYNT - Display the partitions which are automatically assigned to an editor net during solving? 3-priority quick
#62 opened Oct 12, 2020 by annyanich
@annyanich
1
Improve the drawing icons 3-priority enhancement New feature or request quick
#55 opened Oct 9, 2020 by mgieseking
@annyanich
1
Replace the asterist with the thunderbolt symbol enhancement New feature or request low-priority quick
#54 opened Oct 9, 2020 by mgieseking
@annyanich
MC: physics control overlays the reset button of the simulation bug Something isn't working low-priority quick
#53 opened Oct 9, 2020 by mgieseking
@annyanich
Coordinates of old examples stay the same when loading new examples by the APT editor 3-priority bug Something isn't working
#43 opened Sep 22, 2020 by mgieseking
@annyanich
3
ProTip! Adding no:label will show everything without a label.