summaryrefslogtreecommitdiff
path: root/compiler/Cps.ml (follow)
Commit message (Collapse)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 turning the compiler in a style which is less CPS * Update a function in InterpreterExpressions.ml * WIP work on cps * WIP * WIP, currently on InterpreterStatements.ml * WIP * Finished CPS-related modification * Fixed some warning related to documentation comments * Finished loop support, fixed a loop * fixed a typed value * Fixed check_disappeared related error * cleaned check_disappeared related error * Start cleaning up * Do more cleanup * Make some cleanup and fix an issue * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Do more cleanup * Rename a function * Do more cleanup * Cleanup the loops code and fix some bugs * Cleanup assign_to_place * Make a minor cleanup --------- Co-authored-by: Son Ho <hosonmarc@gmail.com>
* 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