| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | | crude generation working - missing unit tests & special constants handling | Sidney Congard | 2022-06-13 | 1 | -2/+5 |
|/ |
|
* | Update the Makefile for the betree | Son Ho | 2022-05-06 | 1 | -1/+5 |
* | Fix minor issues for the translation of hashmap_on_disk | Son Ho | 2022-03-04 | 1 | -18/+22 |
* | Fix a minor issue with external function declarations | Son Ho | 2022-03-04 | 1 | -1/+4 |
* | 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 | 1 | -15/+15 |
* | Fix minor issues due to updates in Charon | Son Ho | 2022-02-28 | 1 | -1/+2 |
* | Add the betree_nll.rs test | Son Ho | 2022-02-26 | 1 | -0/+13 |
* | Start updating the Makefile for the NLL tests | Son Ho | 2022-02-26 | 1 | -5/+17 |
* | Finish writing the code which generates the state-error monad | Son Ho | 2022-02-24 | 1 | -1/+1 |
* | Add an option to control the translation to error monad or state-error | Son Ho | 2022-02-23 | 1 | -9/+10 |
* | Make minor modifications to the Makefile | Son Ho | 2022-02-23 | 1 | -1/+4 |
* | Add support for "fused" match branches | Son Ho | 2022-02-22 | 1 | -1/+2 |
* | Merge branch 'main' of github.com:Kachoc/aeneas into main | Son Ho | 2022-02-18 | 1 | -3/+3 |
|\ |
|
| * | More stuff for the paper + interactive mode makefile | Jonathan Protzenko | 2022-02-17 | 1 | -3/+3 |
* | | Update the Makefile | Son Ho | 2022-02-18 | 1 | -3/+4 |
|/ |
|
* | Add an option to deactivate the invariant checks | Son Ho | 2022-02-10 | 1 | -1/+1 |
* | Move the generated files to subdirectories | Son Ho | 2022-02-10 | 1 | -1/+4 |
* | Cleanup a bit | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Implement extration to different files | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Add more command line arguments for the decrease clauses | Son Ho | 2022-02-09 | 1 | -2/+2 |
* | Fix the Makefile to make sure the translation options are correct | Son Ho | 2022-02-09 | 1 | -2/+3 |
* | Update the Makefile to make it more generic | Son Ho | 2022-02-09 | 1 | -14/+24 |
* | Update the Makefile so as not to generate and check traces anymore | Son Ho | 2022-02-09 | 1 | -17/+2 |
* | Make minor modifications with regards to unit tests | Son Ho | 2022-02-09 | 1 | -1/+1 |
* | Update the Makefile to add hashmap as a test and fix some issues | Son Ho | 2022-02-08 | 1 | -1/+7 |
* | Make a minor modifications to Makefile and main.ml | Son Ho | 2022-02-08 | 1 | -1/+1 |
* | Make progress on implementing support for types and functions like | Son Ho | 2022-02-08 | 1 | -5/+5 |
* | Update the Makefile | Son Ho | 2022-02-04 | 1 | -10/+12 |
* | Fix an issue with the assumed box functions being considered as monadic | Son Ho | 2022-02-03 | 1 | -4/+4 |
* | Make minor modifications | Son Ho | 2022-02-03 | 1 | -2/+4 |
* | Update the Makefile | Son Ho | 2022-01-29 | 1 | -4/+3 |
* | Change the test file to no_nested_borrows.cfim | Son Ho | 2022-01-26 | 1 | -3/+8 |
* | Update the Makefile to always regenerate the cfim file | Son Ho | 2022-01-06 | 1 | -2/+6 |
* | Update the trace | Son Ho | 2022-01-06 | 1 | -0/+8 |
* | Parsing of command-line arguments | Jonathan Protzenko | 2021-12-15 | 1 | -1/+1 |
* | Make minor modifications to the Makefile | Son Ho | 2021-12-07 | 1 | -5/+12 |
* | Add comments in the Makefile | Son Ho | 2021-12-07 | 1 | -0/+4 |
* | Move files around | Son Ho | 2021-12-07 | 1 | -2/+3 |
* | Update the Makefile to make sure the execution trace always remains the | Son Ho | 2021-12-07 | 1 | -1/+3 |
* | Setup the project | Son Ho | 2021-11-02 | 1 | -0/+5 |