Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename ExtractToFstar to ExtractToFStar | Son Ho | 2022-01-29 | 1 | -120/+0 |
* | Make progress on ExtractToFstar | Son Ho | 2022-01-29 | 1 | -10/+19 |
* | Start working on extraction to F* | Son Ho | 2022-01-29 | 1 | -0/+111 |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename ExtractToFstar to ExtractToFStar | Son Ho | 2022-01-29 | 1 | -120/+0 |
* | Make progress on ExtractToFstar | Son Ho | 2022-01-29 | 1 | -10/+19 |
* | Start working on extraction to F* | Son Ho | 2022-01-29 | 1 | -0/+111 |