lp:verifydtapn/d1.0

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

Owner:
Jiri Srba
Project:
VerifyDTAPN
Status:
Mature

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.

Subscribers