| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl | Son Ho | 2022-03-03 | 1 | -7/+7 |
| | | |||||
| * | Update the way function names are handled | Son Ho | 2022-02-24 | 1 | -1/+1 |
| | | |||||
| * | Add definitions to Primitives.fst and start on improving/fixing the | Son Ho | 2022-02-09 | 1 | -10/+2 |
| | | | | | generated F* file | ||||
| * | Make progress on PureToExtract | Son Ho | 2022-01-29 | 1 | -0/+10 |
| | | |||||
| * | Make minor modifications | Son Ho | 2022-01-28 | 1 | -0/+10 |
| | | |||||
| * | Fix some issues with the naming of input variables | Son Ho | 2022-01-27 | 1 | -0/+4 |
| | | |||||
| * | Fix a small issue in translate_back_ty | Son Ho | 2022-01-27 | 1 | -0/+2 |
| | | |||||
| * | Make progress on translation | Son Ho | 2022-01-26 | 1 | -0/+32 |
| | | |||||
| * | Make good progress on implementing utilities to test symbolic execution | Son Ho | 2022-01-06 | 1 | -1/+4 |
| | | |||||
| * | Implement statement_has_loops and make minor modifications | Son Ho | 2022-01-06 | 1 | -0/+16 |
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |