| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Cleanup the dependencies a bit | Son Ho | 2022-01-06 | 1 | -18/+0 |
* | Move some definitions from Interpreter to InterpreterStatements | Son Ho | 2022-01-06 | 1 | -894/+1 |
* | Move some functions from Interpreter to InterpreterExpressions | Son Ho | 2022-01-06 | 1 | -437/+1 |
* | Move some definitions from Interpreter to InterpreterPaths | Son Ho | 2022-01-06 | 1 | -815/+1 |
* | Move some functions from Interpreter to InterpreterExpansion | Son Ho | 2022-01-06 | 1 | -483/+1 |
* | Move some functions from Interpreter to InterpreterBorrows | Son Ho | 2022-01-06 | 1 | -1099/+1 |
* | Move some functions from Interpreter to InterpreterProjectors | Son Ho | 2022-01-06 | 1 | -635/+2 |
* | 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 | 1 | -53/+85 |
* | 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 | 1 | -40/+67 |
* | 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 | 1 | -45/+88 |
* | Cleanup a bit | Son Ho | 2022-01-05 | 1 | -14/+12 |
* | Finish implementing eval_local_function_call_symbolic | Son Ho | 2022-01-05 | 1 | -11/+48 |
* | Make good progress on eval_local_function_call_symbolic | Son Ho | 2022-01-05 | 1 | -5/+68 |
* | Prepare the terrain for evaluation of function calls in symbolic mode | Son Ho | 2022-01-05 | 1 | -73/+111 |
* | Remove synthesize_set_discriminant | Son Ho | 2022-01-05 | 1 | -1/+0 |
* | Finish implementing the symbolic case of switch evaluation | Son Ho | 2022-01-05 | 1 | -42/+72 |
* | 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 | 1 | -20/+73 |
* | 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 | 1 | -10/+41 |
* | Implement eval_unary_op_symbolic | Son Ho | 2022-01-05 | 1 | -3/+15 |
* | Fix a mistake in convert_avalue_to_value | Son Ho | 2022-01-05 | 1 | -35/+27 |
* | Make minor modifications | Son Ho | 2022-01-05 | 1 | -10/+13 |
* | Implement the symbolic case of copy_value | Son Ho | 2022-01-05 | 1 | -3/+33 |
* | Introduce the type_context definition | Son Ho | 2022-01-05 | 1 | -10/+11 |
* | Add more calls to synthesis functions | Son Ho | 2022-01-05 | 1 | -1/+6 |
* | Make progress on inserting more calls for synthesis | Son Ho | 2022-01-05 | 1 | -102/+112 |
* | Start inserting calls to dummy synthesis functions in Interpreter.ml | Son Ho | 2022-01-05 | 1 | -22/+75 |
* | Move some functions from Interpreter to InterpreterUtils | Son Ho | 2022-01-04 | 1 | -536/+0 |
* | Update the trace | Son Ho | 2022-01-04 | 1 | -75/+1 |
* | Start working on invariant checking | Son Ho | 2022-01-04 | 1 | -0/+5 |
* | Make a minor modification | Son Ho | 2022-01-04 | 1 | -0/+1 |
* | Add a sanity check to make sure symbolic values disappear after | Son Ho | 2022-01-04 | 1 | -39/+75 |
* | Fix a few mistakes with symbolic values and their types | Son Ho | 2022-01-04 | 1 | -18/+25 |
* | Update expand_symbolic_value_shared_borrow to reborrow also in the | Son Ho | 2022-01-04 | 1 | -35/+98 |
* | Implement expand_symbolic_value_shared_borrow | Son Ho | 2022-01-04 | 1 | -2/+44 |
* | Implement the mut case of expand_symbolic_value_borrow | Son Ho | 2022-01-04 | 1 | -24/+51 |
* | Make more progress on symbolic expansion | Son Ho | 2022-01-04 | 1 | -156/+160 |
* | Make more progress on symbolic expansion | Son Ho | 2022-01-04 | 1 | -22/+57 |
* | Make progress on the symbolic expansion | Son Ho | 2022-01-04 | 1 | -4/+73 |
* | Fix a few issues with [apply_symbolic_expansion_to_avalues] | Son Ho | 2022-01-04 | 1 | -8/+29 |
* | Update a comment | Son Ho | 2022-01-04 | 1 | -1/+1 |