summaryrefslogtreecommitdiff
path: root/compiler/Cps.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-03Fix a bug when composing the continuations in eval_statementSon Ho1-0/+6
2024-05-30Remove the cps.eval_result typeSon Ho1-3/+0
2024-05-30Remove the options from the functions synthesizing the symbolic ASTSon Ho1-32/+15
2024-05-24Rename meta into spanAymeric Fromherz1-5/+5
2024-05-23Update the interpreter so that it is not written in CPS style (#120)Escherichia1-161/+101
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-17/+15
2023-02-03Fix some bugsSon Ho1-1/+2
2023-02-03Make good progress on updating SymbolicToPureSon Ho1-2/+2
2023-02-03Add a `Loop` node in the pure ASTSon Ho1-4/+6
2023-02-03Add an SCC.ml file for strongly connected componentsSon Ho1-1/+1
2023-02-03Make progress on Interpreter.mlSon Ho1-2/+8
2023-02-03Start implementing support for loopsSon Ho1-3/+10
2022-11-11Fix some issues with the commentsSon Ho1-1/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-24/+24
2022-06-27Update eval_operand_prepare to not give a value to the continuationSon Ho1-4/+33
2022-01-21Start working on the generation of the symbolic ASTSon Ho1-1/+2
2022-01-20Add commentsSon Ho1-2/+7
2022-01-20Make various style modificationsSon Ho1-0/+14
2022-01-20Make good progress on updating InterpreterStatements to use CPSSon Ho1-4/+41
2022-01-20Add more utilities for bool and integer expansion inSon Ho1-0/+3
2022-01-20Finish updating InterpreterExpressionsSon Ho1-3/+8
2022-01-20Add a unit test in Cps.mlSon Ho1-0/+8
2022-01-20Make progress on converting InterpreterExpressions to CPSSon Ho1-0/+25
2022-01-19Update InterpreterExpansion and InterpreterPaths to use CPSSon Ho1-1/+4
2022-01-19Update the return valuesSon Ho1-5/+7
2022-01-19Start updating the interpreter to make it CPSSon Ho1-0/+61
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 19:26:12 +0000