← Back to branch summary

~verifydtapn-contributers/verifydtapn/cmake

~verifydtapn-contributers/verifydtapn/cmake

Viewing all changes in revision 367.

Committer: Peter G. Jensen
Date: 2020-07-08 08:45:33 UTC
Revision ID: root@petergjoel.dk-20200708084533-my5z215ofmgizqdu

fixing compiltation for mac

files modified:
CMakeLists.txt

include/Core/TAPN/TimedArcPetriNet.hpp

src/Core/QueryParser/CMakeLists.txt

src/DiscreteVerification/DataStructures/CMakeLists.txt

src/DiscreteVerification/SearchStrategies/CMakeLists.txt

src/DiscreteVerification/VerificationTypes/CMakeLists.txt

Show diffs side-by-side

added added

removed removed

include/Core/TAPN/TimedArcPetriNet.hpp

src/Core/QueryParser/CMakeLists.txt

src/DiscreteVerification/DataStructures/CMakeLists.txt

src/DiscreteVerification/SearchStrategies/CMakeLists.txt

src/DiscreteVerification/VerificationTypes/CMakeLists.txt

Older »