summaryrefslogtreecommitdiff
path: root/src/Cps.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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