Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-13 | solver: rewrite as deductive solver -- pinning support | Timo Teräs | 1 | -2/+2 |
2012-02-24 | test: improve pinning tests | Timo Teräs | 1 | -1/+1 |
2012-02-23 | test: rewrite the testing framework to use the real applets | Timo Teräs | 1 | -2/+8 |
2011-10-29 | solver, db: implement repository pinning | Timo Teräs | 1 | -0/+2 |