lp:~tapaal-contributor/tapaal/implement-game-ui-1884499

Created by Lena Said on 2020-06-29 and last modified on 2020-08-07
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/implement-game-ui-1884499
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

1102. By Lena Said on 2020-08-07

enabled bfs

1101. By Lena Said on 2020-08-07

Minor fix

1100. By Lena Said on 2020-08-07

Fixed delay on undo for urgent and uncontrollable transitions

1099. By Lena Said on 2020-08-07

Merged with trunk

1098. By Lena Said on 2020-08-07

Fixed state-equation

1097. By Lena Said on 2020-08-07

added undo for uncontrollable transitions

1096. By Lena Said on 2020-08-07

added undo for uncontrollable transitions

1095. By Lena Said on 2020-08-07

Centered 'control:'

1094. By Lena Said on 2020-08-07

Enabled bfs again for game nets

1093. By Lena Said on 2020-08-07

Added the control keyword as a header when a net is game

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.