TAPAAL

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

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

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1120. By Lena Said

Fixed names and query files + cleaned up

1119. By Lena Said

Clean up

1118. By Lena Said

The exports are each saved in their own folder

1117. By Lena Said

Added the exports to the batch dialog

1116. By Lena Said

Added checks

1115. By Lena Said

Fixed query exported

1114. By Lena Said

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

1113. By Jiri Srba <email address hidden>

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

updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1

1111. By Jiri Srba

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.