lp:~tapaal-contributor/tapaal/bug-948502-discrete-incl-wrong-answer

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 683

Kenneth Yrke Jørgensen: Approve (code) on 2012-03-12

Jiri Srba: Approve on 2012-03-11

Diff: 252 lines (+60/-12)

10 files modified

src/dk/aau/cs/io/ResourceManager.java (+5/-0)
src/dk/aau/cs/verification/IconSelector.java (+2/-1)
src/dk/aau/cs/verification/QueryResult.java (+7/-1)
src/dk/aau/cs/verification/UPPAAL/VerifytaOutputParser.java (+5/-2)
src/dk/aau/cs/verification/VerificationResult.java (+9/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+6/-5)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNIconSelector.java (+2/-2)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOutputParser.java (+4/-1)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+8/-0)
src/pipe/dataLayer/TAPNQuery.java (+12/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #948502: Discrete inclusion provides wrong answer

Critical

Fix Released

Link a bug report

Related blueprints

683. By Jiri Srba on 2012-03-11

Now the bug 948502 is fixed also in batch processing

682. By Jiri Srba on 2012-03-11

fixes bug 948502; whenever discrete inclusion does not find a trace and
it is unbounded, we now say that the answer is inconclusive; so far fixed
for the query verification, has to be fixed also in batch processing

681. By Jiri Srba on 2012-03-09

    Fixed a problem when for EG nonsatisfied query there was a warning that
    a trace cannot be generated and similarly for AF satisfied query.
 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

680. By Kenneth Yrke Jørgensen on 2012-03-08

Merged branch to fix bug #915296 by TAPAAL Developers review by Jiri Srba approved by Jiri Srba

679. By Mathias Andersen on 2012-03-08

Selected components, constants, shared items, queries and now remembered when going to simulator and back. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

678. By Jakob Taankvist on 2012-03-08

The panels in the editor view is now resizeable by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

677. By Jakob Taankvist on 2012-03-06

Transitions can now only be turned only when they are selected. It ss now possible to add tokens by scrolling on a selected place. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

676. By Jiri Srba on 2012-03-03

Fixes bug #944740. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

675. By Jiri Srba on 2012-03-02

Made it possible for the user to select the specific verification methods in the batch processing dialog by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

674. By Mathias Andersen on 2012-03-01

Delay in the simulator can now contain only numerical values with precision of 5 decimal places. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen