Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2024-05-30 | Improve the tests README | Nadrieril | 1 | -11/+19 | |
2024-05-30 | runner: Split up into multiple files | Nadrieril | 1 | -1/+1 | |
2024-05-30 | tests: Add a README | Nadrieril | 1 | -0/+67 | |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2024-05-30 | Improve the tests README | Nadrieril | 1 | -11/+19 | |
2024-05-30 | runner: Split up into multiple files | Nadrieril | 1 | -1/+1 | |
2024-05-30 | tests: Add a README | Nadrieril | 1 | -0/+67 | |