lp:tapaal

Created by Kenneth Yrke Jørgensen on 2011-01-18 and last modified on 2021-04-09
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

1127. By Jiri Srba on 2021-04-05

updated copyright and new contributors

1125. By Jiri Srba on 2021-04-04

increased min version number for verifypn to 4.0.0

1124. By Jiri Srba on 2021-04-04

updated icon to 3.8

1122. By Jiri Srba on 2021-04-03

merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 fixing a problem with using wrong parser when manually parsing CTL queries

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

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.