lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913

Created by Lena Said and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913
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

1124. By Lena Said on 2021-04-04

Merged with trunk

1123. By Lena Said on 2021-04-04

Added extra check for markings with more than 8 digits

1122. By Lena Said on 2021-03-27

Fixed missing digits when number of tokens is greater than 999

1120. By Jiri Srba on 2021-03-04

merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file

1119. By Jiri Srba on 2021-02-28

merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

1118. By Jiri Srba on 2021-02-28

merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result

1117. By Jiri Srba on 2020-12-18

merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn

1116. By Jiri Srba on 2020-12-17

merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines

1115. By Jiri Srba on 2020-12-16

fixed a tooltip for batch export menu item

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.