TAPAAL

lp:~tapaal-contributor/tapaal/raw-query-output

Created by Lena Said on 2020-12-16 and last modified on 2020-12-16

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/raw-query-output

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

Merged into lp:tapaal at revision 1116

Jiri Srba: Approve on 2020-12-17

1115. By Lena Said on 2020-12-16: Merged with trunk
1114. By Lena Said on 2020-12-16: Added a raw query output option to verification dialog
1113. By Jiri Srba <email address hidden> on 2020-11-06: merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog
1112. By Jiri Srba on 2020-10-31: updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1
1111. By Jiri Srba on 2020-10-31: merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines
1110. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode
1109. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing a problem with stuck GUI when opening a net with wrong queries
1108. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 fixing some issues for dark mode on ubuntu
1107. By Jiri Srba on 2020-10-09: merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging and selecting anchor points on arcs
1106. By Jiri Srba on 2020-09-24: merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with time intervals being shown when editing output arcs

This branch contains Public information

Everyone can see this information.