TAPAAL

lp:~tapaal-contributor/tapaal/add-export-options

Created by Lena Said on 2020-11-27 and last modified on 2020-12-14
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

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

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