lp:~tapaal-contributor/tapaal/save-tar-option
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/save-tar-option
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 150 lines (+35/-3)7 files modifiedsrc/dk/aau/cs/gui/BatchProcessingDialog.java (+4/-0)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+3/-1)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+15/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java (+7/-0)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+4/-2)
src/pipe/dataLayer/TAPNQuery.java (+1/-0)
src/pipe/gui/widgets/QueryDialog.java (+1/-0)
Branch information
Recent revisions
- 1119. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine
- 1118. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result
- 1117. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn
- 1116. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines
- 1114. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines
- 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal