lp:~verifydtapn-contributers/verifydtapn/CutOptimization

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 278

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

Jiri Srba: Approve on 2013-04-09

Jakob Taankvist: Approve on 2013-04-09

verifydtapn-contributers: Pending requested 2013-04-09

Diff: 163 lines (+8/-78)

5 files modified

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp (+6/-12)
src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp (+1/-32)
src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp (+0/-1)
src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp (+1/-32)
src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp (+0/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1166168: Some cleanup needed

Undecided

Fix Released

Link a bug report

Related blueprints

279. By Peter Gjøl Jensen on 2013-04-08

restructured cut

278. By Peter Gjøl Jensen on 2013-04-08

removed redundant deffinition of cut

277. By Peter Gjøl Jensen on 2013-04-08

moved dead-token removal inside loop

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