← Back to branch summary

~verifydtapn-contributers/verifydtapn/cmake

~verifydtapn-contributers/verifydtapn/cmake

Viewing all changes in revision 358.

Committer: Peter G. Jensen
Date: 2020-04-16 20:47:23 UTC
Revision ID: peter.gjoel@gmail.com-20200416204723-q4bs8baw0uw0jwd7

modernizing

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

include/Core/VerificationOptions.hpp

include/DiscreteVerification/DataStructures/Waiting.h

include/DiscreteVerification/DataStructures/visitor.h

include/DiscreteVerification/VerificationTypes/Verification.hpp

src/Core/VerificationOptions.cpp

Show diffs side-by-side

added added

removed removed

include/Core/QueryParser/Visitor.hpp

include/Core/VerificationOptions.hpp

include/DiscreteVerification/DataStructures/Waiting.h

include/DiscreteVerification/DataStructures/visitor.h

include/DiscreteVerification/VerificationTypes/Verification.hpp

src/Core/VerificationOptions.cpp

Older »