lp:~peter-gjoel/verifydtapn/WorkflowRefactor

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 330

Jiri Srba: Needs Fixing on 2015-06-24

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

Jakob Taankvist: Pending requested 2015-06-23

Diff: 750 lines (+216/-132)

12 files modified

src/DiscreteVerification/DataStructures/PWList.hpp (+11/-9)
src/DiscreteVerification/DataStructures/WaitingList.cpp (+1/-1)
src/DiscreteVerification/DataStructures/WaitingList.hpp (+13/-16)
src/DiscreteVerification/DataStructures/WorkflowPWList.cpp (+9/-1)
src/DiscreteVerification/DataStructures/WorkflowPWList.hpp (+27/-6)
src/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp (+1/-1)
src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp (+1/-1)
src/DiscreteVerification/VerificationTypes/Workflow.hpp (+15/-13)
src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp (+67/-45)
src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp (+11/-6)
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp (+43/-31)
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp (+17/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

348. By Peter Gjøl Jensen on 2015-06-24

Warning fix

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

refactoring for workflows

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

fix so it compiles

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

Memory-leak-fixes that are generally applicable

344. By Peter Gjøl Jensen on 2015-06-17

removed c++11 features

343. By Peter Gjøl Jensen on 2015-06-17

fixed warning

342. By Peter Gjøl Jensen on 2015-06-17

removed possible memmory-leak

341. By Peter Gjøl Jensen on 2015-06-17

refactored namespace

340. By Peter Gjøl Jensen on 2015-06-16

readded reachability trace

339. By Peter Gjøl Jensen on 2015-06-16

refactored