Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-13 | solver: prune broken world dependencies with --force | Timo Teräs | 1 | -9/+3 |
2013-06-13 | solver: rewrite as deductive solver -- pinning support | Timo Teräs | 1 | -1/+1 |
2013-06-13 | solver: rewrite as deductive solver -- per name flags | Timo Teräs | 1 | -7/+12 |
2013-06-13 | solver: rewrite as deductive solver -- core features | Timo Teräs | 1 | -0/+547 |