lp:~tapaal-contributor/tapaal/add-tar-option

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1119

Jiri Srba: Approve on 2021-02-28

Kenneth Yrke Jørgensen: Approve (code) on 2021-02-11

Diff: 312 lines (+66/-15)

8 files modified

src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java (+9/-4)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java (+7/-1)
src/pipe/dataLayer/TAPNQuery.java (+10/-0)
src/pipe/gui/KBoundAnalyzer.java (+1/-1)
src/pipe/gui/RunVerificationBase.java (+4/-2)
src/pipe/gui/Verifier.java (+4/-4)
src/pipe/gui/widgets/QueryDialog.java (+30/-2)
src/resources/Example nets/train-level-crossing.tapn (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1118. By Lena Ernstsen on 2021-02-22

Fixed tar only possible with AG and EF

1117. By Lena Ernstsen on 2021-02-19

Only possible to use tar when either 'AG' or 'EF' is chosen

1116. By Lena Ernstsen on 2021-02-07

Merged lp:tapaal

1115. By Lena Ernstsen on 2021-02-06

Added -tar to query when it is marked in dialog

1114. By Lena Ernstsen on 2020-11-03

Corrected spelling in the query of the cross training example

1113. By Lena Ernstsen on 2020-11-02

Added 'trace abstract refinement' to the query dialog

1112. By Jiri Srba on 2020-10-31

updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1

1111. By Jiri Srba on 2020-10-31

merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines

1110. By Jiri Srba on 2020-10-30

merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode

1109. By Jiri Srba on 2020-10-30

merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing a problem with stuck GUI when opening a net with wrong queries