| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Update the termination proofs of the betree | Son Ho | 2022-05-09 | 2 | -26/+110 |
* | Update the extraction to set the fuel to 1 in the Z3 options | Son Ho | 2022-05-06 | 17 | -18/+18 |
* | Make the betree work | Son Ho | 2022-05-06 | 3 | -368/+405 |
* | Regenerate the F* for external.rs | Son Ho | 2022-05-06 | 2 | -2/+2 |
* | Don't use the Rust disambiguators when generating names at extraction | Son Ho | 2022-05-06 | 2 | -3/+12 |
* | Regenerate the F* files for the betree | Son Ho | 2022-05-06 | 1 | -38/+73 |
* | Regenerate the F* files for external.rs | Son Ho | 2022-05-06 | 1 | -2/+14 |
* | Add an option to eagerly end abstractions if a function has return type | Son Ho | 2022-05-06 | 4 | -2/+61 |
* | Factorize some code in InterpreterBorrows* | Son Ho | 2022-05-06 | 2 | -49/+77 |
* | Add comments in FunsAnalysis | Son Ho | 2022-05-06 | 1 | -2/+8 |
* | Update the Makefile for the betree | Son Ho | 2022-05-06 | 1 | -1/+5 |
* | Generate F* files for the betree | Son Ho | 2022-05-06 | 6 | -0/+2230 |
* | Make minor fixes | Son Ho | 2022-05-05 | 3 | -4/+28 |
* | Update the hashmap_on_disk example | Son Ho | 2022-05-05 | 4 | -771/+240 |
* | Regenerate the F* files for external.rs | Son Ho | 2022-05-05 | 1 | -2/+17 |
* | Update the translation so that we use a state only in the functions | Son Ho | 2022-05-05 | 2 | -35/+42 |
* | Start implementing divergence, can_fail, statefullness analyses | Son Ho | 2022-05-04 | 5 | -36/+135 |
* | Make minor modifications | Son Ho | 2022-05-04 | 5 | -29/+24 |
* | Make minor modifications | Son Ho | 2022-05-04 | 4 | -35/+28 |
* | Regenerate the F* files for hashmap_main.rs | Son Ho | 2022-05-04 | 1 | -180/+241 |
* | Fix various issues when using a state | Son Ho | 2022-05-04 | 2 | -30/+12 |
* | Fix more issues | Son Ho | 2022-05-04 | 2 | -32/+12 |
* | Regenerate the F* files for the external.rs test | Son Ho | 2022-05-04 | 2 | -7/+46 |
* | Fix some issues when using states | Son Ho | 2022-05-04 | 3 | -72/+84 |
* | Make progress updating the code | Son Ho | 2022-05-04 | 5 | -194/+76 |
* | Start updating the way the function return type (with errors and states) | Son Ho | 2022-05-04 | 4 | -182/+278 |
* | Move the type-checking functions for pure AST to PureTypeCheck.ml | Son Ho | 2022-05-01 | 3 | -149/+179 |
* | Improve type-checking | Son Ho | 2022-05-01 | 1 | -10/+23 |
* | Do more cleanup | Son Ho | 2022-05-01 | 4 | -28/+31 |
* | Cleanup | Son Ho | 2022-05-01 | 6 | -106/+47 |
* | Perform more renamings | Son Ho | 2022-05-01 | 4 | -16/+14 |
* | Perform some renamings | Son Ho | 2022-05-01 | 10 | -83/+76 |
* | Rename "lvalue" to "pattern" | Son Ho | 2022-05-01 | 6 | -160/+159 |
* | Regenerate some of the test files | Son Ho | 2022-05-01 | 2 | -9/+8 |
* | Fix a minor issue when extracting files | Son Ho | 2022-05-01 | 1 | -6/+6 |
* | Make a minor modification | Son Ho | 2022-05-01 | 1 | -1/+1 |
* | Make more progress propagating the changes | Son Ho | 2022-04-29 | 5 | -112/+151 |
* | Add ConstStrings.ml | Son Ho | 2022-04-29 | 1 | -0/+7 |
* | Make progress on PureMicroPasses | Son Ho | 2022-04-29 | 2 | -169/+143 |
* | Make good progress updating the code | Son Ho | 2022-04-29 | 4 | -155/+186 |
* | Merge the rvalues with the expressions | Son Ho | 2022-04-29 | 5 | -371/+497 |
* | Make minor modifications | Son Ho | 2022-04-27 | 2 | -3/+73 |
* | Make a minor modification | Son Ho | 2022-04-27 | 1 | -1/+3 |
* | Fix a minor issue | Son Ho | 2022-04-27 | 1 | -1/+2 |
* | Fix various bugs when extracting with a state monad | Son Ho | 2022-04-27 | 5 | -52/+146 |
* | Make minor modifications | Son Ho | 2022-04-27 | 1 | -4/+5 |
* | Update formatting | Son Ho | 2022-04-27 | 1 | -12/+6 |
* | Make minor modifications to formatting | Son Ho | 2022-04-27 | 1 | -37/+35 |
* | Fix the filtering of useless backward functions | Son Ho | 2022-04-27 | 1 | -1/+6 |
* | Make minor updates | Son Ho | 2022-04-27 | 2 | -1/+1 |