| Commit message (Expand) | Author | Age | Files | Lines |
... | |
| * | Address much stuff of the PR, throw exceptions at remaining places | Sidney Congard | 2022-07-18 | 16 | -112/+172 |
| * | Apply small changes from the PR | Sidney Congard | 2022-07-13 | 4 | -9/+12 |
| * | Remove last prints, adapt JSON | Sidney Congard | 2022-07-05 | 6 | -201/+206 |
| * | Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2 | Sidney Congard | 2022-06-30 | 30 | -420/+790 |
| |\ |
|
| * | | Traduct globals body separately (WIP) | Sidney Congard | 2022-06-30 | 14 | -194/+215 |
| * | | adapt to new LLBC (without OperandConstantValue) | Sidney Congard | 2022-06-23 | 3 | -33/+46 |
| * | | concrete & symbolic evaluation work with new LLBC format | Sidney Congard | 2022-06-21 | 24 | -308/+380 |
| * | | crude generation working - missing unit tests & special constants handling | Sidney Congard | 2022-06-13 | 6 | -54/+75 |
| * | | read globals from LLBC JSON into functions | Sidney Congard | 2022-06-08 | 20 | -80/+161 |
* | | | Add a license | Son HO | 2022-09-14 | 1 | -0/+201 |
| |/
|/| |
|
* | | Take failing rvalues into account in FunsAnalysis.analyze_fun_decls | Son Ho | 2022-06-30 | 4 | -19/+22 |
* | | Make minor modifications | Son Ho | 2022-06-29 | 4 | -6/+46 |
* | | Add `can_end` in `abs` and use it for the return abs when generating the | Son Ho | 2022-06-27 | 5 | -33/+59 |
* | | Update eval_operand_prepare to not give a value to the continuation | Son Ho | 2022-06-27 | 4 | -109/+181 |
* | | Update the Makefiles | Son Ho | 2022-06-27 | 5 | -20/+5 |
* | | Update the .gitignore file | Son Ho | 2022-06-20 | 1 | -0/+4 |
* | | Make minor modifications | Son Ho | 2022-06-20 | 1 | -2/+2 |
* | | Add makefiles to test the F* files | Son Ho | 2022-06-20 | 7 | -6/+283 |
* | | Remove a comment | Son Ho | 2022-06-20 | 1 | -189/+0 |
* | | Update the README | Son Ho | 2022-06-14 | 1 | -3/+2 |
* | | Update the README | Son Ho | 2022-06-14 | 1 | -9/+7 |
|/ |
|
* | Update the installation instructions | Son Ho | 2022-05-31 | 1 | -1/+1 |
* | correct previous commit typo | Sidney Congard | 2022-05-23 | 1 | -1/+1 |
* | added .vscode folder to .gitignore | Sidney Congard | 2022-05-23 | 1 | -1/+2 |
* | Fix an issue when extracting assumed values | Son Ho | 2022-05-16 | 1 | -1/+1 |
* | Regenerate the F* files | Son Ho | 2022-05-15 | 10 | -194/+130 |
* | Add a pass to cleanup the deconstructed ADTs and fix a small issue | Son Ho | 2022-05-15 | 4 | -13/+113 |
* | Treat integer casts in a general manner | Son Ho | 2022-05-15 | 15 | -50/+99 |
* | Regenerate a test file | Son Ho | 2022-05-15 | 1 | -6/+8 |
* | Add AggregatedOption | Son Ho | 2022-05-15 | 5 | -8/+37 |
* | Make minor modifications | Son Ho | 2022-05-10 | 3 | -8/+10 |
* | Use the core_unix package instead of core | Son Ho | 2022-05-10 | 2 | -2/+2 |
* | Make minor modifications | Son Ho | 2022-05-09 | 1 | -4/+6 |
* | 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 |