← Back to branch summary

~verifydtapn-contributers/verifydtapn/cmake

~verifydtapn-contributers/verifydtapn/cmake

Viewing all changes in revision 375.

Committer: Peter G. Jensen
Date: 2020-09-03 08:37:53 UTC
mfrom: (374.1.6 af-games)
Revision ID: root@petergjoel.dk-20200903083753-4in22doryenzki1x

Added support for AF-games

files modified:
include/DiscreteVerification/VerificationTypes/SafetySynthesis.h

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp

Show diffs side-by-side

added added

removed removed

include/DiscreteVerification/VerificationTypes/SafetySynthesis.h

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp

Older »