| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | 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 | 3 | -6/+26 |
* | Make a minor modifications to Makefile and main.ml | Son Ho | 2022-02-08 | 2 | -3/+3 |
* | Fix some issues | Son Ho | 2022-02-08 | 8 | -88/+124 |
* | Make progress on implementing support for types and functions like | Son Ho | 2022-02-08 | 9 | -35/+79 |
* | Make a minor update in InterpreterExpansion | Son Ho | 2022-02-08 | 1 | -0/+3 |
* | Start adding more assumed types and functions | Son Ho | 2022-02-08 | 15 | -124/+426 |
* | Make a minor modification to account a change in function namings from | Son Ho | 2022-02-07 | 1 | -1/+1 |
* | Add a Makefile in examples/misc | Son Ho | 2022-02-07 | 1 | -0/+15 |
* | Make minor modifications to the tests | Son Ho | 2022-02-07 | 1 | -0/+4 |
* | Add tests for the hashmap | Son Ho | 2022-02-07 | 2 | -3/+16 |
* | Start working on a hashmap example in Rust | Son Ho | 2022-02-07 | 3 | -0/+184 |
* | Implement printing of debugging messages in case of name clashes | Son Ho | 2022-02-07 | 1 | -22/+116 |
* | Make more minor modifications | Son Ho | 2022-02-07 | 1 | -1/+3 |
* | Make minor modifications to Primitives.fst | Son Ho | 2022-02-07 | 1 | -1/+2 |
* | Update the Makefile | Son Ho | 2022-02-04 | 1 | -10/+12 |
* | Improve the command line arguments | Son Ho | 2022-02-04 | 2 | -27/+62 |
* | Make a minor modification | Son Ho | 2022-02-04 | 1 | -2/+2 |
* | Work on decomposition of monadic let-bindings for F* | Son Ho | 2022-02-04 | 5 | -6/+114 |
* | Make the micro passes config a parameter of Translate.translate_module | Son Ho | 2022-02-04 | 2 | -12/+17 |
* | Add generation of unit tests for the synthesized functions | Son Ho | 2022-02-04 | 3 | -25/+86 |
* | Make minor modifications with regards to logging | Son Ho | 2022-02-04 | 1 | -0/+1 |
* | Deactivate some logs | Son Ho | 2022-02-04 | 1 | -4/+4 |
* | Remove the `open FStar.Mul` line from the generated files | Son Ho | 2022-02-04 | 1 | -2/+0 |
* | Merge the switches over integers and the matches over enumerations in | Son Ho | 2022-02-04 | 6 | -97/+36 |
* | Register the names of the integer types and ops to detect name clashes in | Son Ho | 2022-02-04 | 2 | -37/+65 |
* | Update SymbolicToPure so that we don't construct tuples with exactly one | Son Ho | 2022-02-04 | 5 | -32/+57 |
* | Fix a small issue with the types of tuple values in | Son Ho | 2022-02-04 | 2 | -14/+42 |
* | Filter the backward functions with no outputs in the micro passes | Son Ho | 2022-02-04 | 1 | -46/+66 |
* | Make a minor modification | Son Ho | 2022-02-03 | 1 | -1/+0 |
* | Make a minor improvement in printing | Son Ho | 2022-02-03 | 2 | -4/+13 |
* | Make mor modifications | Son Ho | 2022-02-03 | 2 | -1/+13 |
* | Fix a small issue with the unit type | Son Ho | 2022-02-03 | 2 | -5/+12 |
* | Update the .gitignore | Son Ho | 2022-02-03 | 1 | -1/+3 |
* | Fix an issue with the assumed box functions being considered as monadic | Son Ho | 2022-02-03 | 2 | -6/+17 |
* | Make minor modifications | Son Ho | 2022-02-03 | 3 | -3/+7 |
* | Rename Assumed.fst to Primitives.fst and make progress on that | Son Ho | 2022-02-03 | 4 | -118/+241 |