summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-06Move some definitions from Interpreter to InterpreterPathsSon Ho2-815/+834
2022-01-06Move some functions from Interpreter to InterpreterExpansionSon Ho3-483/+508
2022-01-06Move some functions from Interpreter to InterpreterBorrowsSon Ho2-1099/+1116
2022-01-06Move some functions from Interpreter to InterpreterProjectorsSon Ho3-635/+667
2022-01-06Implement statement_has_loops and make minor modificationsSon Ho3-2/+17
2022-01-06Address some warningsSon Ho1-19/+20
2022-01-06Generate iterators for statementSon Ho2-5/+54
2022-01-05Cleanup a bitSon Ho1-22/+17
2022-01-05Finish implementing evaluation of non-local function calls in symbolicSon Ho1-69/+71
2022-01-05Make progress on eval_non_local_function_call_symbolicSon Ho2-54/+92
2022-01-05Cleanup a bitSon Ho1-11/+0
2022-01-05Split eval_local_function_call_symbolic to isolate a function which canSon Ho3-46/+74
2022-01-05Implement apply_proj_borrows_on_input_valueSon Ho1-8/+19
2022-01-05Make progress on implementing the symbolic evaluation for the non-localSon Ho3-52/+134
2022-01-05Cleanup a bitSon Ho2-14/+14
2022-01-05Finish implementing eval_local_function_call_symbolicSon Ho3-15/+50
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho9-21/+191
2022-01-05Prepare the terrain for evaluation of function calls in symbolic modeSon Ho2-74/+114
2022-01-05Update the code to deserialize regions_hierarchy informationSon Ho2-0/+36
2022-01-05Remove synthesize_set_discriminantSon Ho2-5/+0
2022-01-05Finish implementing the symbolic case of switch evaluationSon Ho2-45/+81
2022-01-05Start working on the symbolic case of switch evaluationSon Ho1-19/+75
2022-01-05Cleanup a bitSon Ho1-20/+18
2022-01-05Implement the symbolic case of set_discriminantSon Ho1-1/+8
2022-01-05Implement the symbolic case of eval_rvalue_discriminantSon Ho3-23/+86
2022-01-05Make eval_rvalue return a list of values because of possible branchings and p...Son Ho1-86/+143
2022-01-05Change the signatures of the eval_rvalue_... functionsSon Ho1-14/+15
2022-01-05Fix some mistakes in copy_value and type_is_primitively_copyableSon Ho1-5/+7
2022-01-05Implement eval_binary_op_symbolicSon Ho2-12/+43
2022-01-05Implement eval_unary_op_symbolicSon Ho3-4/+23
2022-01-05Fix a mistake in convert_avalue_to_valueSon Ho1-35/+27
2022-01-05Update some commentsSon Ho1-0/+4
2022-01-05Add comments about symbolic valuesSon Ho1-2/+5
2022-01-05Make minor modificationsSon Ho1-10/+13
2022-01-05Implement the symbolic case of copy_valueSon Ho2-6/+36
2022-01-05Cleanup a bitSon Ho1-6/+0
2022-01-05Introduce the type_context definitionSon Ho6-35/+53
2022-01-05Update a commentSon Ho1-0/+2
2022-01-05Add more calls to synthesis functionsSon Ho2-1/+65
2022-01-05Make progress on inserting more calls for synthesisSon Ho1-102/+112
2022-01-05Start inserting calls to dummy synthesis functions in Interpreter.mlSon Ho2-22/+82
2022-01-04Cleanup a bitSon Ho1-3/+2
2022-01-04Finish implementing visit_typed_avalue for check_typing_invariantSon Ho1-12/+24
2022-01-04Make good progress on visit_typed_avalue for check_typing_invariantSon Ho1-1/+89
2022-01-04Improve check_typing_invariant to lookup borrowed/shared values andSon Ho1-5/+20
2022-01-04Move some functions from Interpreter to InterpreterUtilsSon Ho2-536/+536
2022-01-04Finish implementing visit_typed_value for check_typing_invariantSon Ho1-3/+6
2022-01-04Make good progress on visit_typed_value for check_typing_invariantSon Ho1-4/+55
2022-01-04Implement check_constant_value_typeSon Ho1-2/+8
2022-01-04Start working on check_typing_invariantSon Ho1-1/+23
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 16:55:46 +0000