summaryrefslogtreecommitdiff
path: root/tests/src/mutually-recursive-traits.lean.out (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-21Update charonNadrieril1-3/+3
2024-06-18Support for renaming using the rename attribute in charon (#239)Escherichia1-1/+1
2024-06-18Tiny dedupNadrieril1-1/+1
2024-06-17Regenerate the testsSon Ho1-2/+2
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho1-7/+7
2024-05-30Remove the options from the functions synthesizing the symbolic ASTSon Ho1-6/+6
2024-05-27runner: Support negative testsNadrieril1-0/+17