Skip to content

Allow filtering what proof trees are dumped to stdout via a rustc attr#113694

Closed
BoxyUwU wants to merge 2 commits intorust-lang:masterfrom
BoxyUwU:proof_tree_dump_filtering
Closed

Allow filtering what proof trees are dumped to stdout via a rustc attr#113694
BoxyUwU wants to merge 2 commits intorust-lang:masterfrom
BoxyUwU:proof_tree_dump_filtering

Commits

Commits on Jul 14, 2023