lp:~verifydtapn-contributers/verifydtapn/Cleanup

Created by Peter Gjøl Jensen and last modified

This branch contains removal of dead code. It must not be used for other purposes.

Get this branch:
bzr branch lp:~verifydtapn-contributers/verifydtapn/Cleanup
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:
Merged

Recent revisions

278. By Jiri Srba

merged in the branch with cut optimization

277. By Jiri Srba

merged in the cleanup branch

276. By Jiri Srba

merged in the branch for priting traces for all discrete engines incl PTrie optimization

275. By Jiri Srba

merged in a branch fixing a bug in successor generator with weighted arcs

274. By Jiri Srba

changed version number to 1.0.1

273. By Jiri Srba

merged in a branch fixing memory leak in waiting list and computation of stored states

272. By Jiri Srba

merged with branch fixing search order bug

271. By Jiri Srba

merged a branch improving memory in the successor generator

270. By Jiri Srba

merged a branch that reparates the reachability and liveness search algorithm

269. By Jiri Srba

merged branch fixing the warnings during compilation

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.