]> _ Git - alire.git/commit
Saner defaults for the dependency solver (#573)
authorAlejandro R Mosteo <alejandro@mosteo.com>
Thu, 15 Oct 2020 11:03:18 +0000 (13:03 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Oct 2020 11:03:18 +0000 (13:03 +0200)
commit5a89576d06f36faeb22e8fe7112d6f8c23de84a8
tree99d29b46038b37c2157bd19f46e19821f625c3d2
parentcc594c022d6faa2226da9c367443a6f64dbeb274
Saner defaults for the dependency solver (#573)

We were needlessly exploring the whole solution space, even when the best
complete solution had been already found.
src/alire/alire-solutions.adb
src/alire/alire-solver.adb
src/alire/alire-solver.ads
src/alr/alr-commands-withing.adb