| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 | 2 | -7/+11 |
* | Make minor progress | Son Ho | 2022-02-10 | 1 | -2/+12 |
* | Start working on HashMap.Properties.fst | Son Ho | 2022-02-10 | 1 | -0/+235 |
* | Update Primitives.fst | Son Ho | 2022-02-10 | 1 | -1/+10 |
* | Move the generated files to subdirectories | Son Ho | 2022-02-10 | 2 | -1/+4 |
* | Start working on the hash map proofs | Son Ho | 2022-02-10 | 1 | -0/+59 |
* | 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 | 5 | -85/+58 |
* | Make a minor modification | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Implement extration to different files | Son Ho | 2022-02-09 | 3 | -42/+128 |
* | 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 | 3 | -2/+28 |
* | 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 |
* | Fix the Makefile to make sure the translation options are correct | Son Ho | 2022-02-09 | 1 | -2/+3 |
* | Update the Makefile to make it more generic | Son Ho | 2022-02-09 | 1 | -14/+24 |
* | Update the Makefile so as not to generate and check traces anymore | Son Ho | 2022-02-09 | 2 | -31/+16 |
* | 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 |
* | Remove the hashmap example (which was moved to Charon) | Son Ho | 2022-02-09 | 4 | -218/+0 |
* | Make minor modifications with regards to unit tests | Son Ho | 2022-02-09 | 2 | -4/+5 |
* | 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 | 7 | -49/+105 |
* | 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 | 5 | -33/+52 |
* | 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 |