TAPAAL

lp:~tapaal-contributor/tapaal/broken-boundedness-check-1987383

Created by Lena Ernstsen on 2023-02-21 and last modified on 2023-02-21

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/broken-boundedness-check-1987383

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal/3.9 at revision 1183

Jiri Srba: Approve on 2023-02-21

1183. By Lena Ernstsen on 2023-02-21: Fixed filetype in regards to boundedness check
1182. By <email address hidden> on 2023-02-21: merged in lp:~tapaal-contributor/tapaal/fix_trace_verifytapn fixing problems with verification of example nets
1181. By <email address hidden> on 2023-02-10: merged in lp:~tapaal-contributor/tapaal/fix1987383 fixing a problem with boundedness check
1180. By <email address hidden> on 2023-02-06: merged in lp:~tapaal-contributor/tapaal/broken-boundedness-check-games-2006111 fixing problem with boudedness check for timed games (GCD is now disabled)
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

This branch contains Public information

Everyone can see this information.