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