| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Make progress on eval_rvalue and update aggregate_kind | Son Ho | 2021-11-24 | 3 | -17/+90 |
* | Implement the discriminant case of eval_rvalue | Son Ho | 2021-11-24 | 2 | -5/+25 |
* | Implement eval_binary_op | Son Ho | 2021-11-24 | 6 | -94/+97 |
* | Update eval_rvalue to handle unary_op | Son Ho | 2021-11-24 | 1 | -5/+5 |
* | Implement eval_unary_op | Son Ho | 2021-11-24 | 4 | -42/+69 |
* | Make minor modifications | Son Ho | 2021-11-24 | 1 | -8/+21 |
* | Make a minor comment modification | Son Ho | 2021-11-24 | 1 | -1/+1 |
* | Implement the TwoPhaseMut case in eval_rvalue | Son Ho | 2021-11-24 | 1 | -5/+8 |
* | Make progress on eval_rvalue | Son Ho | 2021-11-24 | 1 | -2/+20 |
* | Start working on eval_rvalue | Son Ho | 2021-11-24 | 1 | -10/+38 |
* | Update eval_operand | Son Ho | 2021-11-24 | 1 | -9/+3 |
* | Update update_env_along_{read,write}_place | Son Ho | 2021-11-24 | 1 | -9/+12 |
* | Update expand_bottom_value | Son Ho | 2021-11-24 | 1 | -241/+15 |
* | Implement {read,write}_place by using access_place | Son Ho | 2021-11-24 | 1 | -6/+55 |
* | Implement access_place | Son Ho | 2021-11-24 | 1 | -0/+21 |
* | Implement a general access_projection function | Son Ho | 2021-11-24 | 1 | -106/+151 |
* | Start refactoring the code | Son Ho | 2021-11-24 | 4 | -189/+494 |
* | Insert some sanity checks | Son Ho | 2021-11-24 | 1 | -0/+3 |
* | Update activate_inactivated_mut_borrow | Son Ho | 2021-11-24 | 2 | -42/+103 |
* | Start working on eval_rvalue | Son Ho | 2021-11-23 | 1 | -2/+28 |
* | Implement eval_operand | Son Ho | 2021-11-23 | 1 | -7/+9 |
* | Start working on eval_operand | Son Ho | 2021-11-23 | 1 | -13/+49 |
* | Add comments and update other comments | Son Ho | 2021-11-23 | 1 | -14/+41 |
* | Change some function signatures | Son Ho | 2021-11-23 | 1 | -37/+37 |
* | Perform minor modifications and add comments | Son Ho | 2021-11-23 | 1 | -7/+21 |
* | Finish implementing constant_value_to_typed_value | Son Ho | 2021-11-23 | 2 | -76/+11 |
* | Add more utilities for scalars and add range tests in CfimOfJson | Son Ho | 2021-11-23 | 3 | -43/+186 |
* | Write utilities for the scalars | Son Ho | 2021-11-23 | 4 | -5/+218 |
* | Implement copy_value | Son Ho | 2021-11-23 | 2 | -4/+89 |
* | Implement formatting for eval_ctx | Son Ho | 2021-11-23 | 3 | -16/+119 |
* | Move some definitions to Contexts.ml and reactivate the warnings | Son Ho | 2021-11-23 | 3 | -45/+52 |
* | Define evaluation contexts | Son Ho | 2021-11-23 | 2 | -1/+28 |
* | Fix drop_borrows_at_place | Son Ho | 2021-11-23 | 1 | -48/+120 |
* | Start implementing drop_borrows_at_place | Son Ho | 2021-11-23 | 1 | -0/+66 |
* | Rename update_env_at_place to collect_borrows_at_place | Son Ho | 2021-11-23 | 1 | -4/+5 |
* | Implement update_env_at_place | Son Ho | 2021-11-23 | 2 | -4/+79 |
* | Implement update_env_along_write_place | Son Ho | 2021-11-23 | 1 | -0/+26 |
* | Implement expand_bottom_value | Son Ho | 2021-11-23 | 4 | -3/+105 |
* | Merge some functions together | Son Ho | 2021-11-23 | 1 | -17/+16 |
* | Cleanup a bit | Son Ho | 2021-11-23 | 2 | -70/+80 |
* | Start implementing update_env_along_read_place | Son Ho | 2021-11-23 | 1 | -0/+29 |
* | Change the way exceptions are used | Son Ho | 2021-11-23 | 4 | -40/+34 |
* | Activate exception backtrace | Son Ho | 2021-11-23 | 2 | -1/+20 |
* | Implement write_place | Son Ho | 2021-11-23 | 1 | -43/+6 |
* | Add a comment | Son Ho | 2021-11-22 | 1 | -0/+1 |
* | Make progress on write_projection | Son Ho | 2021-11-22 | 2 | -1/+92 |
* | Make minor modifications | Son Ho | 2021-11-22 | 1 | -4/+6 |
* | Uncomment read_place | Son Ho | 2021-11-22 | 1 | -1/+1 |
* | Make progress on {read,write}_path | Son Ho | 2021-11-22 | 5 | -35/+148 |
* | Implement read_path | Son Ho | 2021-11-22 | 1 | -12/+108 |