lp:~tapaal-contributor/tapaal/implement-game-ui-1884499

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1077

Jiri Srba: Approve on 2020-08-09

Kenneth Yrke Jørgensen: Approve on 2020-08-06

Diff: 1339 lines (+341/-160)

27 files modified

src/dk/aau/cs/gui/TabContent.java (+1/-10)
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java (+0/-1)
src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java (+4/-4)
src/dk/aau/cs/gui/undo/ToggleTransitionUncontrollable.java (+28/-0)
src/dk/aau/cs/gui/undo/ToggleTransitionUrgent.java (+6/-1)
src/dk/aau/cs/io/TapnXmlLoader.java (+8/-5)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+2/-0)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+1/-1)
src/dk/aau/cs/model/tapn/SharedTransition.java (+13/-1)
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+10/-0)
src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java (+9/-0)
src/dk/aau/cs/model/tapn/TimedTransition.java (+16/-0)
src/dk/aau/cs/verification/TAPNComposer.java (+3/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+3/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+1/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+2/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java (+16/-11)
src/pipe/gui/RunVerificationBase.java (+4/-3)
src/pipe/gui/TikZExporter.java (+9/-1)
src/pipe/gui/Verifier.java (+1/-1)
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+1/-4)
src/pipe/gui/graphicElements/Transition.java (+6/-2)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+14/-3)
src/pipe/gui/widgets/CTLQueryDialog.java (+57/-12)
src/pipe/gui/widgets/QueryDialog.java (+73/-56)
src/pipe/gui/widgets/QueryPane.java (+11/-19)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+42/-22)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1884499: Implement Game UI

Undecided

Fix Released

Link a bug report

Related blueprints

1102. By Lena Ernstsen on 2020-08-07

enabled bfs

1101. By Lena Ernstsen on 2020-08-07

Minor fix

1100. By Lena Ernstsen on 2020-08-07

Fixed delay on undo for urgent and uncontrollable transitions

1099. By Lena Ernstsen on 2020-08-07

Merged with trunk

1098. By Lena Ernstsen on 2020-08-07

Fixed state-equation

1097. By Lena Ernstsen on 2020-08-07

added undo for uncontrollable transitions

1096. By Lena Ernstsen on 2020-08-07

added undo for uncontrollable transitions

1095. By Lena Ernstsen on 2020-08-07

Centered 'control:'

1094. By Lena Ernstsen on 2020-08-07

Enabled bfs again for game nets

1093. By Lena Ernstsen on 2020-08-07

Added the control keyword as a header when a net is game