summaryrefslogtreecommitdiff
path: root/src/Assumed.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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