lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214
Created by
Peter Haahr Taankvist
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214
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
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 603 lines (+279/-75)7 files modifiedsrc/dk/aau/cs/approximation/ApproximationWorker.java (+1/-1)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+27/-10)
src/dk/aau/cs/verification/Stats.java (+7/-1)
src/dk/aau/cs/verification/VerificationResult.java (+4/-0)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java (+1/-1)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+239/-60)
src/pipe/gui/widgets/WorkflowDialog.java (+0/-2)
Branch information
Recent revisions
- 973. By Peter Taankvist <email address hidden>
-
use verifyPN for untimed nets and verifyTAPN for timed nets on deadlock and state space in batch
- 972. By Peter Taankvist <email address hidden>
-
Can run batch processing without queries for options that only needs a net
- 970. By Peter Taankvist <email address hidden>
-
Change cells and only process each file once (Also for search statespace and deadlock).
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal