TAPAAL

lp:~tapaal-contributor/tapaal/boundedness-check

Created by Lena Ernstsen on 2021-08-23 and last modified on 2021-08-25

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/boundedness-check

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Merged into lp:tapaal at revision 1140

Jiri Srba: Needs Fixing on 2021-09-11

Related bugs

Bug #1939878: boundedness check is broken

Undecided

Fix Committed

Remove

Link a bug report

Related blueprints

Branch information

Owner:: TAPAAL Contributors

Project:: TAPAAL

Status:: Merged

Recent revisions

1146. By Lena Ernstsen on 2021-08-25: Updated only text for verifypn
1145. By Lena Ernstsen on 2021-08-25: updated bounded analysis check
1144. By Lena Ernstsen on 2021-08-25: Clean up
1143. By Lena Ernstsen on 2021-08-25: Made minimizing extra tokens optional
1142. By Lena Ernstsen on 2021-08-24: Max tokens are outputted by the engine
1141. By Lena Ernstsen on 2021-08-24: refactored
1140. By Lena Ernstsen on 2021-08-24: refactored
1139. By Lena Ernstsen on 2021-08-24: Boundedness check uses total number of tokens
1138. By Lena Ernstsen on 2021-08-23: Changed the boundedness check for untimed nets
1137. By <email address hidden> on 2021-08-18: merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place

»

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.

Subscribers

TAPAAL Contributors