summaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* | Make good progress on implementing utilities to test symbolic executionSon Ho2022-01-0610-94/+269
* | Move more definitions and do more cleanupSon Ho2022-01-068-67/+74
* | Cleanup and reorganizeSon Ho2022-01-068-476/+492
* | Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho2022-01-065-12/+3
* | Cleanup the dependencies a bitSon Ho2022-01-0610-51/+0
* | Move some definitionsSon Ho2022-01-062-20/+20
* | Move some definitions from Interpreter to InterpreterStatementsSon Ho2022-01-062-894/+895
* | Move some definitions inside of InterpreterExpressionsSon Ho2022-01-061-28/+28
* | Move some functions from Interpreter to InterpreterExpressionsSon Ho2022-01-062-437/+477
* | Move some definitions from Interpreter to InterpreterPathsSon Ho2022-01-062-815/+834
* | Move some functions from Interpreter to InterpreterExpansionSon Ho2022-01-063-483/+508
* | Move some functions from Interpreter to InterpreterBorrowsSon Ho2022-01-062-1099/+1116
* | Move some functions from Interpreter to InterpreterProjectorsSon Ho2022-01-063-635/+667
* | Implement statement_has_loops and make minor modificationsSon Ho2022-01-063-2/+17
* | Address some warningsSon Ho2022-01-061-19/+20
* | Generate iterators for statementSon Ho2022-01-062-5/+54
* | Cleanup a bitSon Ho2022-01-051-22/+17
* | Finish implementing evaluation of non-local function calls in symbolicSon Ho2022-01-051-69/+71
* | Make progress on eval_non_local_function_call_symbolicSon Ho2022-01-052-54/+92
* | Cleanup a bitSon Ho2022-01-051-11/+0
* | Split eval_local_function_call_symbolic to isolate a function which canSon Ho2022-01-053-46/+74
* | Implement apply_proj_borrows_on_input_valueSon Ho2022-01-051-8/+19
* | Make progress on implementing the symbolic evaluation for the non-localSon Ho2022-01-053-52/+134
* | Cleanup a bitSon Ho2022-01-052-14/+14
* | Finish implementing eval_local_function_call_symbolicSon Ho2022-01-053-15/+50
* | Make good progress on eval_local_function_call_symbolicSon Ho2022-01-059-21/+191
* | Prepare the terrain for evaluation of function calls in symbolic modeSon Ho2022-01-052-74/+114
* | Update the code to deserialize regions_hierarchy informationSon Ho2022-01-052-0/+36
* | Remove synthesize_set_discriminantSon Ho2022-01-052-5/+0
* | Finish implementing the symbolic case of switch evaluationSon Ho2022-01-052-45/+81
* | Start working on the symbolic case of switch evaluationSon Ho2022-01-051-19/+75
* | Cleanup a bitSon Ho2022-01-051-20/+18
* | Implement the symbolic case of set_discriminantSon Ho2022-01-051-1/+8
* | Implement the symbolic case of eval_rvalue_discriminantSon Ho2022-01-053-23/+86
* | Make eval_rvalue return a list of values because of possible branchings and p...Son Ho2022-01-051-86/+143
* | Change the signatures of the eval_rvalue_... functionsSon Ho2022-01-051-14/+15
* | Fix some mistakes in copy_value and type_is_primitively_copyableSon Ho2022-01-051-5/+7
* | Implement eval_binary_op_symbolicSon Ho2022-01-052-12/+43
* | Implement eval_unary_op_symbolicSon Ho2022-01-053-4/+23
* | Fix a mistake in convert_avalue_to_valueSon Ho2022-01-051-35/+27
* | Update some commentsSon Ho2022-01-051-0/+4
* | Add comments about symbolic valuesSon Ho2022-01-051-2/+5
* | Make minor modificationsSon Ho2022-01-051-10/+13
* | Implement the symbolic case of copy_valueSon Ho2022-01-052-6/+36
* | Cleanup a bitSon Ho2022-01-051-6/+0
* | Introduce the type_context definitionSon Ho2022-01-056-35/+53
* | Update a commentSon Ho2022-01-051-0/+2
* | Add more calls to synthesis functionsSon Ho2022-01-052-1/+65
* | Make progress on inserting more calls for synthesisSon Ho2022-01-051-102/+112
* | Start inserting calls to dummy synthesis functions in Interpreter.mlSon Ho2022-01-052-22/+82
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 07:00:33 +0000