Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Regenerate the test files | Son Ho | 2024-04-04 | 13 | -373/+373 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 2 | -12/+12 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 13 | -105/+109 |
| | |||||
* | backend(/tests)/lean: 4.6.0-rc1 → 4.6.1 | Ryan Lahfa | 2024-03-25 | 1 | -1/+1 |
| | | | | | | 4.6.0 has been released in https://github.com/leanprover/lean4/releases/tag/v4.6.0 Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr> | ||||
* | Regenerate the code | Son Ho | 2024-03-20 | 9 | -136/+119 |
| | |||||
* | Regenerate the tests | Son Ho | 2024-03-19 | 6 | -73/+30 |
| | |||||
* | Update the demo | Son Ho | 2024-03-19 | 2 | -10/+53 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-18 | 2 | -22/+92 |
| | |||||
* | Regenerate the constants tests and update Primitives/Base.lean | Son Ho | 2024-03-18 | 1 | -18/+33 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-11 | 3 | -72/+67 |
| | |||||
* | Update the generated files | Son Ho | 2024-03-11 | 5 | -135/+135 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-09 | 2 | -0/+114 |
| | |||||
* | Update the code generated for tuple projectors | Son Ho | 2024-03-08 | 1 | -1/+1 |
| | |||||
* | Fix tuple indexing for Lean backend | Zyad Hassan | 2024-03-08 | 1 | -1/+1 |
| | |||||
* | Update the generation of constant bodies for Lean | Son Ho | 2024-03-08 | 4 | -24/+23 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-08 | 5 | -46/+46 |
| | |||||
* | Add some demo files | Son Ho | 2024-02-09 | 4 | -0/+218 |
| | |||||
* | Update the .gitignore files | Son Ho | 2024-02-02 | 1 | -1/+2 |
| | |||||
* | Rename and regenerate some files | Son Ho | 2024-02-02 | 4 | -563/+119 |
| | |||||
* | Make progress on fixing the tests | Son Ho | 2024-02-02 | 1 | -13/+13 |
| | |||||
* | Start fixing the tests | Son Ho | 2024-02-02 | 7 | -80/+98 |
| | |||||
* | Regenerate the files | Son Ho | 2024-01-25 | 2 | -65/+75 |
| | |||||
* | Regenerate the files | Son Ho | 2023-12-23 | 9 | -88/+47 |
| | |||||
* | Improve the micro passes to eliminate pattern `let f := fun x => g x` | Son Ho | 2023-12-23 | 1 | -17/+8 |
| | |||||
* | Fix a minor issue in the Lean tests | Son Ho | 2023-12-23 | 1 | -14/+3 |
| | |||||
* | Update the proof of the hashmap in Lean | Son Ho | 2023-12-23 | 1 | -100/+44 |
| | |||||
* | Regenerate the test files and add the fstar-split tests | Son Ho | 2023-12-22 | 14 | -2361/+1635 |
| | |||||
* | Regenerate some of the NoNestedBorrows tests | Son Ho | 2023-12-22 | 1 | -271/+261 |
| | |||||
* | Regenerate the test files | Son Ho | 2023-12-13 | 1 | -61/+71 |
| | |||||
* | Regenerate the tests | Son Ho | 2023-12-07 | 2 | -10/+36 |
| | |||||
* | Update following changes in Charon | Son Ho | 2023-12-05 | 2 | -88/+146 |
| | |||||
* | Generate the Bitwise test files | Son Ho | 2023-11-29 | 1 | -0/+37 |
| | |||||
* | Regenerate the tests | Son Ho | 2023-11-29 | 1 | -29/+42 |
| | |||||
* | Regenerate the test files | Son Ho | 2023-11-29 | 1 | -5/+0 |
| | |||||
* | Generate a dedicated file for the external types | Son Ho | 2023-11-27 | 9 | -13/+59 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-24 | 10 | -266/+255 |
| | |||||
* | Regenerate the test files | Son Ho | 2023-11-22 | 1 | -42/+62 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-21 | 1 | -17/+21 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-21 | 18 | -478/+956 |
| | |||||
* | Regenerate the betree files | Son Ho | 2023-11-21 | 2 | -58/+58 |
| | |||||
* | Regenerate the Traits files | Son Ho | 2023-11-21 | 1 | -65/+67 |
| | |||||
* | Regenerate most of the test files | Son Ho | 2023-11-21 | 6 | -153/+145 |
| | |||||
* | Fix issues with the builtin names | Son Ho | 2023-11-21 | 1 | -5/+7 |
| | |||||
* | Update the failing proofs | Son Ho | 2023-11-09 | 1 | -5/+6 |
| | |||||
* | Regenerate the tests | Son Ho | 2023-11-09 | 1 | -44/+17 |
| | |||||
* | Modify some options and update the Makefile | Son Ho | 2023-11-09 | 7 | -1060/+1474 |
| | |||||
* | Regenerate some Lean tests | Son Ho | 2023-11-09 | 2 | -0/+39 |
| | |||||
* | Update the Makefile and regenerate some tests | Son Ho | 2023-11-08 | 1 | -0/+12 |
| | |||||
* | Update the extraction | Son Ho | 2023-11-07 | 2 | -0/+13 |
| | |||||
* | Regenerate part of the trait tests for Lean | Son Ho | 2023-11-06 | 2 | -16/+65 |
| |