summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-06Fix more bugsSon Ho2-7/+14
2022-01-06Fix some bugsSon Ho7-15/+42
2022-01-06Make minor improvements to printingSon Ho3-8/+20
2022-01-06Fix some printing issuesSon Ho1-2/+2
2022-01-06Make a minor modificationSon Ho1-1/+3
2022-01-06Fix some issues when evaluating assertionsSon Ho3-6/+56
2022-01-06Make minor modificationsSon Ho4-13/+23
2022-01-06Fix minor bugsSon Ho1-6/+3
2022-01-06Implement tests for the symbolic interpreterSon Ho3-21/+14
2022-01-06Make good progress on implementing utilities to test symbolic executionSon Ho10-94/+269
2022-01-06Move more definitions and do more cleanupSon Ho8-67/+74
2022-01-06Cleanup and reorganizeSon Ho8-476/+492
2022-01-06Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho5-12/+3
2022-01-06Cleanup the dependencies a bitSon Ho10-51/+0
2022-01-06Move some definitionsSon Ho2-20/+20
2022-01-06Move some definitions from Interpreter to InterpreterStatementsSon Ho2-894/+895
2022-01-06Move some definitions inside of InterpreterExpressionsSon Ho1-28/+28
2022-01-06Move some functions from Interpreter to InterpreterExpressionsSon Ho2-437/+477
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 21:30:55 +0000