Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | solver: rewrite as deductive solver -- pinning support | Timo Teräs | 2013-06-13 | 1 | -3/+3 |
| | | | | Fix also pinning test cases to be more sane. | ||||
* | test: improve pinning tests | Timo Teräs | 2012-02-24 | 1 | -0/+11 |