TAPAAL

lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

Created by Mads Johannsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367
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

1058. By Mads Johannsen

Remember splitpane width when switching mode

1057. By Mads Johannsen

Hide mouse hover window in animation mode for places and transitions

1056. By Mads Johannsen

Set default verification values when using the UPPAAL engine

1055. By Jiri Srba <email address hidden>

updated About menu and contributors of verifypn

1054. By Jiri Srba <email address hidden>

setup minimum version number for verifypn to 2.1.0

1053. By Mads Johannsen

Skip the first converter nodes in reachability check

1052. By Jiri Srba <email address hidden>

fixing boundedness check by disabeling query reduction and partial order reduction;
default heuristic strategy for CTL is DFS

1051. By Mads Johannsen

Consider the zoom level when setting the real coordinate

1050. By Jiri Srba <email address hidden>

fixed punctuation in tool tip

1049. By Jakob Dyhr

Change SomeTrace option tool tip

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.