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