summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoopsMatchCtxs.mli (follow)
Commit message (Collapse)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 ↵Escherichia2024-03-281-2/+4
| | | | we need to see how translate_crate can give meta to the functions it calls
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 23:05:45 +0000