summaryrefslogtreecommitdiff
path: root/src/Assumed.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reformat the project with duneSon Ho2022-09-221-6/+1
* Make minor fixesSon Ho2022-05-051-1/+20
* Make minor modificationsSon Ho2022-05-041-3/+2
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
* Update the name definition to use path_elemSon Ho2022-03-031-11/+17
* Move the names from Identifiers to NamesSon Ho2022-03-031-4/+5
* 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