lp:~tapaal-contributor/tapaal/autodetect-lens-check2

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/autodetect-lens-check2
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

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
This branch contains Public information 
Everyone can see this information.