summaryrefslogtreecommitdiff
path: root/src/Synthesis.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* CleanupSon Ho2022-01-061-1/+1
|
* 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
| | | | be reused for non-local function calls
* 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