VerifyDTAPN

lp:~verifydtapn-contributers/verifydtapn/Cleanup

Created by Peter Gjøl Jensen on 2013-04-08 and last modified on 2013-04-22

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.

No branches dependent on this one.

Merged into lp:verifydtapn at revision 277

Peter Gjøl Jensen: Approve on 2013-04-13

Mathias Grund Sørensen: Approve on 2013-04-10

Jiri Srba: Approve on 2013-04-09

Jakob Taankvist: Approve on 2013-04-09

Undecided

Fix Released

278. By Jiri Srba on 2013-04-10: merged in the branch with cut optimization
277. By Jiri Srba on 2013-04-10: merged in the cleanup branch
276. By Jiri Srba on 2013-04-08: merged in the branch for priting traces for all discrete engines incl PTrie optimization
275. By Jiri Srba on 2012-12-05: merged in a branch fixing a bug in successor generator with weighted arcs
274. By Jiri Srba on 2012-11-29: changed version number to 1.0.1
273. By Jiri Srba on 2012-11-29: merged in a branch fixing memory leak in waiting list and computation of stored states
272. By Jiri Srba on 2012-11-06: merged with branch fixing search order bug
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

This branch contains Public information

Everyone can see this information.