lp:~tapaal-contributor/tapaal/broken-boundedness-check-games-2006111

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal/3.9 at revision 1180

Jiri Srba: Approve on 2023-02-06

Diff: 59 lines (+12/-8)

3 files modified

src/dk/aau/cs/verification/VerificationResult.java (+8/-6)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOptions.java (+2/-1)
src/pipe/gui/KBoundAnalyzer.java (+2/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #2006111: game-harddisk boundedness check

Undecided

Fix Committed

Link a bug report

Related blueprints

1181. By Lena Ernstsen on 2023-02-06

Disabled GCD when checking boundedness for gamed nets

1180. By Lena Ernstsen on 2023-02-06

Fix NPE when verifying a batch of queries

1179. By <email address hidden> on 2023-02-06

merged in lp:~tapaal-contributor/tapaal/update-zoom-2004559 fixing a problem with Zoom when switching tabs

1178. By <email address hidden> on 2023-01-24

updated copyright year to 2023

1177. By <email address hidden> on 2023-01-23

updated version nr to 3.9.4 and verifypn min to 4.2.3

1176. By <email address hidden> on 2023-01-23

merged in lp:~tapaal-contributor/tapaal/ltl-icon-selection-1997234 fixing problem with yellow icon for LTL/CTL queries

1175. By <email address hidden> on 2022-09-16

increased version to 3.9.3 and min version of verifypn to 4.2.2

1174. By <email address hidden> on 2022-08-03

merged in lp:~tapaal-contributor/tapaal/update-ltl-support-3.9 fixing bug #1983371

1173. By <email address hidden> on 2022-08-02

merged in lp:~tapaal-contributor/tapaal/save-file-browser-location-3.9 fixing the remembering of a location when opening a file

1172. By Jiri Srba on 2022-06-03

merged in a fix for resting LTL queries