TAPAAL

lp:~tapaal-contributor/tapaal/untimed-timed-gui

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/untimed-timed-gui
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

1105. By Peter Taankvist <email address hidden>

Only show interval if net is timed

1104. By Peter Taankvist <email address hidden>

only show age of tokens if timed

1103. By Peter Haahr Taankvist

Show CTL dialog if untimed, else show Reachability

1102. By Peter Haahr Taankvist

Only show dialog if any queries have been removed

1101. By Peter Haahr Taankvist

Remove affected queries when changing to timed. Show info message about queries

1100. By Peter Haahr Taankvist

Show forward backward buttons in simulation mode. Show choose next transition randomly checkbox in simulation control in settings

1099. By Kenneth Yrke Jørgensen

Merged trunk

1098. By Kenneth Yrke Jørgensen

Fixed issue with wrong lense when converting a transport arc to untimed

1097. By Kenneth Yrke Jørgensen

Fixed changing lense when creating new net types

1096. By Peter Taankvist <email address hidden>

Update lens when creating tabcontent

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.