lp:~tapaal-contributor/tapaal/add-tar-option

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

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

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:
lp:tapaal
This branch contains Public information 
Everyone can see this information.