summaryrefslogtreecommitdiff
path: root/tests/src/betree (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Support for renaming using the rename attribute in charon (#239)Escherichia2024-06-181-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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>
* Update the betreeSon Ho2024-06-051-99/+98
|
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-1/+1
|
* runner: Store options for crate tests in a separate fileNadrieril2024-05-281-0/+4
|
* Import test suite from charonNadrieril2024-05-248-0/+1570