lp:~yrke/tapaal/tapaal-fix-1756865
- Get this branch:
- bzr branch lp:~yrke/tapaal/tapaal-fix-1756865
Branch merges
- Jiri Srba: Approve
-
Diff: 300 lines (+83/-13)6 files modifiedsrc/dk/aau/cs/gui/BatchProcessingDialog.java (+48/-2)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java (+13/-3)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+8/-2)
src/pipe/dataLayer/TAPNQuery.java (+3/-3)
src/pipe/gui/CreateGui.java (+5/-1)
src/pipe/gui/GuiFrame.java (+6/-2)
- Jiri Srba: Approve
-
Diff: 33 lines (+10/-2)2 files modifiedsrc/pipe/gui/CreateGui.java (+5/-1)
src/pipe/gui/GuiFrame.java (+5/-1)
Related bugs
Bug #1756865: TAPAAL on Mac with Java 8 does not work | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 953. By Kenneth Yrke Jørgensen
-
Fixes bug lp:1756865, catches exception if SpecialMacHandler can't be loaded, and continues running without MacOS integration
The used API for MacOS integration is depricated i Java9, exception handlinge added to adress this, so TAPAAL can still run on Java 9, without the MacOS integartion.
- 952. By Jiri Srba
-
merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844 fixing a problem with conversion of Reachability to CTL queries
- 950. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/partial-order that
adds stubborn set option to batch processing - 948. By Jiri Srba
-
increased minimum version numbers for verifydtapn and verifypn and changed copyright upto 2018
- 947. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/reachability-query-dialog-stubborn-reduction adding partial order reduction for verifydtapn
- 946. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892 fixing
escaping from drawing an arc with multiple anchor points - 945. By Jiri Srba
-
merged a bug fix for bug-1718610-wrong-letter-batch fixing wrong letter in batch processing for verifypn engine
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal