2012-04-27 |
Morgan Deters | fix parser logic-handling oversights: QF_UFBV should...
|
commit | commitdiff | tree |
2012-04-27 |
Morgan Deters | break dependence on zlib-dev for now
|
commit | commitdiff | tree |
2012-04-13 |
Morgan Deters | Fix SExpr name qualification for swig, and #include...
|
commit | commitdiff | tree |
2012-04-12 |
Morgan Deters | svn ignore Makefile.in for aufbv regression directory
|
commit | commitdiff | tree |
2012-04-11 |
Morgan Deters | merge from arrays-clark branch
|
commit | commitdiff | tree |
2012-04-06 |
Morgan Deters | * Fix ITEs and functions in CVC language printer.
|
commit | commitdiff | tree |
2012-04-06 |
Morgan Deters | fix distributed builds (and therefore the Debian nightly...
|
commit | commitdiff | tree |
2012-04-05 |
Morgan Deters | Support to test the "dumper" mechanism in regressions...
|
commit | commitdiff | tree |
2012-03-28 |
Morgan Deters | fix swig-ignored interface name; hopefully fixes Debian...
|
commit | commitdiff | tree |
2012-03-21 |
Morgan Deters | Disable nonclausal simplification for QF_SAT benchmarks...
|
commit | commitdiff | tree |
2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfolio...
|
commit | commitdiff | tree |
2012-03-09 |
Morgan Deters | fix a "lost command" bug and associated memory leak...
|
commit | commitdiff | tree |
2012-03-09 |
Morgan Deters | Strengthen minisat assertion regarding t-propagations...
|
commit | commitdiff | tree |
2012-03-09 |
Morgan Deters | minor fixes: to "make dist" in build directories with...
|
commit | commitdiff | tree |
2012-03-08 |
Morgan Deters | fix "make dist"
|
commit | commitdiff | tree |
2012-03-07 |
Morgan Deters | fix some Java compatibility-layer interface problems...
|
commit | commitdiff | tree |
2012-03-03 |
Morgan Deters | Changing the dependency checking; GMP is required ...
|
commit | commitdiff | tree |
2012-03-02 |
Morgan Deters | committing the TNode/Node fix that was in the kind...
|
commit | commitdiff | tree |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minisat...
|
commit | commitdiff | tree |
2012-02-29 |
Morgan Deters | consistency in how the Dump output stream is used
|
commit | commitdiff | tree |
2012-02-28 |
Morgan Deters | fix theory "kinds" file documentation for allowed arity...
|
commit | commitdiff | tree |
2012-02-28 |
Morgan Deters | Replace the sequence of hardcoded addTheory() calls...
|
commit | commitdiff | tree |
2012-02-27 |
Morgan Deters | fixes to new-theory script; resolves bug #307
|
commit | commitdiff | tree |
2012-02-23 |
Morgan Deters | Added ability to set a "cvc4-specific logic" in standards...
|
commit | commitdiff | tree |
2012-02-23 |
Morgan Deters | pcvc4 only built if --with-portfolio given to the configure...
|
commit | commitdiff | tree |
2012-02-22 |
Morgan Deters | fixes to configure and boost.m4 to make certain boost...
|
commit | commitdiff | tree |
2012-02-22 |
Morgan Deters | another static library unavailability issue
|
commit | commitdiff | tree |
2012-02-22 |
Morgan Deters | make sure to clear out READLINE_LIBS if readline causes...
|
commit | commitdiff | tree |
2012-02-22 |
Morgan Deters | Added OutputChannel::propagateAsDecision() functionality...
|
commit | commitdiff | tree |
2012-02-22 |
Morgan Deters | Fixes to documentation / fixes for MacOS
|
commit | commitdiff | tree |
2012-02-21 |
Morgan Deters | add a "--with-portfolio" configure option that makes...
|
commit | commitdiff | tree |
2012-02-21 |
Morgan Deters | fix src/util/hash.h to specialize GNU's hash template...
|
commit | commitdiff | tree |
2012-02-21 |
Morgan Deters | language bindings fixes for yesterday's portfolio merge
|
commit | commitdiff | tree |
2012-02-21 |
Morgan Deters | don't require libboost_thread (its presence is detected...
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | fix sharing issue for portfolio (full lit-to-node map...
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | fix "make dist"
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | zlib not required; remove configure's dependency on it
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | portfolio merge
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | readline links in -ltermcap -ltinfo too (fixes breakage...
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | Added Theory::postsolve() infrastructure as Clark requested.
|
commit | commitdiff | tree |
2012-02-20 |
Morgan Deters | By default, ONLY enable symmetry breaker ONLY for QF_UF...
|
commit | commitdiff | tree |
2012-02-16 |
Morgan Deters | clarify wording in README, thanks for finding this...
|
commit | commitdiff | tree |
2012-02-13 |
Morgan Deters | proper handling of improper get-value
|
commit | commitdiff | tree |
2012-02-12 |
Morgan Deters | copyright year updated to 2012
|
commit | commitdiff | tree |
2012-02-12 |
Morgan Deters | separate new-theory components into a "theoryskel"...
|
commit | commitdiff | tree |
2012-02-11 |
Morgan Deters | ensure using bash for new-theory script
|
commit | commitdiff | tree |
2012-02-10 |
Morgan Deters | attempt at a fix for the local regression failure ...
|
commit | commitdiff | tree |
2012-02-10 |
Morgan Deters | script to ease creating a new theory from scratch ...
|
commit | commitdiff | tree |
2012-02-10 |
Morgan Deters | correct comment typo found during today's architectural...
|
commit | commitdiff | tree |
2012-02-07 |
Morgan Deters | re-adding comment about available languages
|
commit | commitdiff | tree |
2012-01-27 |
Morgan Deters | effecting the same change in the compat Java binding...
|
commit | commitdiff | tree |
2011-12-14 |
Morgan Deters | minor fixes to printing and parsing of CVC-language...
|
commit | commitdiff | tree |
2011-12-08 |
Morgan Deters | Disable a BV rewriter statistic (after checking with...
|
commit | commitdiff | tree |
2011-12-06 |
Morgan Deters | LemmaStatus changes, as agreed to during 12/2 meeting.
|
commit | commitdiff | tree |
2011-12-06 |
Morgan Deters | oops, removing some integer operations that leaked...
|
commit | commitdiff | tree |
2011-12-06 |
Morgan Deters | fix errors in smt-lib2 output; needed for debugging
|
commit | commitdiff | tree |
2011-12-05 |
Morgan Deters | change short-circuiting behavior of Command execution...
|
commit | commitdiff | tree |
2011-12-02 |
Morgan Deters | Error detection is different now---with new Command...
|
commit | commitdiff | tree |
2011-11-30 |
Morgan Deters | disable bug288.smt so that "make check" goes through...
|
commit | commitdiff | tree |
2011-11-30 |
Morgan Deters | fix linking errors on oneiric
|
commit | commitdiff | tree |
2011-11-26 |
Morgan Deters | Fix Java JNI installation path
|
commit | commitdiff | tree |
2011-11-22 |
Morgan Deters | fix module name for CVC4 jar file; part of the fix...
|
commit | commitdiff | tree |
2011-11-22 |
Morgan Deters | More language bindings work:
|
commit | commitdiff | tree |
2011-11-16 |
Morgan Deters | Fix "make dist". Fixes to python and ruby bindings...
|
commit | commitdiff | tree |
2011-11-16 |
Morgan Deters | Addressed many of the concerns raised in the public...
|
commit | commitdiff | tree |
2011-11-16 |
Morgan Deters | fix to build system for java bindings
|
commit | commitdiff | tree |
2011-11-16 |
Morgan Deters | * Applying Andy's fix for datatypes bug #286; thanks...
|
commit | commitdiff | tree |
2011-11-15 |
Morgan Deters | Bindings work (ocaml bindings are now sort of working...
|
commit | commitdiff | tree |
2011-11-15 |
Morgan Deters | additional minor changes to get python binding on better...
|
commit | commitdiff | tree |
2011-11-15 |
Morgan Deters | fixes for python language binding, added python example
|
commit | commitdiff | tree |
2011-11-14 |
Morgan Deters | public tests need to be linked against gmp/cln explicitly...
|
commit | commitdiff | tree |
2011-11-06 |
Morgan Deters | datatype stuff in compatibility interface implemented
|
commit | commitdiff | tree |
2011-11-05 |
Morgan Deters | Context::ScopedPush implemented (in support of theory...
|
commit | commitdiff | tree |
2011-11-04 |
Morgan Deters | STRING_TYPE and CONST_STRING and associate type infrastructu...
|
commit | commitdiff | tree |
2011-11-02 |
Morgan Deters | Only print a shortlist of most-commonly-used options...
|
commit | commitdiff | tree |
2011-11-02 |
Morgan Deters | give an option error if the user specifies --proof...
|
commit | commitdiff | tree |
2011-11-02 |
Morgan Deters | fully implement the always-check-again-after-the-output...
|
commit | commitdiff | tree |
2011-11-02 |
Morgan Deters | Sometimes antlr decides to generate lexers and parsers...
|
commit | commitdiff | tree |
2011-11-02 |
Morgan Deters | better Integer asserts when there's overflow on conversion...
|
commit | commitdiff | tree |
2011-11-01 |
Morgan Deters | Improvements to header installation on user machines...
|
commit | commitdiff | tree |
2011-10-31 |
Morgan Deters | fixes to assertions in GMP to match CLN behavior
|
commit | commitdiff | tree |
2011-10-31 |
Morgan Deters | another make distclean fix
|
commit | commitdiff | tree |
2011-10-31 |
Morgan Deters | fixes to "make distclean" and "make maintainerclean"
|
commit | commitdiff | tree |
2011-10-31 |
Morgan Deters | fix to "make install"
|
commit | commitdiff | tree |
2011-10-29 |
Morgan Deters | fix some doxygen warnings
|
commit | commitdiff | tree |
2011-10-29 |
Morgan Deters | support for proof regressions in other parts of the...
|
commit | commitdiff | tree |
2011-10-29 |
Morgan Deters | fix unit tests
|
commit | commitdiff | tree |
2011-10-29 |
Morgan Deters | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF...
|
commit | commitdiff | tree |
2011-10-28 |
Morgan Deters | proof regressions
|
commit | commitdiff | tree |
2011-10-28 |
Morgan Deters | * ability to output NodeBuilders without first converting...
|
commit | commitdiff | tree |
2011-10-23 |
Morgan Deters | Implement changes from yesterday morning's meeting...
|
commit | commitdiff | tree |
2011-10-21 |
Morgan Deters | some printing and parser fixes for problems recently...
|
commit | commitdiff | tree |
2011-10-21 |
Morgan Deters | add gcc version information to Configuration, and warn...
|
commit | commitdiff | tree |
2011-10-20 |
Morgan Deters | add support for QF_AUFLIA and QF_AUFLIRA logic strings...
|
commit | commitdiff | tree |
2011-10-19 |
Morgan Deters | fix configure step on Ubuntu oneiric (11.10)-- related...
|
commit | commitdiff | tree |
2011-10-19 |
Morgan Deters | fix bug #264: competition / other static library builds...
|
commit | commitdiff | tree |
2011-10-13 |
Morgan Deters | fix make dist
|
commit | commitdiff | tree |
2011-10-13 |
Morgan Deters | Interruption, time-out, and deterministic time-out...
|
commit | commitdiff | tree |
2011-10-07 |
Morgan Deters | Some new Datatype public functionality, as per Chris...
|
commit | commitdiff | tree |
2011-10-06 |
Morgan Deters | don't build language bindings unless expressly requested...
|
commit | commitdiff | tree |
next |