summaryrefslogtreecommitdiff
path: root/src/Synthesis.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix some issues when evaluating assertionsSon Ho2022-01-061-0/+6
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+2
* Cleanup the dependencies a bitSon Ho2022-01-061-5/+0
* Address some warningsSon Ho2022-01-061-19/+20
* Split eval_local_function_call_symbolic to isolate a function which canSon Ho2022-01-051-6/+1
* 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