A framework to support the declarative definition of engineering model semantics.
Use Java 17 for building.
Run gradlew build to assemble the whole project, and execute all automated test, including regression testing and formal verifications. The required environment (e.g., Theta binaries) is automatically constructed by Gradle. Tests should run in a few minutes.
To execute all tests (even extremely slow, several days long tests!), run gradlew allTests.
NOTE: Verification tests use Docker to run Theta. To run the build locally, ensure you have docker installed!
Please, follow the instructions in CONTRIBUTING.md
Copyright (c) 2024 Semantifyr Authors
Semantifyr is available under the Eclipse Public License - v 2.0.
Semantifyr complies with the REUSE Specification – Version 3.0 to provide copyright and licensing information to each file, including files available under other licenses. For more information, see the comments headers in each file and the license texts in the LICENSES directory.