test app for cardiac simulations
- verify solidity contracts
Repository for solidity contracts
Expiration checkpoint 1.1.2025
- verify witness evaluation
Evaluation between Witness-producing solvers and witness checkers
Expriation checkpoint 1.1.2025
This is a little project which provides some pre-commit-hooks for git such as:
If clang-format results in a non-empty diff then a patch is created and the commit is rejected.
If the commit fails to build then the commit is rejected....
$ git clone https://scm.ti-edu.ch/repogit/smts.git
Also available in: Atom