← Back to branch summary

~verifydtapn-contributers/verifydtapn/cmake

~verifydtapn-contributers/verifydtapn/cmake

Viewing all changes in revision 361.

Committer: Peter G. Jensen
Date: 2020-04-16 20:53:36 UTC
Revision ID: peter.gjoel@gmail.com-20200416205336-74nu19a5sxbg28rs

modernizing

files modified:
include/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

include/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Show diffs side-by-side

added added

removed removed

include/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

include/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Older »