TAPAAL

lp:tapaal/3.9

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:tapaal/3.9
Members of TAPAAL Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Maintainers
Project:
TAPAAL
Status:
Development

Recent revisions

1184. By <email address hidden>

increased version number to 3.9.5

1183. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/broken-boundedness-check-1987383 fixing the reintroduced boundencess check bugs

1182. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fix_trace_verifytapn fixing problems with verification of example nets

1180. By <email address hidden>

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>

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

1178. By <email address hidden>

updated copyright year to 2023

1177. By <email address hidden>

updated version nr to 3.9.4 and verifypn min to 4.2.3

1176. By <email address hidden>

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

1175. By <email address hidden>

increased version to 3.9.3 and min version of verifypn to 4.2.2

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.