Created by Lena Said and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/add-export-options
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

1120. By Lena Said on 2020-12-14

Fixed names and query files + cleaned up

1119. By Lena Said on 2020-11-29

Clean up

1118. By Lena Said on 2020-11-29

The exports are each saved in their own folder

1117. By Lena Said on 2020-11-29

Added the exports to the batch dialog

1116. By Lena Said on 2020-11-29

Added checks

1115. By Lena Said on 2020-11-29

Fixed query exported

1114. By Lena Said on 2020-11-27

Added additional export options to drop down menu. Started to implement their functionality.

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

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.