Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'main' into core-option-unwrap | Son Ho | 2024-04-25 | 12 | -56/+645 |
|\ | |||||
| * | Regenerate the Primitives files | Son Ho | 2024-04-25 | 7 | -0/+525 |
| | | |||||
| * | Update the tests for External | Son Ho | 2024-04-25 | 5 | -62/+120 |
| | | |||||
* | | Update tests | Zyad Hassan | 2024-04-24 | 3 | -18/+0 |
|/ | |||||
* | Bump charon | Nadrieril | 2024-04-17 | 1 | -157/+56 |
| | |||||
* | Fix some F* proofs | Son Ho | 2024-04-11 | 1 | -4/+4 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 22 | -669/+639 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 2 | -12/+12 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 15 | -109/+109 |
| | |||||
* | Regenerate the code | Son Ho | 2024-03-20 | 11 | -192/+193 |
| | |||||
* | Regenerate the tests | Son Ho | 2024-03-19 | 7 | -51/+24 |
| | |||||
* | Update the demo | Son Ho | 2024-03-19 | 1 | -10/+35 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-18 | 2 | -22/+91 |
| | |||||
* | Regenerate the constants tests and update Primitives/Base.lean | Son Ho | 2024-03-18 | 1 | -18/+32 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-11 | 8 | -89/+82 |
| | |||||
* | Update the generated files | Son Ho | 2024-03-11 | 5 | -117/+120 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-09 | 6 | -0/+173 |
| | |||||
* | Add some demo files | Son Ho | 2024-02-09 | 3 | -0/+1035 |
| | |||||
* | Fix minor issues | Son Ho | 2024-02-03 | 1 | -5/+5 |
| | |||||
* | Rename and regenerate some files | Son Ho | 2024-02-02 | 6 | -127/+127 |
| | |||||
* | Regenerate the files | Son Ho | 2024-01-25 | 5 | -81/+104 |
| | |||||
* | Regenerate the files | Son Ho | 2023-12-23 | 10 | -105/+58 |
| | |||||
* | Improve the micro passes to eliminate pattern `let f := fun x => g x` | Son Ho | 2023-12-23 | 1 | -17/+8 |
| | |||||
* | Regenerate the test files and add the fstar-split tests | Son Ho | 2023-12-22 | 26 | -6691/+1708 |
| | |||||
* | Regenerate some of the NoNestedBorrows tests | Son Ho | 2023-12-22 | 2 | -275/+213 |
| | |||||
* | Regenerate the test files | Son Ho | 2023-12-13 | 8 | -61/+99 |
| | |||||
* | Regenerate the tests | Son Ho | 2023-12-07 | 2 | -6/+35 |
| | |||||
* | Update following changes in Charon | Son Ho | 2023-12-05 | 5 | -119/+175 |
| | |||||
* | Regenerate the other files | Son Ho | 2023-11-29 | 7 | -56/+1113 |
| | |||||
* | Generate the Bitwise test files | Son Ho | 2023-11-29 | 1 | -0/+32 |
| | |||||
* | Regenerate the tests | Son Ho | 2023-11-29 | 2 | -31/+41 |
| | |||||
* | 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 | 8 | -11/+43 |
| | |||||
* | Update the generation of files for external definitions and regenerate the tests | Son Ho | 2023-11-27 | 8 | -8/+8 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-24 | 1 | -8/+2 |
| | |||||
* | Regenerate the test files | Son Ho | 2023-11-22 | 1 | -44/+62 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-21 | 1 | -17/+19 |
| | |||||
* | Regenerate the files | Son Ho | 2023-11-21 | 29 | -622/+1244 |
| | |||||
* | Regenerate the betree files | Son Ho | 2023-11-21 | 8 | -158/+163 |
| | |||||
* | Regenerate the Traits files | Son Ho | 2023-11-21 | 1 | -59/+62 |
| | |||||
* | Regenerate most of the test files | Son Ho | 2023-11-21 | 16 | -480/+475 |
| | |||||
* | Make administrative updates in the tests | Son Ho | 2023-11-09 | 2 | -405/+49 |
| | |||||
* | Update the failing proofs | Son Ho | 2023-11-09 | 12 | -1699/+1003 |
| | |||||
* | Remove a file | Son Ho | 2023-11-09 | 1 | -387/+0 |
| | |||||
* | Regenerate the tests | Son Ho | 2023-11-09 | 1 | -50/+20 |
| | |||||
* | Progress on making the traits work for F* | Son Ho | 2023-11-09 | 3 | -0/+1501 |
| | |||||
* | Modify some options and update the Makefile | Son Ho | 2023-11-09 | 1 | -0/+784 |
| | |||||
* | Update the Makefile and regenerate some tests | Son Ho | 2023-11-08 | 1 | -0/+12 |
| | |||||
* | Regenerate more F* files | Son Ho | 2023-10-27 | 18 | -1549/+1427 |
| | |||||
* | Fix a minor issue and regenerate some F* test files | Son Ho | 2023-10-27 | 9 | -593/+626 |
| |