| Commit message (Expand) | Author | Age | Files | Lines |
* | Introduce mdplace to link meta information about the given back values | Son Ho | 2022-04-20 | 8 | -114/+212 |
* | Improve the generation of pretty names by correctly using the | Son Ho | 2022-04-20 | 4 | -23/+30 |
* | Improve PrintPure.ml | Son Ho | 2022-04-20 | 1 | -6/+7 |
* | Update the evaluation of matches for the cases where the scrutinee is a | Son Ho | 2022-04-20 | 2 | -13/+32 |
* | Fix minor issues for the translation of hashmap_on_disk | Son Ho | 2022-03-04 | 2 | -12/+60 |
* | Make minor modifications to the variable names generation | Son Ho | 2022-03-04 | 2 | -3/+12 |
* | Fix a minor issue with external function declarations | Son Ho | 2022-03-04 | 1 | -0/+21 |
* | Fix a small issue with PureMicroPasses.get_body_min_var_counter | Son Ho | 2022-03-04 | 3 | -19/+21 |
* | Fix a minor issue | Son Ho | 2022-03-04 | 1 | -6/+9 |
* | Fix minor issues when using the state-error monad | Son Ho | 2022-03-04 | 2 | -7/+85 |
* | Fix minor issues with regards to extraction of opaque types | Son Ho | 2022-03-04 | 2 | -15/+21 |
* | Fix minor mistakes with regards to extraction of external declarations | Son Ho | 2022-03-04 | 5 | -45/+68 |
* | Update the code to create missing directories upon export | Son Ho | 2022-03-04 | 2 | -1/+8 |
* | Change the extension of the serialized files to .llbc | Son Ho | 2022-03-03 | 2 | -2/+2 |
* | Fix minor issues | Son Ho | 2022-03-03 | 2 | -4/+8 |
* | In fun_id rename the variant Local to Regular | Son Ho | 2022-03-03 | 12 | -26/+27 |
* | Update SymbolicToPure and Translate | Son Ho | 2022-03-03 | 2 | -89/+123 |
* | Make good progress on adding support for external and opaque | Son Ho | 2022-03-03 | 15 | -354/+475 |
* | Rename CfimOfJson to LlbcOfJson | Son Ho | 2022-03-03 | 4 | -3/+16 |
* | Rename CFIM to LLBC | Son Ho | 2022-03-03 | 25 | -74/+74 |
* | Finish updating Translate and ExtractToFStar | Son Ho | 2022-03-03 | 2 | -21/+36 |
* | Make good progress updating Translate | Son Ho | 2022-03-03 | 2 | -9/+94 |
* | Add an Opaque variant to type_decl_kind and start updating the code | Son Ho | 2022-03-03 | 11 | -35/+60 |
* | Cleanup a bit | Son Ho | 2022-03-03 | 1 | -31/+0 |
* | Update the name definition to use path_elem | Son Ho | 2022-03-03 | 5 | -57/+114 |
* | Move the names from Identifiers to Names | Son Ho | 2022-03-03 | 10 | -54/+63 |
* | Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl | Son Ho | 2022-03-03 | 29 | -459/+463 |
* | Update a comment | Son Ho | 2022-03-03 | 1 | -1/+1 |
* | Fix minor issues due to updates in Charon | Son Ho | 2022-02-28 | 1 | -1/+1 |
* | Update the way function names are handled | Son Ho | 2022-02-24 | 16 | -36/+91 |
* | Finish writing the code which generates the state-error monad | Son Ho | 2022-02-24 | 3 | -1/+40 |
* | Start working on generating code which uses a state-error monad | Son Ho | 2022-02-23 | 6 | -36/+154 |
* | Add an option to control the translation to error monad or state-error | Son Ho | 2022-02-23 | 2 | -5/+16 |
* | Add the `State` assumed type in Pure.ml | Son Ho | 2022-02-23 | 5 | -9/+35 |
* | Make a minor modification | Son Ho | 2022-02-23 | 1 | -2/+3 |
* | Improve variable name generation | Son Ho | 2022-02-23 | 1 | -3/+15 |
* | Add a comment | Son Ho | 2022-02-23 | 1 | -1/+18 |
* | Inline more let-bindings and improve formatting | Son Ho | 2022-02-23 | 2 | -16/+46 |
* | Improve the code generation by inlining more let-bindings | Son Ho | 2022-02-23 | 2 | -38/+114 |
* | Improve pretty-printing of environments by filtering and grouping values | Son Ho | 2022-02-23 | 3 | -4/+68 |
* | Add comments | Son Ho | 2022-02-23 | 1 | -0/+2 |
* | Update some comments | Son Ho | 2022-02-22 | 1 | -21/+8 |
* | Make the interpreter pop the frame after executing a function body (for | Son Ho | 2022-02-22 | 2 | -12/+15 |
* | Add support for "fused" match branches | Son Ho | 2022-02-22 | 4 | -9/+26 |
* | 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 |