| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| isabelle | isabelle: more correct u32 type | stuebinm | 3 months | |
| Age | Commit message | Author | Files | Lines |
| 2024-07-04 | isabelle: more correct u32 typeisabelle | stuebinm | 1 | -3/+11 |
| 2024-06-29 | had some fun writing an IsabelleHOL backend | stuebinm | 13 | -132/+528 |
| 2024-06-28 | Merge pull request #272 from Nadrieril/remove-llbc_name | Guillaume Boisseau | 9 | -77/+65 |
| 2024-06-28 | Remove redundant `llbc_name` field | Nadrieril | 9 | -77/+65 |
| 2024-06-28 | Merge pull request #271 from Nadrieril/update-charon2 | Guillaume Boisseau | 17 | -32/+28 |
| 2024-06-28 | Update charon | Nadrieril | 17 | -32/+28 |
| 2024-06-25 | Merge pull request #263 from Nadrieril/subst-preds | Guillaume Boisseau | 3 | -7/+5 |
| 2024-06-25 | Update charon | Nadrieril | 3 | -7/+5 |
| 2024-06-25 | Bump Lean to v4.9.0rc3 (#261) | Son HO | 6 | -9/+4 |
| 2024-06-24 | Merge pull request #259 from Nadrieril/augmente-ta-vitesse | Guillaume Boisseau | 1 | -2/+1 |
| [...] | ||||
| Clone | ||||
| https://stuebinm.eu/git/forks/aeneas | ||||
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |