summaryrefslogtreecommitdiff
path: root/src/Assumed.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | generated F* file
* Make progress on implementing support for types and functions likeSon Ho2022-02-081-0/+3
| | | | Option and Vec
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 02:24:45 +0000