lp:verifydtapn/d1.0

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

274. By Jiri Srba on 2012-12-05

merged in the trunk fixing couple of issues before the release of 1.0.1

273. By Jiri Srba on 2012-11-06

merged in a branch fixing a search order bug

272. By Jiri Srba on 2012-10-17

Release of the version 1.0.0

271. By Jiri Srba on 2012-10-16

merged a branch improving memory in the successor generator

270. By Jiri Srba on 2012-10-16

merged a branch that reparates the reachability and liveness search algorithm

269. By Jiri Srba on 2012-08-01

merged branch fixing the warnings during compilation

268. By Jiri Srba on 2012-07-14

merged another fix for liveness

267. By Jiri Srba on 2012-07-13

merged a branch fixing a problem with liveness checking (marking on waiting list are now still considered during the search).

266. By Jiri Srba on 2012-07-13

merged branch that is fixing a problem with delay on empty markings

265. By Jiri Srba on 2012-07-12

addition of -d flag for ignoring dead-token places