Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifydtapn/d3.1
Members of verifydtapn-contributers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

319. By Jiri Srba

merged branch fixing "delay forever" when using timedarts bug

318. By Jiri Srba

changed version number to 3.1.3

317. By Jiri Srba

merges a branch that uses long long for the strong soundness constant

316. By Jiri Srba

Released version 3.1.2

315. By Jiri Srba

updated makefiles for mac os x

314. By Jiri Srba

increased version number to 3.1.2

313. By Jiri Srba

merged in branch fixing a minor change to the structure of the trace-generation. This will only affect livenes queries ending in delay forever or deadlocks. Resolved two conflicts.

312. By Jiri Srba

Released version 3.1.1

311. By Jiri Srba

merged in branch adding place-bound statistics

310. By Jiri Srba

merged in branch: Trailing delays removed and if we print delay for ever, any previous delay is removed.

Branch metadata

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