summaryrefslogtreecommitdiff
path: root/compiler/Logging.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix some bugsSon Ho2023-02-031-2/+2
* Compute the SCCs of the functions to extract in Translate.mlSon Ho2023-02-031-0/+6
* Start implementing support for loopsSon Ho2023-02-031-0/+3
* Make good progress on the Coq backendSon Ho2022-11-141-2/+2
* Add some .mli filesSon Ho2022-11-071-0/+3
* Move some files to the Charon projectSon Ho2022-10-281-137/+1
* Reorganize a bit the projectSon Ho2022-10-271-0/+179