lp:verifydtapn/d3.1

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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.