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.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

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

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.