| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | errors: detect self-conflicts properly | Timo Teräs | 2013-06-14 | 1 | -2/+2 |
| * | errors: rewrite the logic how errors are reported | Timo Teräs | 2013-06-13 | 1 | -2/+7 |
| * | solver: rewrite as deductive solver -- core features | Timo Teräs | 2013-06-13 | 1 | -1/+1 |
| * | solver: consider provided names also for preference | Timo Teräs | 2012-02-28 | 1 | -0/+6 |
