lp:tapaal

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

1056. By Jiri Srba on 2020-05-25

merged in branch lp:~yrke/tapaal/removeNetType removing unused net type UNTIMED

1054. By Jiri Srba on 2020-05-25

merged in lp:~yrke/tapaal/positionAsInt fixing positions to integers instead of doubles

1048. By Jiri Srba on 2020-04-30

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

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.