Created by Lena Said on 2020-08-10 and last modified on 2020-08-12
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/game-example-net
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

1082. By Lena Said on 2020-08-12

Added annotation and changed the constant value of an example net

1081. By Lena Said on 2020-08-11

added the net

1080. By Lena Said on 2020-08-11

Renamed the file and query names. Moved the game example as the last on the list.

1079. By Lena Said on 2020-08-10

Added a query to the example net

1078. By Lena Said on 2020-08-10

Added an example net with the game feature.

1077. By Jiri Srba on 2020-08-09

merged in lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 adding implementation of game UI

1076. By Jiri Srba on 2020-08-06

merged in lp:~yrke/tapaal/fix-1890292-undoArcNeedTwoActions fixing undo for arcs drawing

1075. By Jiri Srba <email address hidden> on 2020-08-06

merged in lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets not transport arcs also imply that a net is timed

1074. By <email address hidden> on 2020-08-04

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

1073. By <email address hidden> on 2020-08-04

merged in lp:~yrke/tapaal/fix-1887770-and-1887771-ContextMenuForArcs fixing context menu on output arcs and double clicking on arcs

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.