TAPAAL

lp:tapaal/3.7

Created by Jiri Srba on 2020-09-17 and last modified on 2022-03-23

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

No branches dependent on this one.

1115. By Jiri Srba <email address hidden> on 2020-11-06: merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing problem with transition-enabledness predicate in query dialog
1114. By Jiri Srba on 2020-10-31: changed version number to 3.7.1
1113. By Jiri Srba on 2020-10-31: updated minimum version of verifydtapn to 3.4.1 and verifypn to 3.1.1
1112. By Jiri Srba on 2020-10-31: merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debuggin lines
1111. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed adding the possiblty to call the discrete game engine from untimed lens
1110. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing problem with GUI stuck when loading invalid queries
1109. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 fixing some issues in dark mode on ubuntu
1108. By Jiri Srba on 2020-10-09: merged in bzr merge lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging anchor points on arcs
1107. By Jiri Srba on 2020-09-24: merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with timed intervals being shown on output arcs
1106. By <email address hidden> on 2020-09-23: merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 fixing a missing verifytapn engine in the query dialog

This branch contains Public information

Everyone can see this information.