lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling
Created by
Kenneth Yrke Jørgensen
and last modified
- Get this branch:
- bzr branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling
Only
Kenneth Yrke Jørgensen
can upload to this branch. If you are
Kenneth Yrke Jørgensen
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 134 lines (+46/-32)2 files modifiedsrc/pipe/gui/GuiFrame.java (+46/-12)
src/pipe/gui/handler/SpecialMacHandler.java (+0/-20)
Related bugs
Bug #1764383: Improve TAPAAL integration on Mac with Java 9 | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 953. By Kenneth Yrke Jørgensen
-
Moved som mac handling from SpecialMacHandler to GUIFrame, to test mac integration on Java9
- 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal