| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | | Implement tests for the symbolic interpreter | Son Ho | 2022-01-06 | 3 | -21/+14 |
* | | Make good progress on implementing utilities to test symbolic execution | Son Ho | 2022-01-06 | 10 | -94/+269 |
* | | Move more definitions and do more cleanup | Son Ho | 2022-01-06 | 8 | -67/+74 |
* | | Cleanup and reorganize | Son Ho | 2022-01-06 | 8 | -476/+492 |
* | | Cleanup a bit more the dependencies and activate more warnings/errors | Son Ho | 2022-01-06 | 5 | -12/+3 |
* | | Cleanup the dependencies a bit | Son Ho | 2022-01-06 | 10 | -51/+0 |
* | | Move some definitions | Son Ho | 2022-01-06 | 2 | -20/+20 |
* | | Move some definitions from Interpreter to InterpreterStatements | Son Ho | 2022-01-06 | 2 | -894/+895 |
* | | Move some definitions inside of InterpreterExpressions | Son Ho | 2022-01-06 | 1 | -28/+28 |
* | | Move some functions from Interpreter to InterpreterExpressions | Son Ho | 2022-01-06 | 2 | -437/+477 |
* | | Move some definitions from Interpreter to InterpreterPaths | Son Ho | 2022-01-06 | 2 | -815/+834 |
* | | Move some functions from Interpreter to InterpreterExpansion | Son Ho | 2022-01-06 | 3 | -483/+508 |
* | | Move some functions from Interpreter to InterpreterBorrows | Son Ho | 2022-01-06 | 2 | -1099/+1116 |
* | | Move some functions from Interpreter to InterpreterProjectors | Son Ho | 2022-01-06 | 3 | -635/+667 |
* | | Implement statement_has_loops and make minor modifications | Son Ho | 2022-01-06 | 3 | -2/+17 |
* | | Address some warnings | Son Ho | 2022-01-06 | 1 | -19/+20 |
* | | Generate iterators for statement | Son Ho | 2022-01-06 | 2 | -5/+54 |
* | | Cleanup a bit | Son Ho | 2022-01-05 | 1 | -22/+17 |
* | | Finish implementing evaluation of non-local function calls in symbolic | Son Ho | 2022-01-05 | 1 | -69/+71 |
* | | Make progress on eval_non_local_function_call_symbolic | Son Ho | 2022-01-05 | 2 | -54/+92 |
* | | Cleanup a bit | Son Ho | 2022-01-05 | 1 | -11/+0 |
* | | Split eval_local_function_call_symbolic to isolate a function which can | Son Ho | 2022-01-05 | 3 | -46/+74 |
* | | Implement apply_proj_borrows_on_input_value | Son Ho | 2022-01-05 | 1 | -8/+19 |
* | | Make progress on implementing the symbolic evaluation for the non-local | Son Ho | 2022-01-05 | 3 | -52/+134 |
* | | Cleanup a bit | Son Ho | 2022-01-05 | 2 | -14/+14 |
* | | Finish implementing eval_local_function_call_symbolic | Son Ho | 2022-01-05 | 3 | -15/+50 |
* | | Make good progress on eval_local_function_call_symbolic | Son Ho | 2022-01-05 | 9 | -21/+191 |
* | | Prepare the terrain for evaluation of function calls in symbolic mode | Son Ho | 2022-01-05 | 2 | -74/+114 |
* | | Update the code to deserialize regions_hierarchy information | Son Ho | 2022-01-05 | 3 | -1/+37 |
* | | Remove synthesize_set_discriminant | Son Ho | 2022-01-05 | 2 | -5/+0 |
* | | Finish implementing the symbolic case of switch evaluation | Son Ho | 2022-01-05 | 2 | -45/+81 |
* | | Start working on the symbolic case of switch evaluation | Son Ho | 2022-01-05 | 1 | -19/+75 |
* | | Cleanup a bit | Son Ho | 2022-01-05 | 1 | -20/+18 |
* | | Implement the symbolic case of set_discriminant | Son Ho | 2022-01-05 | 1 | -1/+8 |
* | | Implement the symbolic case of eval_rvalue_discriminant | Son Ho | 2022-01-05 | 3 | -23/+86 |
* | | Make eval_rvalue return a list of values because of possible branchings and p... | Son Ho | 2022-01-05 | 1 | -86/+143 |
* | | Change the signatures of the eval_rvalue_... functions | Son Ho | 2022-01-05 | 1 | -14/+15 |
* | | Fix some mistakes in copy_value and type_is_primitively_copyable | Son Ho | 2022-01-05 | 1 | -5/+7 |
* | | Implement eval_binary_op_symbolic | Son Ho | 2022-01-05 | 2 | -12/+43 |
* | | Implement eval_unary_op_symbolic | Son Ho | 2022-01-05 | 3 | -4/+23 |
* | | Fix a mistake in convert_avalue_to_value | Son Ho | 2022-01-05 | 1 | -35/+27 |
* | | Update some comments | Son Ho | 2022-01-05 | 1 | -0/+4 |
* | | Add comments about symbolic values | Son Ho | 2022-01-05 | 1 | -2/+5 |
* | | Make minor modifications | Son Ho | 2022-01-05 | 1 | -10/+13 |
* | | Implement the symbolic case of copy_value | Son Ho | 2022-01-05 | 2 | -6/+36 |
* | | Cleanup a bit | Son Ho | 2022-01-05 | 1 | -6/+0 |
* | | Introduce the type_context definition | Son Ho | 2022-01-05 | 6 | -35/+53 |
* | | Update a comment | Son Ho | 2022-01-05 | 1 | -0/+2 |
* | | Add more calls to synthesis functions | Son Ho | 2022-01-05 | 2 | -1/+65 |
* | | Make progress on inserting more calls for synthesis | Son Ho | 2022-01-05 | 1 | -102/+112 |