Age | Commit message (Expand) | Author |
---|---|---|
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-19 | dos2unix-convert some sources. | Morgan Deters |
2014-05-20 | Fix compiler warning (missing virtual dtor) | Morgan Deters |
2014-05-13 | Reject un-escaped extended ASCII characters | Tianyi Liang |
2014-05-11 | Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function. | Tianyi Liang |
2014-05-07 | add splits | Tianyi Liang |
2014-04-29 | fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr | Tianyi Liang |
2014-04-28 | add strings-opt2 for regular splitting | Tianyi Liang |
2014-04-24 | minor change: add a heuristic for preventing constant splitting. | Tianyi Liang |
2014-03-28 | minor printer fix; intersection fix | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-02-26 | add a new file | Tianyi Liang |