lp:~tapaal-contributor/tapaal/remove-nongame-queries

Created by Lena Said on 2020-08-18 and last modified on 2020-08-20
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/remove-nongame-queries
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

1106. By Lena Said on 2020-08-20

Made the checks less restrictive

1105. By Lena Said on 2020-08-19

Merge with trunk

1104. By Lena Said on 2020-08-18

Remove affected queries when changing to game nets.

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

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.