summaryrefslogtreecommitdiff
path: root/tests/src/mutually-recursive-traits.lean.out (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update charonNadrieril2024-06-241-6/+6
* Update charonNadrieril2024-06-211-3/+3
* Support for renaming using the rename attribute in charon (#239)Escherichia2024-06-181-1/+1
* Tiny dedupNadrieril2024-06-181-1/+1
* Regenerate the testsSon Ho2024-06-171-2/+2
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-7/+7
* Remove the options from the functions synthesizing the symbolic ASTSon Ho2024-05-301-6/+6
* runner: Support negative testsNadrieril2024-05-271-0/+17