summaryrefslogtreecommitdiff
path: root/compiler/Cps.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'main' into son/clean-synthesisSon Ho2024-06-051-0/+3
|\
| * Fix a bug when composing the continuations in eval_statementSon Ho2024-06-031-0/+6
* | Remove the cps.eval_result typeSon Ho2024-05-301-3/+0
* | Remove the options from the functions synthesizing the symbolic ASTSon Ho2024-05-301-32/+15
|/
* Rename meta into spanAymeric Fromherz2024-05-241-5/+5
* Update the interpreter so that it is not written in CPS style (#120)Escherichia2024-05-231-161/+101
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-17/+15
* Fix some bugsSon Ho2023-02-031-1/+2
* Make good progress on updating SymbolicToPureSon Ho2023-02-031-2/+2
* Add a `Loop` node in the pure ASTSon Ho2023-02-031-4/+6
* Add an SCC.ml file for strongly connected componentsSon Ho2023-02-031-1/+1
* Make progress on Interpreter.mlSon Ho2023-02-031-2/+8
* Start implementing support for loopsSon Ho2023-02-031-3/+10
* Fix some issues with the commentsSon Ho2022-11-111-1/+1
* Reorganize a bit the projectSon Ho2022-10-271-0/+193
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 14:31:48 +0000