| Age | Commit message (Expand) | Author |
|---|
| 2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
| 2013-11-05 | fixed proof regression script and added a new uf test case | lianah |
| 2013-10-24 | Fix for bug515 | Clark Barrett |
| 2013-10-21 | add a string test case | Tianyi Liang |
| 2013-10-20 | adds regular expression range | Tianyi Liang |
| 2013-10-16 | adds fmf for strings | Tianyi Liang |
| 2013-10-15 | bug fix: string cache cleaning | Tianyi Liang |
| 2013-10-14 | add another regexp test | Tianyi Liang |
| 2013-10-14 | Adds Regular Expression support. | Tianyi Liang |
| 2013-10-11 | Adds regular expression support, it is actually CFL because of variables. | Tianyi Liang |
| 2013-10-01 | adds partial function substr. the use of this function should be guarded, esp... | Tianyi Liang |
| 2013-09-30 | replace with a new method for disequality, move to QF_S | Tianyi Liang |
| 2013-09-27 | Some fixes to recent strings commits. | Morgan Deters |
| 2013-09-27 | adds communication with arith engine | Tianyi Liang |
| 2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |
| 2013-09-27 | adds model generation for strings, and a hacked way in arith engine for models | Tianyi Liang |
| 2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
| 2013-09-13 | Move some regress benchmarks around that took too long, other test cleanup. | Morgan Deters |
| 2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
| 2013-09-11 | Theory of strings. | Tianyi Liang |
| 2013-09-09 | Another minor fix for datatypes to repair my previous commit. | Andrew Reynolds |
| 2013-09-09 | Support empty (and 1-ary) tuples and records. | Morgan Deters |
| 2013-08-26 | Merge branch '1.2.x' | Kshitij Bansal |
| 2013-08-26 | bug 374 fix: assert litVal=desiredVal only for leaf nodes1.2.x | Kshitij Bansal |
| 2013-08-26 | Bug 374 benchmarks | Kshitij Bansal |
| 2013-07-19 | enable bug521 regression tests | Morgan Deters |
| 2013-07-17 | Fix bug 516; include some bug testcases. | Morgan Deters |
| 2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
| 2013-07-09 | Fix for bug 519; don't involve ITESimplifier in model generation. | Morgan Deters |
| 2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
| 2013-06-04 | Merge branch '1.2.x' | Morgan Deters |
| 2013-06-04 | Fix clang static initialization order issue; fixes bug 512. | Morgan Deters |
| 2013-05-22 | Add regressions for finite model finding | Andrew Reynolds |
| 2013-05-21 | Merge branch '1.2.x' | Morgan Deters |
| 2013-05-21 | Fix bug 512: an assertion failure only appearing with clang on Mac OS, due to... | Morgan Deters |
| 2013-05-21 | Merge branch '1.2.x' | Morgan Deters |
| 2013-05-21 | Fix incremental bug in symmetry breaker. | Morgan Deters |
| 2013-05-20 | Fix for equality-chaining of Booleans in SMT-LIBv2. | Morgan Deters |
| 2013-05-17 | Fix for equality-chaining of Booleans in SMT-LIBv2. | Morgan Deters |
| 2013-05-09 | Changing the integer normal form to increase matching. | Tim King |
| 2013-05-07 | fix for bug500 | Dejan Jovanović |
| 2013-05-01 | Fix to boolean-terms; resolves bug #507 | Morgan Deters |
| 2013-04-26 | Merge experimental decisionweight branch | Kshitij Bansal |
| 2013-04-26 | FCSimplex branch merge | Tim King |
| 2013-04-17 | boolean flatten: bug fix in dfs search | Kshitij Bansal |
| 2013-04-16 | generalize to handle and | Kshitij Bansal |
| 2013-04-16 | flatten or nodes | Kshitij Bansal |
| 2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
| 2013-04-01 | Fixes for two bugs: | Morgan Deters |
| 2013-04-01 | Adding tests for the previous commit. | Tim King |
