Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support for renaming using the rename attribute in charon (#239) | Escherichia | 2024-06-18 | 2 | -0/+1084 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * support for renaming using the rename attribute in charon * support for global decl * add support for renaming field * applied suggested changes and began adding support for variant * finished support for renaming variant * applied suggested changes * add tests * fixed variant and field renaming * update charon-pin * update flake.lock * Update the charon pin * Fix an issue with renaming trait method implementations * Fix an issue with the renaming of trait implementations * Fix an issue when renaming enumerations * Update the Charon pin * Fix the F* tests * Fix an issue with the spans for the loops * Fix the tests * Update a comment * Use fuel in the coq tests * Generate the template decreases clauses by default --------- Co-authored-by: Escherichia <escherichia@charlotte> Co-authored-by: Son Ho <hosonmarc@gmail.com> | ||||
* | Bump charon | Nadrieril | 2024-06-18 | 4 | -15/+15 |
| | |||||
* | Merge branch 'main' into son/cleanup | Son HO | 2024-06-17 | 5 | -6/+6 |
|\ | |||||
| * | Update charon | Nadrieril | 2024-06-17 | 5 | -6/+6 |
| | | |||||
* | | Update the code of the hashmap | Son Ho | 2024-06-17 | 3 | -136/+136 |
|/ | |||||
* | Update the tests for tuples | Son Ho | 2024-06-11 | 1 | -7/+26 |
| | |||||
* | Regenerate the Coq and Lean betrees | Son Ho | 2024-06-05 | 1 | -89/+221 |
| | |||||
* | Update charon | Nadrieril | 2024-06-05 | 9 | -86/+86 |
| | |||||
* | Merge branch 'main' into son/loops2 | Son Ho | 2024-06-04 | 32 | -2144/+586 |
|\ | |||||
| * | Fix an issue with some names being ignored when generating unique variable names | Son Ho | 2024-05-28 | 1 | -2/+2 |
| | | |||||
| * | Reactivate the infinite-loop.rs test | Son Ho | 2024-05-28 | 1 | -0/+27 |
| | | |||||
| * | tests: Rename hashmap_utils -> utils | Nadrieril | 2024-05-28 | 3 | -11/+10 |
| | | |||||
| * | Add some tests | Nadrieril | 2024-05-28 | 1 | -0/+54 |
| | | |||||
| * | tests: Rename betree_main -> betree | Nadrieril | 2024-05-28 | 7 | -84/+84 |
| | | |||||
| * | tests: Merge the hashmap test files | Nadrieril | 2024-05-27 | 13 | -1734/+96 |
| | | |||||
| * | Rename some subdirectories for consistency | Nadrieril | 2024-05-24 | 9 | -0/+0 |
| | | |||||
| * | Update output files | Nadrieril | 2024-05-24 | 8 | -177/+177 |
| | | |||||
| * | Update test outputs | Nadrieril | 2024-05-24 | 15 | -391/+391 |
| | | |||||
* | | Add a test | Son Ho | 2024-06-03 | 1 | -34/+39 |
| | | |||||
* | | Regenerate tests | Aymeric Fromherz | 2024-05-31 | 9 | -31/+31 |
| | | |||||
* | | Regenerate test output | Aymeric Fromherz | 2024-05-31 | 5 | -36/+908 |
| | | |||||
* | | Implement two phases of loops join + collapse | Aymeric Fromherz | 2024-05-30 | 5 | -908/+36 |
|/ | |||||
* | Tweak a path | Nadrieril | 2024-05-24 | 15 | -391/+391 |
| | |||||
* | Bump charon version | Nadrieril | 2024-05-23 | 5 | -7/+7 |
| | |||||
* | Update charon | Nadrieril | 2024-04-30 | 1 | -1/+1 |
| | |||||
* | Regenerate and fix the tests | Son Ho | 2024-04-25 | 9 | -19/+60 |
| | |||||
* | Merge branch 'main' into core-option-unwrap | Son Ho | 2024-04-25 | 13 | -85/+584 |
|\ | |||||
| * | Regenerate the Primitives files | Son Ho | 2024-04-25 | 6 | -0/+450 |
| | | |||||
| * | Update the tests for External | Son Ho | 2024-04-25 | 7 | -92/+134 |
| | | |||||
* | | Update tests | Zyad Hassan | 2024-04-24 | 2 | -14/+0 |
|/ | |||||
* | Ensure we regenerate files properly in CI | Nadrieril | 2024-04-18 | 6 | -6/+0 |
| | | | | | Files that weren't regenerated were marked as not automatically-generated. | ||||
* | Bump charon | Nadrieril | 2024-04-17 | 1 | -159/+56 |
| | |||||
* | Fix a Coq file | Son Ho | 2024-04-11 | 1 | -1/+1 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 20 | -535/+501 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 2 | -12/+12 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-04-04 | 13 | -99/+104 |
| | |||||
* | Regenerate the code | Son Ho | 2024-03-20 | 9 | -126/+119 |
| | |||||
* | Regenerate the tests | Son Ho | 2024-03-19 | 9 | -64/+26 |
| | |||||
* | Update the demo | Son Ho | 2024-03-19 | 1 | -10/+38 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-18 | 2 | -22/+114 |
| | |||||
* | Regenerate the constants tests and update Primitives/Base.lean | Son Ho | 2024-03-18 | 1 | -18/+35 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-11 | 3 | -83/+78 |
| | |||||
* | Update the generated files | Son Ho | 2024-03-11 | 5 | -128/+134 |
| | |||||
* | Regenerate the test files | Son Ho | 2024-03-09 | 2 | -0/+133 |
| | |||||
* | Add some missing files | Son Ho | 2024-02-09 | 2 | -0/+30 |
| | |||||
* | Add some demo files | Son Ho | 2024-02-09 | 2 | -0/+1066 |
| | |||||
* | Rename and regenerate some files | Son Ho | 2024-02-02 | 5 | -119/+119 |
| | |||||
* | Regenerate the files | Son Ho | 2024-01-25 | 2 | -66/+80 |
| | |||||
* | Fix an issue in External_FunsExternal.v | Son Ho | 2023-12-23 | 1 | -15/+3 |
| | |||||
* | Fix an issue when deconstructing tuples in Coq | Son Ho | 2023-12-23 | 1 | -2/+2 |
| |