Skip to content

Make max goal size for recursive solver configurable#647

Merged
bors merged 1 commit intorust-lang:masterfrom
flodiebold:recursive-max-size
Nov 1, 2020
Merged

Make max goal size for recursive solver configurable#647
bors merged 1 commit intorust-lang:masterfrom
flodiebold:recursive-max-size

Commits

Commits on Nov 1, 2020