lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
Created by
Peter Haahr Taankvist
on
2020-09-22
and last modified on
2020-10-31
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
- Jiri Srba: Approve on 2020-10-30
- Peter Haahr Taankvist (community): Needs Resubmitting on 2020-10-30
- Kenneth Yrke Jørgensen: Needs Fixing on 2020-10-30
-
Diff: 218 lines (+53/-18)6 files modifiedsrc/dk/aau/cs/io/LoadedQueries.java (+18/-0)
src/dk/aau/cs/io/TapnXmlLoader.java (+6/-3)
src/dk/aau/cs/io/queries/QueryLoader.java (+7/-5)
src/dk/aau/cs/io/queries/SUMOQueryLoader.java (+14/-3)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+5/-5)
src/dk/aau/cs/io/queries/XMLQueryLoader.java (+3/-2)
Related bugs
Bug #1896457: GUI freezes when parsing a file | Undecided | Fix Released |
|
Related blueprints
Branch information
Recent revisions
- 1104. By Peter Taankvist <email address hidden> on 2020-10-09
-
Queryloader returns messages like TapnLoader does
- 1102. By Jiri Srba on 2020-09-16
-
merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected
- 1101. By Jiri Srba on 2020-09-16
-
merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected
- 1100. By Jiri Srba on 2020-09-16
-
merged in lp:~yrke/tapaal/fix1879032-workflowanalysis fixing problem with showing workflow traces
- 1097. By Jiri Srba <email address hidden> on 2020-09-10
-
increased the minimum version of verifydtapn to 3.4.0
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal