lp:~tapaal-contributor/tapaal/cpn-trace
Created by
Kenneth Yrke Jørgensen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/cpn-trace
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: 601 lines (+74/-108)14 files modifiedsrc/dk/aau/cs/approximation/ApproximationWorker.java (+13/-9)
src/dk/aau/cs/verification/ModelChecker.java (+2/-1)
src/dk/aau/cs/verification/UPPAAL/Verifyta.java (+2/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTACPN.java (+0/-45)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPN.java (+14/-9)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+6/-6)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+2/-1)
src/net/tapaal/TAPAAL.java (+1/-1)
src/net/tapaal/gui/petrinet/TabTransformer.java (+2/-2)
src/net/tapaal/gui/petrinet/dialog/QueryDialog.java (+3/-4)
src/net/tapaal/gui/petrinet/verification/RunVerificationBase.java (+13/-8)
src/net/tapaal/gui/petrinet/verification/Verifier.java (+14/-19)
src/net/tapaal/gui/petrinet/widgets/QueryPane.java (+1/-1)
src/resources/Example nets/intro-example.tapn (+1/-1)
Related bugs
Bug #1958521: Intro-example CPN unfodling issue | Critical | Fix Committed | |
Bug #1958874: Error when running query from query list | Critical | Fix Committed |
Related blueprints
Branch information
Recent revisions
- 1570. By Kenneth Yrke Jørgensen
-
Fixed issue when running query from QueryList insted of dialog
When running intro example, or intro example converted to colored, we got an error when using the QueryPane.
Running from the query dialog worked - 1566. By Kenneth Yrke Jørgensen
-
Removed DTACPN special class and merged it with dtapn
Logic now mimics verifypn
- 1565. By Kenneth Yrke Jørgensen
-
Fixes #1958842 - workarround for the popup, games required to be using verifydtapn
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal