TAPAAL

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

Created by Lena Ernstsen and last modified
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 Ernstsen

Made the checks less restrictive

1105. By Lena Ernstsen

Merge with trunk

1104. By Lena Ernstsen

Remove affected queries when changing to game nets.

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

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.