Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-13 | errors: rewrite the logic how errors are reported | Timo Teräs | 1 | -5/+4 |
2013-06-13 | solver: rewrite as deductive solver -- core features | Timo Teräs | 1 | -1/+1 |
2012-02-27 | solver, test: implements more provides things, add tests | Timo Teräs | 1 | -0/+9 |