← Back to branch summary

~verifydtapn-contributers/verifydtapn/d2.0

~verifydtapn-contributers/verifydtapn/d2.0

Viewing all changes in revision 279.

Committer: Jiri Srba
Date: 2013-04-22 15:16:36 UTC
mfrom: (278.1.8 DirectAddToPWOptimization)
Revision ID: srba@cs.aau.dk-20130422151636-l9nfnso0cmrip4hl

Merged in a branch adding markings to PW directly from successor
generator (up to 10% speedup).

files modified:
src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/TimeDartSuccessorGenerator.cpp

src/DiscreteVerification/TimeDartSuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/TimeDartSuccessorGenerator.cpp

src/DiscreteVerification/TimeDartSuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp

src/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

Older »