← Back to branch summary

~verifydtapn-contributers/verifydtapn/cmake

~verifydtapn-contributers/verifydtapn/cmake

Viewing all changes in revision 365.

Committer: Peter G. Jensen
Date: 2020-04-16 21:13:04 UTC
Revision ID: peter.gjoel@gmail.com-20200416211304-0f9xyd06fnski2vb

modernizing

files modified:
include/Core/QueryParser/NormalizationVisitor.hpp

include/Core/TAPN/TimedArcPetriNet.hpp

include/Core/TAPNParser/util.hpp

include/DiscreteVerification/DataStructures/PWList.hpp

include/DiscreteVerification/DiscreteVerification.hpp

include/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp

include/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/Core/ArgsParser.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/PlaceVisitor.cpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Show diffs side-by-side

added added

removed removed

include/Core/QueryParser/NormalizationVisitor.hpp

include/Core/TAPN/TimedArcPetriNet.hpp

include/Core/TAPNParser/util.hpp

include/DiscreteVerification/DataStructures/PWList.hpp

include/DiscreteVerification/DiscreteVerification.hpp

include/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp

include/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp

src/Core/ArgsParser.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/PlaceVisitor.cpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Older »