Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2022-02-03 | Make minor modifications | Son Ho | 1 | -1/+1 |
2022-02-03 | Rename Assumed.fst to Primitives.fst and make progress on that | Son Ho | 2 | -107/+205 |
2022-02-03 | Start working on Assumed.fst | Son Ho | 1 | -0/+107 |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2022-02-03 | Make minor modifications | Son Ho | 1 | -1/+1 |
2022-02-03 | Rename Assumed.fst to Primitives.fst and make progress on that | Son Ho | 2 | -107/+205 |
2022-02-03 | Start working on Assumed.fst | Son Ho | 1 | -0/+107 |