Projects
- cow
test app for cardiac simulations
- verify witness evaluation
Evaluation between Witness-producing solvers and witness checkers
Expriation checkpoint 1.1.2025
- lib4prm
Progetto lib4prm
- pre-commit-hooks
This is a little project which provides some pre-commit-hooks for git such as:
1. clang-format
2. buildIf 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.... - smts
$ git clone https://scm.ti-edu.ch/repogit/smts.git
Also available in: Atom