| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Make more progress | Son Ho | 2022-04-27 | 2 | -14/+42 |
* | Make progress on the updates | Son Ho | 2022-04-26 | 1 | -54/+11 |
* | Introduce the Abs expression and continue updating the code | Son Ho | 2022-04-26 | 10 | -194/+249 |
* | Introduce the App expression, and make progress updating the code | Son Ho | 2022-04-26 | 10 | -124/+218 |
* | Update the README | Son Ho | 2022-04-22 | 1 | -1/+19 |
* | Update the README | Son Ho | 2022-04-22 | 1 | -1/+2 |
* | Update the README | Son Ho | 2022-04-22 | 1 | -2/+2 |
* | Update the README | Son Ho | 2022-04-22 | 1 | -15/+18 |
* | Update the README | Son Ho | 2022-04-22 | 2 | -2/+64 |
* | Make minor modifications | Son Ho | 2022-04-21 | 1 | -1/+5 |
* | Cleanup and update comments | Son Ho | 2022-04-21 | 5 | -130/+75 |
* | Regenerate the test files | Son Ho | 2022-04-21 | 6 | -86/+93 |
* | Improve the generation of names for given back values | Son Ho | 2022-04-21 | 15 | -72/+236 |
* | Work on pretty names | Son Ho | 2022-04-21 | 9 | -101/+152 |
* | Add comments | Son Ho | 2022-04-20 | 1 | -0/+7 |
* | Introduce mdplace to link meta information about the given back values | Son Ho | 2022-04-20 | 8 | -114/+212 |
* | Regenerate the test files | Son Ho | 2022-04-20 | 4 | -148/+149 |
* | 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 | 3 | -13/+46 |
* | Regenerate a test file | Son Ho | 2022-04-20 | 1 | -0/+20 |
* | Add some TODOs | Son Ho | 2022-03-18 | 1 | -0/+6 |
* | Regenerate Paper.fst | Son Ho | 2022-03-05 | 1 | -0/+16 |
* | Make an update in the hash map | Son Ho | 2022-03-05 | 2 | -9/+4 |
* | Make a minor modification | Son Ho | 2022-03-04 | 1 | -1/+1 |
* | Make minor modifications to hashmap_on_disk | Son Ho | 2022-03-04 | 1 | -9/+14 |
* | Make minor modifications | Son Ho | 2022-03-04 | 1 | -5/+5 |
* | Do the proofs about hashmap_on_disk | Son Ho | 2022-03-04 | 1 | -0/+300 |
* | Generate hashmap_on_disk | Son Ho | 2022-03-04 | 8 | -0/+1733 |
* | Fix minor issues for the translation of hashmap_on_disk | Son Ho | 2022-03-04 | 3 | -30/+82 |
* | Make minor modifications to the variable names generation | Son Ho | 2022-03-04 | 3 | -4/+13 |
* | Commit the translation of external.rs | Son Ho | 2022-03-04 | 3 | -0/+88 |
* | Fix a minor issue with external function declarations | Son Ho | 2022-03-04 | 2 | -1/+25 |
* | 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 |
* | Make minor modifications in the Makefile | Son Ho | 2022-03-03 | 1 | -3/+3 |
* | Update the Makefile to call Charon's Makefile on the tests | Son Ho | 2022-03-03 | 1 | -15/+6 |
* | Change the extension of the serialized files to .llbc | Son Ho | 2022-03-03 | 4 | -42/+42 |
* | 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 |