lp:~tapaal-contributor/tapaal/refactor-remove-queries

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1092

TAPAAL Reviewers: Pending requested 2020-09-01

Diff: 632 lines (+287/-178)

12 files modified

src/dk/aau/cs/gui/TabContent.java (+75/-52)
src/pipe/gui/EngineSupportOptions.java (+4/-2)
src/pipe/gui/RunVerificationBase.java (+0/-1)
src/pipe/gui/UPPAAALStandardOptions.java (+24/-0)
src/pipe/gui/UPPAALBroadcastDegree2Options.java (+24/-0)
src/pipe/gui/UPPAALBroadcastOptions.java (+24/-0)
src/pipe/gui/UPPAALCombiOptions.java (+24/-0)
src/pipe/gui/UPPAALOptimizedStandardOptions.java (+24/-0)
src/pipe/gui/VerifyDTAPNEngineOptions.java (+24/-0)
src/pipe/gui/VerifyPNEngineOptions.java (+24/-0)
src/pipe/gui/VerifyTAPNEngineOptions.java (+24/-0)
src/pipe/gui/widgets/QueryDialog.java (+16/-123)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1097. By Lena Ernstsen on 2020-09-01

Merged with trunk

1096. By Lena Ernstsen on 2020-09-01

Added comments to the different engine options

1095. By Lena Ernstsen on 2020-08-27

Checks if the property satisfies games

1094. By Lena Ernstsen on 2020-08-27

Refactored names for the engine options

1093. By Lena Ernstsen on 2020-08-26

Moved the specific engines into their own class.

1092. By Lena Ernstsen on 2020-08-25

Merged with trunk

1091. By Lena Ernstsen on 2020-08-25

Considers 'AU', 'AX', etc when checking queries

1090. By Lena Ernstsen on 2020-08-25

Moved check for affected queries. Changed wrong untimed engine options

1089. By Lena Ernstsen on 2020-08-25

Added untimed engine to the list of engines

1088. By Lena Ernstsen on 2020-08-25

Added check in the engine options for nested quantification and added the untimed engine to the options