summaryrefslogtreecommitdiff
path: root/compiler/Logging.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Improve the error messagesSon Ho2024-03-291-0/+3
|
* Fix minor issuesSon Ho2023-11-201-0/+3
|
* Make minor modificationsSon Ho2023-11-131-0/+3
|
* Fix a small issue in AssociatedTypesSon Ho2023-11-091-1/+1
|
* Fix some issuesSon Ho2023-09-131-0/+3
|
* Start adding support for traitsSon Ho2023-08-311-0/+3
|
* Split InterpreterLoops into several filesSon Ho2023-02-031-0/+9
|
* 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