| Commit message (Expand) | Author | Age | Files | Lines |
* | Make the hashmap files typecheck again in Lean | Son Ho | 2023-10-25 | 1 | -2/+4 |
* | Deactivate the concrete interpreter tests | Son Ho | 2023-10-24 | 1 | -2/+2 |
* | Fix minor issues | Son Ho | 2023-09-04 | 1 | -1/+1 |
* | Add an option to not override Hashmap.lean | Son Ho | 2023-08-04 | 1 | -1/+1 |
* | Update the Makefile and regenerate the test files | Son Ho | 2023-08-04 | 1 | -15/+13 |
* | Update the Makefile to add the array test | Son Ho | 2023-08-03 | 1 | -1/+16 |
* | Reorganize the Lean tests | Son Ho | 2023-07-04 | 1 | -19/+13 |
* | Start setting up the Nix derivation for HOL4 | Son Ho | 2023-06-04 | 1 | -1/+5 |
* | Make minor modifications to the Makefile | Son Ho | 2023-06-04 | 1 | -2/+2 |
* | Add the generated HOL4 files | Son Ho | 2023-06-04 | 1 | -4/+25 |
* | Use dune 3.7 and update the flake.lock | Son Ho | 2023-06-04 | 1 | -2/+2 |
* | Start adding Lean to the Nix flake | Son Ho | 2023-06-04 | 1 | -1/+5 |
* | Make more updates for the Lean backend | Son Ho | 2023-06-04 | 1 | -2/+13 |
* | Reorganize the Lean tests and extract the Polonius tests to Lean | Son Ho | 2023-06-04 | 1 | -7/+7 |
* | Make minor fixes, improve formatting for Lean and generate code for all the t... | Son Ho | 2023-06-04 | 1 | -6/+27 |
* | Initial Lean backend, WIP | Jonathan Protzenko | 2023-06-04 | 1 | -1/+7 |
* | Make minor modifications and generate code for loops | Son Ho | 2023-02-03 | 1 | -1/+7 |
* | Add a nix derivation for the Coq proofs | Son Ho | 2022-11-16 | 1 | -1/+5 |
* | Add the aeneas-verify-fstar derivation | Son Ho | 2022-11-16 | 1 | -1/+8 |
* | Extract the Polonius examples in Coq | Son Ho | 2022-11-14 | 1 | -1/+11 |
* | Add a `-use-fuel` option | Son Ho | 2022-11-14 | 1 | -0/+2 |
* | Reactivate the option -test-trans-unis for Coq | Son Ho | 2022-11-14 | 1 | -3/+1 |
* | Implement a pass to decompose nested patterns in let-bindings | Son Ho | 2022-11-14 | 1 | -4/+4 |
* | Make good progress on the Coq backend | Son Ho | 2022-11-14 | 1 | -31/+65 |
* | Reorganize the project to prepare for new backends | Son Ho | 2022-11-14 | 1 | -1/+1 |
* | Make minor modifications to the tests and regenerate the .fst files | Son Ho | 2022-11-11 | 1 | -4/+4 |
* | Move the fstar files to the new backends directory | Son Ho | 2022-11-11 | 1 | -3/+7 |
* | Add a `bin` folder | Son Ho | 2022-11-11 | 1 | -4/+9 |
* | Make the Nix build work | Son Ho | 2022-11-11 | 1 | -29/+63 |
* | Make a minor modification | Son Ho | 2022-11-10 | 1 | -1/+0 |
* | Implement a Config.ml file which groups all the global options in references | Son Ho | 2022-11-10 | 1 | -4/+4 |
* | Implement the generation of stateful backward functions (controlled by an opt... | Son Ho | 2022-11-10 | 1 | -6/+28 |
* | Update the Makefile | Son Ho | 2022-10-28 | 1 | -2/+2 |
* | Reformat the code | Son Ho | 2022-10-27 | 1 | -1/+1 |
* | Move constant_value to PrimitiveValues.ml | Son Ho | 2022-10-27 | 1 | -0/+4 |
* | Reorganize a bit the project | Son Ho | 2022-10-27 | 1 | -9/+9 |
* | Update the code documentation to fix links and syntax issues | Son Ho | 2022-10-26 | 1 | -1/+1 |
* | Start generating documentation | Son Ho | 2022-10-26 | 1 | -4/+13 |
* | Update the Makefile | Son Ho | 2022-10-18 | 1 | -3/+7 |
* | Use "polonius" in the names instead of "nll" | Son Ho | 2022-10-13 | 1 | -8/+9 |
* | Make minor modifications to the Makefile | Son Ho | 2022-10-13 | 1 | -5/+5 |
* | Incorrect assumptions, incorrect recursive make | Jonathan Protzenko | 2022-09-27 | 1 | -2/+7 |
* | Add a `format` target in the Makefile | Son Ho | 2022-09-22 | 1 | -0/+5 |
* | Update Makefile | Son HO | 2022-09-22 | 1 | -1/+1 |
* | Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2 | Sidney Congard | 2022-06-30 | 1 | -5/+10 |
|\ |
|
| * | Make minor modifications | Son Ho | 2022-06-20 | 1 | -2/+2 |
| * | Add makefiles to test the F* files | Son Ho | 2022-06-20 | 1 | -4/+9 |
* | | concrete & symbolic evaluation work with new LLBC format | Sidney Congard | 2022-06-21 | 1 | -1/+1 |
* | | 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 |