lp:~tapaal-contributor/tapaal/autodetect-lens-check2
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/autodetect-lens-check2
Branch merges
- Jiri Srba: Approve
-
Diff: 292 lines (+37/-93)6 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+7/-59)
src/dk/aau/cs/io/LoadedModel.java (+7/-14)
src/dk/aau/cs/io/ModelLoader.java (+9/-10)
src/dk/aau/cs/io/PNMLoader.java (+2/-2)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+3/-3)
src/dk/aau/cs/io/TapnXmlLoader.java (+9/-5)
Branch information
Recent revisions
- 1093. By Kenneth Yrke Jørgensen
-
Fixed an issue where lens was set to null in PNO
Now is alwas DEFAULT if not feature tag in net. LoadedModel will need null passed
and autodetect. - 1092. By Kenneth Yrke Jørgensen
-
Removed unused function and moved checking of lens to LoadedModel insted of modelLoader
- 1091. By Kenneth Yrke Jørgensen
-
Implemented lense check for model that does not contain lense information.
- 1090. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/merge-query-dialogs that makes a joint reachability and CTL dialog and uses the lens to offer the correct engines
- 1089. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/memoryMonitor-nullpointer fixing NPE for memory monitor
- 1088. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory fixing problem with clickin on history
- 1087. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/fix1891456-clickingTransportArcs fixing double click on transport arc that didn't open any dialog
- 1086. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/game-shortcuts adding shortcuts U/E/L for drawing uncontrolalble and urgent transitions
- 1085. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/remove-nongame-queries removing nonvalid queries for the game feature
- 1084. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal