| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | upgrade: new option: --latest (-l) | Timo Teräs | 2013-06-19 | 1 | -3/+3 |
| * | solver, errors: fix few additional test cases and clean ups | Timo Teräs | 2013-06-13 | 1 | -1/+3 |
| * | errors: rewrite the logic how errors are reported | Timo Teräs | 2013-06-13 | 1 | -1/+1 |
| * | solver: rewrite as deductive solver -- core features | Timo Teräs | 2013-06-13 | 1 | -1/+1 |
| * | test: rewrite the testing framework to use the real applets | Timo Teräs | 2012-02-23 | 1 | -2/+6 |
| * | solver: generate proper error messages | Timo Teräs | 2011-08-01 | 1 | -0/+2 |
