summaryrefslogtreecommitdiff
path: root/src/Synthesis.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Finish implementing eval_local_function_call_symbolicSon Ho2022-01-051-1/+2
|
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-1/+1
|
* Remove synthesize_set_discriminantSon Ho2022-01-051-4/+0
|
* Finish implementing the symbolic case of switch evaluationSon Ho2022-01-051-3/+9
|
* Implement the symbolic case of eval_rvalue_discriminantSon Ho2022-01-051-2/+11
|
* Implement eval_binary_op_symbolicSon Ho2022-01-051-2/+2
|
* Implement eval_unary_op_symbolicSon Ho2022-01-051-1/+3
|
* Update a commentSon Ho2022-01-051-0/+2
|
* Add more calls to synthesis functionsSon Ho2022-01-051-0/+59