Created by Lena Said on 2020-11-02 and last modified on 2021-02-22
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/add-tar-option
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

1118. By Lena Said on 2021-02-22

Fixed tar only possible with AG and EF

1117. By Lena Said on 2021-02-19

Only possible to use tar when either 'AG' or 'EF' is chosen

1116. By Lena Said on 2021-02-07

Merged lp:tapaal

1115. By Lena Said on 2021-02-06

Added -tar to query when it is marked in dialog

1114. By Lena Said on 2020-11-03

Corrected spelling in the query of the cross training example

1113. By Lena Said on 2020-11-02

Added 'trace abstract refinement' to the 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

Branch metadata

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