← Back to branch summary

~verifydtapn-contributers/verifydtapn/NoLivenessGCD

~verifydtapn-contributers/verifydtapn/NoLivenessGCD

Viewing all changes in revision 291.

Committer: Jiri Srba
Date: 2013-12-05 18:54:03 UTC
mfrom: (288.3.16 GreatestCommonDivisor)
Revision ID: srba@cs.aau.dk-20131205185403-91kkb54ahurn9tdw

merged in branch implementing the GCD of constants in the model

files modified:
src/Core/ArgsParser.cpp

src/Core/ArgsParser.hpp

src/Core/TAPN/TimeInterval.cpp

src/Core/TAPN/TimeInterval.hpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedInputArc.hpp

src/Core/TAPN/TimedPlace.cpp

src/Core/TAPN/TimedPlace.hpp

src/Core/TAPN/TransportArc.hpp

src/Core/VerificationOptions.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

src/main.cpp

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.cpp

src/Core/ArgsParser.hpp

src/Core/TAPN/TimeInterval.cpp

src/Core/TAPN/TimeInterval.hpp

src/Core/TAPN/TimedArcPetriNet.cpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedInputArc.hpp

src/Core/TAPN/TimedPlace.cpp

src/Core/TAPN/TimedPlace.hpp

src/Core/TAPN/TransportArc.hpp

src/Core/VerificationOptions.hpp

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp

src/DiscreteVerification/VerificationTypes/Verification.hpp

Older »