Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-10-03 | commit: rephrase the error messages more understandable | Timo Teräs | 1 | -1/+1 |
2013-06-18 | errors: fix a test case, and misanalysis of certain names | Timo Teräs | 1 | -1/+1 |
2013-06-13 | errors: rewrite the logic how errors are reported | Timo Teräs | 1 | -2/+4 |
2013-06-13 | solver: rewrite as deductive solver -- pinning support | Timo Teräs | 1 | -0/+8 |