Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~yrke/tapaal/github-actions
Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Kenneth Yrke Jørgensen

Recent revisions

1121. By Kenneth Yrke Jørgensen on 2021-03-24

Added github action build automation script

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

1114. By Jiri Srba on 2020-12-16

merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines

1113. By Jiri Srba <email address hidden> on 2020-11-06

merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog

1112. By Jiri Srba on 2020-10-31

updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1

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.