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
Propose for merging
- Jiri Srba: Approve on 2020-12-16
- Lena Said (community): Needs Resubmitting on 2020-12-14
- Kenneth Yrke Jørgensen: Approve (code) on 2020-12-11
-
Diff: 497 lines (+176/-125)6 files modifiedsrc/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)
Branch information
Recent revisions
- 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