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

Created by Peter Haahr Taankvist on 2020-08-04 and last modified on 2020-08-19
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> on 2020-08-19

Only show interval if net is timed

1104. By Peter Taankvist <email address hidden> on 2020-08-19

only show age of tokens if timed

1103. By Peter Haahr Taankvist on 2020-08-17

Show CTL dialog if untimed, else show Reachability

1102. By Peter Haahr Taankvist on 2020-08-17

Only show dialog if any queries have been removed

1101. By Peter Haahr Taankvist on 2020-08-17

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

1100. By Peter Haahr Taankvist on 2020-08-17

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

1099. By Kenneth Yrke Jørgensen on 2020-08-14

Merged trunk

1098. By Kenneth Yrke Jørgensen on 2020-08-13

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

1097. By Kenneth Yrke Jørgensen on 2020-08-11

Fixed changing lense when creating new net types

1096. By Peter Taankvist <email address hidden> on 2020-08-11

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.