Age | Commit message (Expand) | Author |
---|---|---|
2020-04-28 | Support the SMT-LIB Unicode string standard by default (#4378) | Andrew Reynolds |
2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett |
2014-05-12 | Add a benchmark that detects a bug in parsing. Thank Vijay for his bug report. | Tianyi Liang |