lp:tapaal

Created by Kenneth Yrke Jørgensen on 2011-01-18 and last modified on 2021-02-28
Get this branch:
bzr branch lp:tapaal
Members of TAPAAL Developers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Developers
Project:
TAPAAL
Review team:
TAPAAL Reviewers
Status:
Development

Recent revisions

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

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

1111. By Jiri Srba on 2020-10-31

merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines

1110. By Jiri Srba on 2020-10-30

merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode

Branch metadata

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