Created by Jiri Srba on 2012-10-17 and last modified on 2012-12-05
Get this branch:
bzr branch lp:verifydtapn/d1.0
Only Jiri Srba can upload to this branch. If you are Jiri Srba please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Jiri Srba

Recent revisions

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

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.