summaryrefslogtreecommitdiff
path: root/src/Assumed.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the way function names are handledSon Ho2022-02-241-2/+2
* Add definitions to Primitives.fst and start on improving/fixing theSon Ho2022-02-091-26/+43
* Make progress on implementing support for types and functions likeSon Ho2022-02-081-0/+3
* Start adding more assumed types and functionsSon Ho2022-02-081-48/+210
* Make progress on PureToExtractSon Ho2022-01-291-0/+7
* Make minor modifications and add commentsSon Ho2022-01-271-0/+22
* Implement Translate.translate_functionSon Ho2022-01-271-1/+1
* Make progress on translationSon Ho2022-01-261-1/+12
* Add a comment in Assumed.mlSon Ho2022-01-261-1/+8
* Start working on signatures for the assumed functionsSon Ho2022-01-261-0/+51