summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoopsMatchCtxs.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* Cleanup a bitSon Ho2024-06-031-3/+1
* Split collapse into collapse and reduce, rename accordinglyAymeric Fromherz2024-05-271-1/+1
* Rename meta into spanAymeric Fromherz2024-05-241-5/+5
* changes after git rebase mainEscherichia2024-03-281-1/+1
* Inverted meta and config argument orders (from meta -> config to config -> meta)Escherichia2024-03-281-1/+1
* WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia2024-03-281-2/+4
* Fix some issues with the loopsSon Ho2024-03-081-0/+15
* Fix the issues with the cross-references for OCaml docSon Ho2023-11-271-3/+3
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-19/+12
* Fix an issue with the extraction of aggregated arraysSon Ho2023-08-031-3/+3
* Use dune 3.7 and update the flake.lockSon Ho2023-06-041-3/+3
* Split InterpreterLoops into several filesSon Ho2023-02-031-0/+301