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