aboutsummaryrefslogtreecommitdiffstats
path: root/test/pinning1.test
Commit message (Expand)AuthorAgeFilesLines
* solver: rewrite as deductive solver -- pinning supportTimo Teräs2013-06-131-2/+2
* test: improve pinning testsTimo Teräs2012-02-241-1/+1
* test: rewrite the testing framework to use the real appletsTimo Teräs2012-02-231-2/+8
* solver, db: implement repository pinningTimo Teräs2011-10-291-0/+2