lp:~tapaal-contributor/tapaal/colorTraceFix

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~tapaal-contributor/tapaal/cpn-gui-dev at revision 1570

Jiri Srba: Approve on 2022-02-07

Diff: 271 lines (+97/-77)

3 files modified

src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPN.java (+30/-24)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+45/-49)
src/net/tapaal/gui/petrinet/verification/RunVerification.java (+22/-4)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1568. By Kenneth Yrke Jørgensen on 2022-02-01

Fixes an issue where message about no trace is show before the verification answer is shown.

Also fixes some other corner cases where traces was not handled correctly for cpn.

1567. By Kenneth Yrke Jørgensen on 2022-01-31

Fixed an issue where old name of verifydtapn engine was not recognised

Now fails with error is enegine/reduction name is not know.
Fixed propergation of exceptions so that the error can be traced

1566. By Jiri Srba on 2022-01-31

merged in lp:~tapaal-contributor/tapaal/cpn-trace fixing problem with CPN traces

1565. By Kenneth Yrke Jørgensen on 2022-01-24

Fixes #1958842 - workarround for the popup, games required to be using verifydtapn

1564. By Kenneth Yrke Jørgensen on 2022-01-24

Renamed verifydtapn engine option

1563. By Kenneth Yrke Jørgensen on 2022-01-24

Don't allow ltl for games query

1562. By Kenneth Yrke Jørgensen on 2022-01-24

Added comment

1561. By Kenneth Yrke Jørgensen on 2022-01-24

Code cleanup

1560. By Kenneth Yrke Jørgensen on 2022-01-23

Fixed an issue where k-bound was calculated wrong for dtapn

1559. By Kenneth Yrke Jørgensen on 2022-01-23

Fixed error when toggeling animation with color net