lp:~yrke/tapaal/tapaal-fix-1756865

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal/3.4

Jiri Srba: Approve on 2018-04-16

Diff: 300 lines (+83/-13)

6 files modified

src/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)

api

Merged into lp:tapaal at revision 953

Jiri Srba: Approve on 2018-04-16

Diff: 33 lines (+10/-2)

2 files modified

src/pipe/gui/CreateGui.java (+5/-1)
src/pipe/gui/GuiFrame.java (+5/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1756865: TAPAAL on Mac with Java 8 does not work

Critical

Fix Released

Link a bug report

Related blueprints

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

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 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

945. By Jiri Srba on 2017-09-26

merged a bug fix for bug-1718610-wrong-letter-batch fixing wrong letter in batch processing for verifypn engine

944. By Jiri Srba <email address hidden> on 2017-09-19

updated icon to 3.3 version