summaryrefslogtreecommitdiff
path: root/compiler/Assumed.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-11Fix some issues with the commentsSon Ho1-1/+1
2022-10-28Move some files to the Charon projectSon Ho1-3/+3
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-34/+34
2022-09-22Reformat the project with duneSon Ho1-6/+1
2022-05-05Make minor fixesSon Ho1-1/+20
2022-05-04Make minor modificationsSon Ho1-3/+2
2022-03-03Rename CFIM to LLBCSon Ho1-1/+1
2022-03-03Update the name definition to use path_elemSon Ho1-11/+17
2022-03-03Move the names from Identifiers to NamesSon Ho1-4/+5
2022-02-24Update the way function names are handledSon Ho1-2/+2
2022-02-09Add definitions to Primitives.fst and start on improving/fixing theSon Ho1-26/+43
2022-02-08Make progress on implementing support for types and functions likeSon Ho1-0/+3
2022-02-08Start adding more assumed types and functionsSon Ho1-48/+210
2022-01-29Make progress on PureToExtractSon Ho1-0/+7
2022-01-27Make minor modifications and add commentsSon Ho1-0/+22
2022-01-27Implement Translate.translate_functionSon Ho1-1/+1
2022-01-26Make progress on translationSon Ho1-1/+12
2022-01-26Add a comment in Assumed.mlSon Ho1-1/+8
2022-01-26Start working on signatures for the assumed functionsSon Ho1-0/+51