Viewing all changes in revision 339.
- Committer: Jiri Srba
- Date: 2020-09-09 17:52:56 UTC
- mfrom: (338.1.41 cmake)
- Revision ID: srba@cs.aau.dk-20200909175256-6y90y7whhki3t4u2
merged in lp:~verifydtapn-contributers/verifydtapn/cmake that uses cmake, adds AF games, code cleanup
- files added:
- CMakeLists.txt
- include
- include/Core
- include/Core/QueryParser
- include/Core/TAPN
- include/Core/TAPNParser
- include/DiscreteVerification
- include/DiscreteVerification/DataStructures
- include/DiscreteVerification/SearchStrategies
- include/DiscreteVerification/Util
- include/DiscreteVerification/VerificationTypes
- files removed:
- boost-software-license.txt
- cross-compilation
- lib
- lib/rapidxml-1.13
- src/Core/QueryParser/Generated
- files modified:
- .bzrignore *
- README *
expand all
collapse all
added
removed
