JUppaal

lp:juppaal

Created by Thomas Bøgholm on 2011-07-01 and last modified on 2012-12-05

Get this branch:: bzr branch lp:juppaal

Only Thomas Bøgholm can upload to this branch. If you are Thomas Bøgholm please log in for upload directions.

Branch merges

1 branch proposed for merging into this one.

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Thomas Bøgholm

Project:: JUppaal

Status:: Development

Recent revisions

4. By Thomas Bøgholm (<email address hidden>) on 2012-12-05: fixed asserts
3. By Thomas Bøgholm (<email address hidden>) on 2012-12-05: merged
2. By Thomas Bøgholm on 2011-07-01: added libs dir
1. By Thomas Bøgholm on 2011-07-01: initial import

»

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.

Subscribers

Thomas Bøgholm