summaryrefslogtreecommitdiff
path: root/src/Collections.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-02-03Implement a micro pass to filter the box functionsSon Ho1-0/+5
2022-02-03Make more progress on implementing function extractionSon Ho1-3/+20
2022-01-29Cleanup a bitSon Ho1-0/+17
2022-01-29Make progress on PureToExtractSon Ho1-4/+4
2022-01-27Add name information upon initializing some variables in SymbolicToPureSon Ho1-0/+3
2022-01-25Implement SymbolicToPure.translate_fun_sigSon Ho1-0/+24
2022-01-24Start working on name generation for the synthesisSon Ho1-0/+207
2022-01-21Start working on the generation of the symbolic ASTSon Ho1-0/+14
2022-01-19Commit the forgotten Collections.mlSon Ho1-0/+143