lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL
- Get this branch:
- bzr branch lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL
Branch merges
- Jiri Srba: Approve
-
Diff: 52 lines (+16/-7)2 files modifiedsrc/dk/aau/cs/verification/UPPAAL/Verifyta.java (+15/-6)
src/pipe/gui/Pipe.java (+1/-1)
Related bugs
Bug #1855675: TAPAAL is not working with latest version of UPPAAL | High | Fix Released |
Related blueprints
Branch information
Recent revisions
- 1033. By Kenneth Yrke Jørgensen
-
Fixes bug #1855675 TAPAAL is not working with latest version of UPPAAL
Changed version check from using rev. to version number.
- 1032. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing saving/loading of PNML files
- 1031. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 fixing focus in the automatic layout dialog
- 1030. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 fixing loading of large nets speed
- 1029. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x
- 1028. By Jiri Srba
-
merged in lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions fixing arcs jumping when transitions are too close to each other
- 1027. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format
- 1026. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/undo-redo-not-available-when-drawing-arc-1848949 fixing undo when drawing an arc
- 1025. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 so that annotations do not hide any labels
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal