lp:tapaal/3.3

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

948. By Jiri Srba on 2017-10-05

Release version of 3.3.0

947. By Jiri Srba <email address hidden> on 2017-10-04

merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892 fixing
escape from drawing arc with multiple anchor points

946. By Jiri Srba on 2017-09-26

merged bug fix bug-1718610 for wrong letter in batch processing

945. By Jiri Srba <email address hidden> on 2017-09-19

changed tapaal version number to 3.3.0

944. By Jiri Srba <email address hidden> on 2017-09-19

updated icon to 3.3 version

943. By Jiri Srba <email address hidden> on 2017-09-18

changed minimum required version of verifydtapn to 3.2.1

942. By Jiri Srba <email address hidden> on 2017-09-06

merged in branch lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815
allowing for negative constants in query expressions

941. By Jiri Srba <email address hidden> on 2017-08-22

merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

940. By Jiri Srba <email address hidden> on 2017-05-23

merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing-fix-810906
for fast drawing of place and transitions when ctl key is hold pressed

939. By Jiri Srba on 2016-12-11

merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)