← Back to branch summary

~verifydtapn-contributers/verifydtapn/d3.1

~verifydtapn-contributers/verifydtapn/d3.1

Viewing all changes in revision 311.

Committer: Jiri Srba
Date: 2014-07-14 09:53:44 UTC
mfrom: (302.5.6 PlaceStatistics)
Revision ID: srba@cs.aau.dk-20140714095344-2xg9y5plxjmouc7e

merged in branch adding place-bound statistics

files modified:
src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Older »