summaryrefslogtreecommitdiff
path: root/src/Synthesis.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update a commentSon Ho2022-01-051-0/+2
* Add more calls to synthesis functionsSon Ho2022-01-051-0/+59