summaryrefslogtreecommitdiff
path: root/test/pinning4.test
AgeCommit message (Expand)AuthorFilesLines
2013-06-13solver: rewrite as deductive solver -- pinning supportTimo Teräs1-2/+2
2012-02-24test: improve pinning testsTimo Teräs1-1/+1
2012-02-23test: rewrite the testing framework to use the real appletsTimo Teräs1-2/+9
2011-10-29solver, db: implement repository pinningTimo Teräs1-0/+2