Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | errors: rewrite the logic how errors are reported | Timo Teräs | 2013-06-13 | 1 | -2/+4 |
* | solver: rewrite as deductive solver -- core features | Timo Teräs | 2013-06-13 | 1 | -1/+1 |
* | test: fix conflict2 expectation after solver changes | Timo Teräs | 2012-10-09 | 1 | -1/+1 |
* | solver, test: make conflicts unconditional | Timo Teräs | 2012-02-29 | 1 | -1/+1 |
* | test: rewrite the testing framework to use the real applets | Timo Teräs | 2012-02-23 | 1 | -0/+6 |