aboutsummaryrefslogtreecommitdiffstats
path: root/test/provides5.test
Commit message (Expand)AuthorAgeFilesLines
* errors: detect self-conflicts properlyTimo Teräs2013-06-141-2/+2
* errors: rewrite the logic how errors are reportedTimo Teräs2013-06-131-2/+7
* solver: rewrite as deductive solver -- core featuresTimo Teräs2013-06-131-1/+1
* solver: consider provided names also for preferenceTimo Teräs2012-02-281-0/+6