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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1114

Jiri Srba: Approve on 2020-12-16

Lena Ernstsen (community): Needs Resubmitting on 2020-12-14

Kenneth Yrke Jørgensen: Approve (code) on 2020-12-11

Diff: 497 lines (+176/-125)

6 files modified

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java (+9/-9)
src/pipe/gui/Export.java (+114/-83)
src/pipe/gui/ExportBatchDialog.java (+46/-26)
src/pipe/gui/GuiFrame.java (+4/-4)
src/pipe/gui/widgets/QueryDialog.java (+2/-2)
src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1120. By Lena Ernstsen on 2020-12-14

Fixed names and query files + cleaned up

1119. By Lena Ernstsen on 2020-11-29

Clean up

1118. By Lena Ernstsen on 2020-11-29

The exports are each saved in their own folder

1117. By Lena Ernstsen on 2020-11-29

Added the exports to the batch dialog

1116. By Lena Ernstsen on 2020-11-29

Added checks

1115. By Lena Ernstsen on 2020-11-29

Fixed query exported

1114. By Lena Ernstsen 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