lp:tapaal

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

1008. By <email address hidden> 4 hours ago

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with engine selection and invalid binaries

1005. By Jiri Srba <email address hidden> on 2019-03-28

increased min version of verifypn to 3.0.2

1002. By Jiri Srba on 2019-03-27

merge in branch lp:~yrke/tapaal/tapaal-fixes1821163 fixing a problem with deleting anchor points on arcs

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.