summaryrefslogtreecommitdiff
path: root/src/Synthesis.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-20Make good progress on updating InterpreterStatements to use CPSSon Ho1-5/+19
2022-01-06CleanupSon Ho1-1/+1
2022-01-06Fix some issues when evaluating assertionsSon Ho1-0/+6
2022-01-06Move more definitions and do more cleanupSon Ho1-0/+2
2022-01-06Cleanup the dependencies a bitSon Ho1-5/+0
2022-01-06Address some warningsSon Ho1-19/+20
2022-01-05Split eval_local_function_call_symbolic to isolate a function which canSon Ho1-6/+1
2022-01-05Finish implementing eval_local_function_call_symbolicSon Ho1-1/+2
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-1/+1
2022-01-05Remove synthesize_set_discriminantSon Ho1-4/+0
2022-01-05Finish implementing the symbolic case of switch evaluationSon Ho1-3/+9
2022-01-05Implement the symbolic case of eval_rvalue_discriminantSon Ho1-2/+11
2022-01-05Implement eval_binary_op_symbolicSon Ho1-2/+2
2022-01-05Implement eval_unary_op_symbolicSon Ho1-1/+3
2022-01-05Update a commentSon Ho1-0/+2
2022-01-05Add more calls to synthesis functionsSon Ho1-0/+59
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-29 05:01:56 +0000