| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | | 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 |
* | | Start inserting calls to dummy synthesis functions in Interpreter.ml | Son Ho | 2022-01-05 | 2 | -22/+82 |
* | | Cleanup a bit | Son Ho | 2022-01-04 | 1 | -3/+2 |
* | | Finish implementing visit_typed_avalue for check_typing_invariant | Son Ho | 2022-01-04 | 1 | -12/+24 |
* | | Make good progress on visit_typed_avalue for check_typing_invariant | Son Ho | 2022-01-04 | 1 | -1/+89 |
* | | Improve check_typing_invariant to lookup borrowed/shared values and | Son Ho | 2022-01-04 | 1 | -5/+20 |
* | | Move some functions from Interpreter to InterpreterUtils | Son Ho | 2022-01-04 | 2 | -536/+536 |
* | | Finish implementing visit_typed_value for check_typing_invariant | Son Ho | 2022-01-04 | 1 | -3/+6 |
* | | Make good progress on visit_typed_value for check_typing_invariant | Son Ho | 2022-01-04 | 1 | -4/+55 |
* | | Implement check_constant_value_type | Son Ho | 2022-01-04 | 1 | -2/+8 |
* | | Start working on check_typing_invariant | Son Ho | 2022-01-04 | 1 | -1/+23 |
* | | Merge branch 'main' of github.com:Kachoc/aeneas into main | Son Ho | 2022-01-04 | 2 | -9/+1 |
|\| |
|
| * | Fix compiler warnings | Jonathan Protzenko | 2022-01-04 | 2 | -14/+6 |
* | | Implement check_borrowed_values_invariant and fix minor issues | Son Ho | 2022-01-04 | 1 | -5/+82 |
|/ |
|
* | Commit a forgotten file | Son Ho | 2022-01-04 | 1 | -0/+86 |
* | Add more checks in check_loans_borrow_relation_invariant | Son Ho | 2022-01-04 | 1 | -12/+34 |
* | Make minor modifications | Son Ho | 2022-01-04 | 1 | -1/+1 |
* | Update the trace | Son Ho | 2022-01-04 | 2 | -76/+26 |
* | Make progress on implementing check_loans_borrows_relations_invariant | Son Ho | 2022-01-04 | 1 | -5/+196 |
* | Start working on invariant checking | Son Ho | 2022-01-04 | 3 | -4/+40 |
* | 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 | 2 | -41/+85 |
* | Fix a few mistakes with symbolic values and their types | Son Ho | 2022-01-04 | 2 | -19/+34 |
* | Update expand_symbolic_value_shared_borrow to reborrow also in the | Son Ho | 2022-01-04 | 2 | -36/+101 |