summaryrefslogtreecommitdiff
path: root/tests/src/loops.rs (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>
* runner: Specify subdirectory in magic commentsNadrieril2024-05-241-0/+1
|
* runner: Pass options in special commentsNadrieril2024-05-241-0/+3
|
* Import test suite from charonNadrieril2024-05-241-0/+366