summaryrefslogtreecommitdiff
path: root/src/SynthesizeSymbolic.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-27Cleanup a bit by removing useless `open`Son Ho1-2/+0
2022-01-25Make progress on SymbolicToPure.translate_end_abstractionSon Ho1-8/+11
2022-01-25Make good progress on SymbolicToPure.translate_expansionSon Ho1-23/+16
2022-01-21Finish updating the calls to the synthesis functions to generate theSon Ho1-2/+38
2022-01-21Start working on the generation of the symbolic ASTSon Ho1-0/+89