lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 957

Jiri Srba: Approve on 2018-05-02

Diff: 134 lines (+46/-32)

2 files modified

src/pipe/gui/GuiFrame.java (+46/-12)
src/pipe/gui/handler/SpecialMacHandler.java (+0/-20)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1764383: Improve TAPAAL integration on Mac with Java 9

Critical

Fix Released

Link a bug report

Related blueprints

955. By Kenneth Yrke Jørgensen on 2018-05-01

Fixed getJRE version for java 9+

954. By Kenneth Yrke Jørgensen on 2018-04-22

Merged with trunk, resolved conflict

953. By Kenneth Yrke Jørgensen on 2018-04-22

Moved som mac handling from SpecialMacHandler to GUIFrame, to test mac integration on Java9

952. By Jiri Srba on 2018-04-05

merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844 fixing a problem with conversion of Reachability to CTL queries

951. By Jiri Srba <email address hidden> on 2018-02-15

updated list of contributors to TAPAAL GUI

950. By Jiri Srba <email address hidden> on 2018-02-15

merged in branch lp:~tapaal-contributor/tapaal/partial-order that
adds stubborn set option to batch processing

949. By Jiri Srba <email address hidden> on 2018-01-18

updated icon to 3.4

948. By Jiri Srba on 2018-01-13

increased minimum version numbers for verifydtapn and verifypn and changed copyright upto 2018

947. By Jiri Srba on 2018-01-13

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> on 2017-10-04

merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892 fixing
escaping from drawing an arc with multiple anchor points