← Back to branch summary

~verifydtapn-contributers/verifydtapn/cmake

~verifydtapn-contributers/verifydtapn/cmake

Viewing all changes in revision 363.

Committer: Peter G. Jensen
Date: 2020-04-16 21:09:38 UTC
Revision ID: peter.gjoel@gmail.com-20200416210938-oi2j9ki9r2bdevqg

modernizing

files modified:
src/Core/ArgsParser.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/Generator.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/PWList.cpp

src/DiscreteVerification/Generator.cpp

src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp

Older »