summaryrefslogtreecommitdiff
path: root/src/Translate.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-28Move some definitions to a new PureUtils.ml fileSon Ho1-1/+2
2022-01-28Remove the Return and Fail variants from Pure.expression and add aSon Ho1-2/+20
2022-01-28Apply the micro-passes to the pure ASTsSon Ho1-11/+14
2022-01-28Make a lot of small modificationsSon Ho1-35/+7
2022-01-28Make a minor cleaningSon Ho1-8/+0
2022-01-27Fix some issues with the naming of input variablesSon Ho1-15/+15
2022-01-27Make minor modifications and create PureMicroPasses.mlSon Ho1-0/+1
2022-01-27Add name information upon initializing some variables in SymbolicToPureSon Ho1-7/+42
2022-01-27Add more printing facilities and fix minor bugsSon Ho1-0/+22
2022-01-27Add some printing facilities to SymbolicToPureSon Ho1-2/+3
2022-01-27Fix a mistake with the input symbolic values not being linked to theSon Ho1-10/+29
2022-01-27Make minor modifications and add commentsSon Ho1-5/+12
2022-01-27Cleanup a bit by removing useless `open`Son Ho1-2/+0
2022-01-27Change the signatures of several functions in Interpreter.mlSon Ho1-14/+9
2022-01-27Implement Translate.translate_module_to_pureSon Ho1-5/+17
2022-01-27Implement Translate.translate_functionSon Ho1-13/+145
2022-01-27Start working on TranslateSon Ho1-33/+24
2022-01-26Make progress on translationSon Ho1-8/+18
2022-01-26Make progress on translationSon Ho1-0/+46