Age | Commit message (Expand) | Author |
---|---|---|
2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett |
2014-06-25 | Turn strings-exp off by default (for the release) | Morgan Deters |
2014-04-29 | add leading zeros support for str.to.int | Tianyi Liang |