summaryrefslogtreecommitdiff
path: root/src/Cps.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start working on the generation of the symbolic ASTSon Ho2022-01-211-1/+2
* Add commentsSon Ho2022-01-201-2/+7
* Make various style modificationsSon Ho2022-01-201-0/+14
* Make good progress on updating InterpreterStatements to use CPSSon Ho2022-01-201-4/+41
* Add more utilities for bool and integer expansion inSon Ho2022-01-201-0/+3
* Finish updating InterpreterExpressionsSon Ho2022-01-201-3/+8
* Add a unit test in Cps.mlSon Ho2022-01-201-0/+8
* Make progress on converting InterpreterExpressions to CPSSon Ho2022-01-201-0/+25
* Update InterpreterExpansion and InterpreterPaths to use CPSSon Ho2022-01-191-1/+4
* Update the return valuesSon Ho2022-01-191-5/+7
* Start updating the interpreter to make it CPSSon Ho2022-01-191-0/+61