| Commit message (Expand) | Author | Age | Files | Lines |
* | Print the generated file headers with Printf rather than the formatter | Son Ho | 2022-02-10 | 1 | -32/+19 |
* | Make more improvements to formatting | Son Ho | 2022-02-10 | 1 | -6/+18 |
* | Make more improvements to formatting | Son Ho | 2022-02-10 | 1 | -12/+14 |
* | Make slight improvements to formatting | Son Ho | 2022-02-10 | 1 | -2/+2 |
* | Improve slightly more the formatting | Son Ho | 2022-02-10 | 1 | -3/+6 |
* | Slightly improve formatting | Son Ho | 2022-02-10 | 1 | -1/+9 |
* | Add an option to deactivate the invariant checks | Son Ho | 2022-02-10 | 1 | -6/+10 |
* | Make minor updates to deserialization | Son Ho | 2022-02-10 | 3 | -13/+22 |
* | Add a comment | Son Ho | 2022-02-09 | 1 | -1/+2 |
* | Make minor modifications and cleanup | Son Ho | 2022-02-09 | 2 | -3/+9 |
* | Add a comment | Son Ho | 2022-02-09 | 1 | -0/+1 |
* | Cleanup a bit | Son Ho | 2022-02-09 | 4 | -84/+57 |
* | Make a minor modification | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Implement extration to different files | Son Ho | 2022-02-09 | 2 | -41/+127 |
* | Implement generation of template decrease clauses | Son Ho | 2022-02-09 | 2 | -5/+108 |
* | Implement the generation of `decreases` clauses in the definition | Son Ho | 2022-02-09 | 5 | -20/+93 |
* | Start implementing selection of the extracted definitions | Son Ho | 2022-02-09 | 1 | -37/+49 |
* | Add more command line arguments for the decrease clauses | Son Ho | 2022-02-09 | 2 | -0/+26 |
* | Start working on making the extraction more modular in order to generate | Son Ho | 2022-02-09 | 1 | -85/+120 |
* | Add logging information | Son Ho | 2022-02-09 | 2 | -20/+26 |
* | Start working on the generation of decrease clauses | Son Ho | 2022-02-09 | 3 | -2/+63 |
* | Introduce a translation config in Translate.ml | Son Ho | 2022-02-09 | 2 | -19/+30 |
* | Make minor improvements to the generated files | Son Ho | 2022-02-09 | 1 | -2/+5 |
* | Improve a bit the quality of the generated code by adjusting the | Son Ho | 2022-02-09 | 3 | -45/+34 |
* | Make minor modifications in InterpreterStatements | Son Ho | 2022-02-09 | 1 | -4/+11 |
* | Update the Makefile so as not to generate and check traces anymore | Son Ho | 2022-02-09 | 1 | -14/+14 |
* | Make minor modifications | Son Ho | 2022-02-09 | 3 | -15/+15 |
* | Implement filtering of useless forward functions | Son Ho | 2022-02-09 | 4 | -59/+165 |
* | Update a comment | Son Ho | 2022-02-09 | 1 | -1/+3 |
* | Make minor modifications with regards to unit tests | Son Ho | 2022-02-09 | 1 | -3/+4 |
* | Implement the symbolic expansion of Option values | Son Ho | 2022-02-09 | 1 | -0/+28 |
* | Replace some instances of failwith with `raise (Failure ...)` | Son Ho | 2022-02-09 | 1 | -16/+21 |
* | Add a check to detect if forward/backward translations are mutually | Son Ho | 2022-02-09 | 1 | -1/+10 |
* | Add definitions to Primitives.fst and start on improving/fixing the | Son Ho | 2022-02-09 | 6 | -49/+56 |
* | Fix a few more mistakes | Son Ho | 2022-02-08 | 1 | -9/+15 |
* | Fix some mistakes in the type conversion to pure | Son Ho | 2022-02-08 | 4 | -14/+53 |
* | Add type checking utilities for the pure ADT | Son Ho | 2022-02-08 | 4 | -68/+224 |
* | Fix a minor issue | Son Ho | 2022-02-08 | 1 | -1/+0 |
* | Fix another issue in set_discriminant | Son Ho | 2022-02-08 | 1 | -3/+17 |
* | Add an option to allow the presence of bottom values below borrows | Son Ho | 2022-02-08 | 9 | -4/+71 |
* | Add PrePasses.ml which was forgotten in a previous commit | Son Ho | 2022-02-08 | 1 | -0/+50 |
* | Fix more issues | Son Ho | 2022-02-08 | 4 | -33/+49 |
* | Fix some issues in Invariants | Son Ho | 2022-02-08 | 1 | -3/+11 |
* | Update some code in Print for Option | Son Ho | 2022-02-08 | 1 | -0/+10 |
* | Update the projection functions to take into account the option type | Son Ho | 2022-02-08 | 1 | -19/+28 |
* | Implement pre-passes to update the AST before executing the interpreter | Son Ho | 2022-02-08 | 4 | -3/+7 |
* | Make a minor modification to `drop_value` | Son Ho | 2022-02-08 | 1 | -2/+5 |
* | Make minor modifications | Son Ho | 2022-02-08 | 2 | -2/+8 |
* | Update the Makefile to add hashmap as a test and fix some issues | Son Ho | 2022-02-08 | 2 | -5/+19 |
* | Make a minor modifications to Makefile and main.ml | Son Ho | 2022-02-08 | 1 | -2/+2 |