← Back to branch summary

~verifypn-maintainers/verifypn/interval_tar

~verifypn-maintainers/verifypn/interval_tar

Viewing all changes in revision 359.

Committer: srba.jiri at gmail
Date: 2020-07-08 12:05:31 UTC
Revision ID: srba.jiri@gmail.com-20200708120531-526ompqx1yang58h

allowed compilation for Mac

files modified:
CMakeLists.txt

README.md

include/PetriEngine/Structures/binarywrapper.h

src/CTL/Algorithm/CMakeLists.txt

src/PetriEngine/Colored/CMakeLists.txt

src/PetriEngine/Structures/CMakeLists.txt

src/PetriEngine/TAR/CMakeLists.txt

Show diffs side-by-side

added added

removed removed

include/PetriEngine/Structures/binarywrapper.h

src/CTL/Algorithm/CMakeLists.txt

src/PetriEngine/Colored/CMakeLists.txt

src/PetriEngine/Structures/CMakeLists.txt

src/PetriEngine/TAR/CMakeLists.txt

Older »