lp:~tapaal-contributor/tapaal/enable-AF-game

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1093

Jiri Srba: Approve on 2020-09-01

Diff: 62 lines (+11/-6)

2 files modified

src/dk/aau/cs/gui/TabContent.java (+1/-1)
src/pipe/gui/widgets/QueryDialog.java (+10/-5)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1094. By Lena Ernstsen on 2020-09-01

Merged with trunk

1093. By Lena Ernstsen on 2020-09-01

Merged with trunk

1092. By Lena Ernstsen on 2020-08-25

clean up

1091. By Lena Ernstsen on 2020-08-25

Enabled 'AF' quantification in queryDialog for games

1090. By Jiri Srba <email address hidden> on 2020-08-25

merged in lp:~tapaal-contributor/tapaal/merge-query-dialogs that makes a joint reachability and CTL dialog and uses the lens to offer the correct engines

1089. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/memoryMonitor-nullpointer fixing NPE for memory monitor

1088. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory fixing problem with clickin on history

1087. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/fix1891456-clickingTransportArcs fixing double click on transport arc that didn't open any dialog

1086. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~tapaal-contributor/tapaal/game-shortcuts adding shortcuts U/E/L for drawing uncontrolalble and urgent transitions

1085. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~tapaal-contributor/tapaal/remove-nongame-queries removing nonvalid queries for the game feature