lp:~tapaal-contributor/tapaal/boundedness-check-1944588

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1145

Jiri Srba: Approve on 2021-09-23

Diff: 77 lines (+14/-7)

3 files modified

src/pipe/gui/KBoundAnalyzer.java (+3/-3)
src/pipe/gui/RunKBoundAnalysis.java (+10/-3)
src/pipe/gui/RunVerificationBase.java (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1944588: boundedness check

Undecided

Fix Released

Link a bug report

Related blueprints

1145. By Lena Ernstsen on 2021-09-23

Dialog for boundedness is shown at least once when running the check

1144. By Jiri Srba on 2021-09-22

merged in lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422 fixing problem with ghost places in untimed games queries

1143. By <email address hidden> on 2021-09-11

merged in lp:~tapaal-contributor/tapaal/manual-edit-error-messages where manual query edit now shows error messages

1142. By <email address hidden> on 2021-09-11

merged in lp:~tapaal-contributor/tapaal/incorrectly-shared-components-1940403 fixing "cancel" when making a place shared

1141. By <email address hidden> on 2021-09-11

merged in lp:~tapaal-contributor/tapaal/edit-interval-1940402 fixing editing of intervals with constants

1140. By <email address hidden> on 2021-09-11

merged in lp:~tapaal-contributor/tapaal/boundedness-check fixing boundedness check for verifypn

1139. By <email address hidden> on 2021-09-11

merged in lp:~tapaal-contributor/tapaal/remove-entire-selection-1940416 allowd multiple constant removal

1138. By <email address hidden> on 2021-09-11

merged in lp:~tapaal-contributor/tapaal/copy-from-messages allowing to copy/paste from error messages

1137. By <email address hidden> on 2021-08-18

merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place

1136. By <email address hidden> on 2021-08-18

merged in lp:~tapaal-contributor/tapaal/shared-component-buttons-1940075 fixing problem with availability for remove/rename buttons for shared places