| Commit message (Expand) | Author | Files | Lines |
2022-10-28 | Move some files to the Charon project | Son Ho | 1 | -139/+1 |
2022-10-27 | Reorganize a bit the project | Son Ho | 1 | -0/+0 |
2022-10-26 | Update the code documentation to fix links and syntax issues | Son Ho | 1 | -8/+8 |
2022-09-22 | Reformat the project with dune | Son Ho | 1 | -32/+0 |
2022-04-26 | Introduce the Abs expression and continue updating the code | Son Ho | 1 | -1/+1 |
2022-03-04 | Fix a small issue with PureMicroPasses.get_body_min_var_counter | Son Ho | 1 | -3/+1 |
2022-03-03 | Move the names from Identifiers to Names | Son Ho | 1 | -38/+0 |
2022-02-24 | Update the way function names are handled | Son Ho | 1 | -0/+19 |
2022-02-04 | Work on decomposition of monadic let-bindings for F* | Son Ho | 1 | -2/+6 |
2022-01-28 | Implement get_expression_min_var_counter | Son Ho | 1 | -0/+16 |
2022-01-27 | Implement Translate.translate_function | Son Ho | 1 | -0/+1 |
2022-01-26 | Start actually generating symbolic ASTs for the backward functions | Son Ho | 1 | -0/+4 |
2022-01-24 | Start working on translation of the type definitions | Son Ho | 1 | -1/+1 |
2022-01-24 | Start working on name generation for the synthesis | Son Ho | 1 | -1/+16 |
2022-01-18 | Derive ord for the types | Son Ho | 1 | -0/+4 |
2022-01-15 | Use the new collections | Son Ho | 1 | -98/+26 |
2022-01-15 | Start working on Collections.ml | Son Ho | 1 | -0/+2 |
2022-01-14 | Implement greedy expansion of symbolic variables and expansion before | Son Ho | 1 | -5/+34 |
2022-01-14 | Start working on greedy symbolic value expansion and expansion before | Son Ho | 1 | -2/+34 |
2022-01-13 | Fix a small bug in projections_intersect and add more debugging output | Son Ho | 1 | -0/+2 |
2022-01-06 | Make the symbolic, borrow, region and abstration counters global and | Son Ho | 1 | -0/+11 |
2022-01-04 | Implement expand_symbolic_value_shared_borrow | Son Ho | 1 | -0/+1 |
2022-01-04 | Implement compute_expanded_symbolic_adt_value | Son Ho | 1 | -1/+1 |
2022-01-03 | Start working on end_abstraction | Son Ho | 1 | -1/+1 |
2021-11-30 | Remove the vector type for the Id module | Son Ho | 1 | -58/+7 |
2021-11-30 | Make minor modifications | Son Ho | 1 | -0/+2 |
2021-11-29 | Derive more debugging facilities | Son Ho | 1 | -1/+16 |
2021-11-29 | Start deriving formatters for debugging | Son Ho | 1 | -4/+17 |
2021-11-29 | Start working logging and make progress on printing ASTs | Son Ho | 1 | -2/+0 |
2021-11-26 | Implement test_unit_function | Son Ho | 1 | -0/+4 |
2021-11-26 | Make progress on evaluate_non_local_function_call | Son Ho | 1 | -0/+9 |
2021-11-25 | Implement various substitution functions | Son Ho | 1 | -8/+19 |
2021-11-24 | Implement the discriminant case of eval_rvalue | Son Ho | 1 | -0/+4 |
2021-11-24 | Start refactoring the code | Son Ho | 1 | -0/+8 |
2021-11-23 | Write utilities for the scalars | Son Ho | 1 | -1/+6 |
2021-11-23 | Implement formatting for eval_ctx | Son Ho | 1 | -0/+8 |
2021-11-23 | Define evaluation contexts | Son Ho | 1 | -1/+8 |
2021-11-23 | Implement update_env_at_place | Son Ho | 1 | -0/+4 |
2021-11-23 | Implement expand_bottom_value | Son Ho | 1 | -0/+4 |
2021-11-23 | Cleanup a bit | Son Ho | 1 | -0/+4 |
2021-11-23 | Change the way exceptions are used | Son Ho | 1 | -1/+1 |
2021-11-22 | Make progress on write_projection | Son Ho | 1 | -0/+10 |
2021-11-22 | Make progress on {read,write}_path | Son Ho | 1 | -0/+4 |
2021-11-22 | Start working on printing for avalues | Son Ho | 1 | -0/+6 |
2021-11-18 | Start working on end_borrow | Son Ho | 1 | -0/+8 |
2021-11-18 | Add an Errors.ml file | Son Ho | 1 | -3/+1 |
2021-11-18 | Start working on the values for the interpreter | Son Ho | 1 | -2/+10 |
2021-11-18 | Factorize the deserialization code a bit | Son Ho | 1 | -20/+2 |
2021-11-18 | Cleanup a bit | Son Ho | 1 | -27/+0 |
2021-11-18 | Remove the automatic derivation of Yojson (de)serializers | Son Ho | 1 | -16/+5 |