lp:~peter-gjoel/verifydtapn/PTrieWorkflow

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 333

Jiri Srba: Approve on 2015-08-31

Jakob Taankvist: Pending requested 2015-06-23

Mathias Grund Sørensen: Pending requested 2015-06-23

Diff: 1810 lines (+1104/-120)

15 files modified

makefile.linux64 (+2/-2)
src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp (+190/-0)
src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h (+57/-0)
src/DiscreteVerification/DataStructures/MarkingEncoder.h (+31/-9)
src/DiscreteVerification/DataStructures/NonStrictMarking.hpp (+12/-0)
src/DiscreteVerification/DataStructures/WorkflowPWList.cpp (+130/-10)
src/DiscreteVerification/DataStructures/WorkflowPWList.hpp (+23/-0)
src/DiscreteVerification/DataStructures/binarywrapper.h (+168/-56)
src/DiscreteVerification/DataStructures/ptrie.h (+158/-12)
src/DiscreteVerification/DataStructures/visitor.h (+30/-0)
src/DiscreteVerification/DiscreteVerification.cpp (+44/-23)
src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp (+109/-4)
src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp (+18/-0)
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp (+112/-4)
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp (+20/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

364. By Peter Gjøl Jensen on 2015-08-20

changed comparison function for ptries, simplifying code and giving a speedup on VERY large markings

363. By Peter Gjøl Jensen on 2015-08-20

merged with trunk

362. By Peter Gjøl Jensen on 2015-06-29

fixed problem with ptries and unbounded markings

361. By Peter Gjøl Jensen on 2015-06-29

readded limit on cover-check

360. By Peter Gjøl Jensen on 2015-06-29

fixed covered marking visitor

359. By Peter Gjøl Jensen on 2015-06-26

fixed warnings

358. By Peter Gjøl Jensen on 2015-06-25

merged with trunk

357. By Peter Gjøl Jensen on 2015-06-23

refactored

356. By Peter Gjøl Jensen on 2015-06-22

fixed merge error

355. By Peter Gjøl Jensen on 2015-06-22

added flag to enable cleaning of memory after verification for use when searching for memory leaks