summaryrefslogtreecommitdiff
path: root/test/provides5.test
AgeCommit message (Expand)AuthorFilesLines
2020-10-03commit: rephrase the error messages more understandableTimo Teräs1-1/+1
2013-06-14errors: detect self-conflicts properlyTimo Teräs1-2/+2
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-2/+7
2013-06-13solver: rewrite as deductive solver -- core featuresTimo Teräs1-1/+1
2012-02-28solver: consider provided names also for preferenceTimo Teräs1-0/+6