← Back to branch summary

~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844

~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844

Viewing all changes in revision 947.

Committer: Jiri Srba
Date: 2018-01-13 20:52:56 UTC
mfrom: (946.1.5 reachability-query-dialog-stubborn-reduction)
Revision ID: srba@cs.aau.dk-20180113205256-lx2i252xiapu0svr

merged in branch lp:~tapaal-contributor/tapaal/reachability-query-dialog-stubborn-reduction adding partial order reduction for verifydtapn

files modified:
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOptions.java

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/Verifier.java

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/QueryDialog.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOptions.java

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/Verifier.java

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/QueryDialog.java

Older »