Age | Commit message (Expand) | Author |
---|---|---|
2015-12-11 | Code cleanup and refactoring. | Ulrich Germann |
2015-12-08 | Reduce dependence on StaticData. | Ulrich Germann |
2015-04-13 | Implement -output-unknowns for search algorithms 7 and 9 (T2S/F2S) | Phil Williams |
2015-01-14 | beautify | Hieu Hoang |
2014-11-04 | Merge s2t branch | Phil Williams |