lp:verifydtapn/d3.1

Created by Jiri Srba on 2014-06-16 and last modified on 2015-08-20
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

Owner:
verifydtapn-contributers
Project:
VerifyDTAPN
Status:
Mature

Recent revisions

319. By Jiri Srba on 2015-08-20

merged branch fixing "delay forever" when using timedarts bug

318. By Jiri Srba on 2015-06-14

changed version number to 3.1.3

317. By Jiri Srba on 2015-06-14

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

316. By Jiri Srba on 2014-08-28

Released version 3.1.2

315. By Jiri Srba on 2014-08-14

updated makefiles for mac os x

314. By Jiri Srba on 2014-08-14

increased version number to 3.1.2

313. By Jiri Srba on 2014-08-14

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 on 2014-07-15

Released version 3.1.1

311. By Jiri Srba on 2014-07-14

merged in branch adding place-bound statistics

310. By Jiri Srba on 2014-07-13

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:
lp:verifydtapn
This branch contains Public information 
Everyone can see this information.