lp:~tapaal-contributor/tapaal/add-discrete-to-untimed

Created by Lena Said on 2020-09-13 and last modified on 2020-09-27
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/add-discrete-to-untimed
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

1107. By lsaid <email address hidden> on 2020-09-27

Added token to the ghost place

1106. By lsaid <email address hidden> on 2020-09-26

Added comment

1105. By lsaid <email address hidden> on 2020-09-26

Adds an extra place when verifying game/untimed net

1104. By lsaid <email address hidden> on 2020-09-18

clean up

1103. By lsaid <email address hidden> on 2020-09-18

Fixed query issue

1102. By lsaid <email address hidden> on 2020-09-17

Fixed logic

1101. By Lena Said on 2020-09-14

discrete engine works only on untimed nets that are game

1100. By Lena Said on 2020-09-13

Added the discrete engine to untimed nets

1099. By Jiri Srba on 2020-09-12

upgraded icon to 3.7

1098. By <email address hidden> on 2020-09-11

updated minimum version of verifypn to 3.1.0

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.