Skip to content

Make the modular solver the default always, and deprecate the top-down solver#2531

Merged
dcoutts merged 34 commits intohaskell:masterfrom edsko:pr/switch-defaultMay 21, 2015

Commits

Commits on Mar 27, 2015

Commits on Mar 28, 2015

Commits on Mar 30, 2015

Commits on Mar 31, 2015

Commits on Apr 6, 2015

Commits on Apr 7, 2015