lp:~tapaal-contributor/tapaal/wrongVerificationAnswers-bug1031666-for-2.1

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal/2.1 at revision 718

Jiri Srba: Approve on 2012-08-01

Kenneth Yrke Jørgensen: Pending requested 2012-08-01

Diff: 35 lines (+4/-4)

2 files modified

src/dk/aau/cs/verification/QueryResult.java (+2/-2)
src/dk/aau/cs/verification/UPPAAL/UppaalIconSelector.java (+2/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1031666: Wrong verification answer

Critical

Fix Released

Link a bug report

Related blueprints

718. By Jiri Srba on 2012-08-01

Fixes bug #1031666 for 2.1 series

717. By Jiri Srba on 2012-07-19

added two missing icons into images

716. By Jiri Srba on 2012-07-19

renamed images to they they match the names in the menu (and icon is shown)

715. By Jiri Srba on 2012-07-19

update the list of contributers in About menu

714. By Jakob Taankvist on 2012-07-13

You now don't have to choose a specific engine to be able to choose EG and AF queries by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

713. By Mathias Grund Sørensen on 2012-07-13

 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

712. By Mathias Grund Sørensen on 2012-07-12

 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

711. By Mathias Grund Sørensen on 2012-07-12

 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

710. By Mathias Grund Sørensen on 2012-07-06

 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

709. By Mathias Grund Sørensen on 2012-07-06

 by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba