Age | Commit message (Expand) | Author |
2013-06-26 | Add support for interval models in bounded integers MBQI (in progress). | Andrew Reynolds |
2013-06-25 | Merge branch '1.2.x' | Morgan Deters |
2013-06-25 | Proposed fix for bug #513 | Morgan Deters |
2013-06-25 | Refactoring of model engine to separate individual implementations of model b... | Andrew Reynolds |
2013-06-24 | Add files missing from last commit | Morgan Deters |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2013-06-24 | Add options for symmetry breaking in uf+ss totality axiom approach, option fo... | Andrew Reynolds |
2013-06-21 | Fix failure in non-assertion builds on incorrect SmtEngine use. | Morgan Deters |
2013-06-19 | Merge branch '1.2.x' | Morgan Deters |
2013-06-19 | Workaround for suspected clang 3.0 codegen bug on Mac | Morgan Deters |
2013-06-19 | Fix to the "include" extended feature of the SMT-LIB parser | Morgan Deters |
2013-06-19 | Give a more useful parse error message for "undeclared variable -1". | Morgan Deters |
2013-06-17 | Java streams example I forgot to add a long time ago | Morgan Deters |
2013-06-17 | Make --var-elim-quant true by default. Add rewrite engine to quantifiers mod... | Andrew Reynolds |
2013-06-15 | Fix in SMT2 parser for parametric datatypes | Andrew Reynolds |
2013-06-09 | another fix for array-store-all printing | Morgan Deters |
2013-06-09 | Better array-store-all output for SMT-LIB. | Morgan Deters |
2013-06-08 | Fix typos in alttheoryskel | Morgan Deters |
2013-06-08 | Fixes for Boolean terms in arrays (including fix for bug 517). | Morgan Deters |
2013-06-07 | One more case for arrays of Boolean. | Morgan Deters |
2013-06-07 | Fix for bug 517. | Morgan Deters |
2013-06-07 | Allow disabling include-file feature | Morgan Deters |
2013-06-06 | small parese issue in IDL | Dejan Jovanović |
2013-06-06 | typo | Dejan Jovanović |
2013-06-06 | IDL example theory (to be used with --use-theory=idl). | Dejan Jovanović |
2013-06-05 | Fix bug in --fmf-fmc for producing models of functions not appearing in quant... | Andrew Reynolds |
2013-06-04 | File inclusion in Smt2 parser. | Morgan Deters |
2013-06-04 | Add --no-condense-function-values option for explicit function models (useful... | 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-06-04 | Add partial support for MBQI with arrays when using --fmf-fmc. Fix constant ... | Andrew Reynolds |
2013-06-03 | Merge tag 'casc24' | Morgan Deters |
2013-06-03 | Updated CASC scripts, as provided to Geoff Sutcliffecasc24 | Morgan Deters |
2013-05-29 | Merge branch '1.2.x' | Morgan Deters |
2013-05-29 | Per SMT-LIB spec, allow (set-info..) command to succeed implicitly with unkno... | Morgan Deters |
2013-05-29 | SMT-LIB printer updates (some missing cases). | Morgan Deters |
2013-05-29 | Fix bug where strict mode didn't allow DIV or MOD, and Ints permitted real di... | Morgan Deters |
2013-05-28 | Standardize SMT-LIBv2 set of logics to use LogicInfo. | Morgan Deters |
2013-05-23 | Refactoring to prepare for MBQI with integer quantification. Minor bug fixes. | Andrew Reynolds |
2013-05-22 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Andrew Reynolds |
2013-05-22 | Significant work on bounded integer quantification to handle non-trivial boun... | Andrew Reynolds |
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 | Fix an error that valgrind found. | 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 | Merge branch '1.2.x' | Morgan Deters |
2013-05-20 | Fix error reporting on use of (nonlinear) div,mod,/ symbols | Morgan Deters |
2013-05-20 | Update THANKS to mention David Cok's contributions. | Morgan Deters |