← Back to branch summary

~verifydtapn-contributers/verifydtapn/d2.1

~verifydtapn-contributers/verifydtapn/d2.1

Viewing all changes in revision 276.3.1.

Committer: Peter Gjoel Jensen
Date: 2013-07-22 19:53:13 UTC
mfrom: (269.10.12 urgentTransitions)
mto: (276.4.6 memoryLeakHunting)
mto: This revision was merged to the branch mainline in revision 286.
Revision ID: peter.gjoel@gmail.com-20130722195313-hhvbeuu774nbsfhm

merged urgency-branch and deadlock-branch to avoid future conflicts

files modified:
src/Core/ArgsParser.hpp

src/Core/TAPN/TimedTransition.cpp

src/Core/TAPN/TimedTransition.hpp

src/Core/TAPNParser/TAPNXmlParser.cpp

src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.hpp

src/Core/TAPN/TimedTransition.cpp

src/Core/TAPN/TimedTransition.hpp

src/Core/TAPNParser/TAPNXmlParser.cpp

src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp

src/DiscreteVerification/VerificationTypes/ReachabilitySearch.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

Older »