2011-07-09 |
Morgan Deters | minor fixups
|
commit | commitdiff | tree |
2011-07-07 |
Morgan Deters | cudd-building prefs with --with-cudd / --without-cudd
|
commit | commitdiff | tree |
2011-06-30 |
Morgan Deters | Allow (- x) for unary minus in SMT-LIBv1, in addition...
|
commit | commitdiff | tree |
2011-06-30 |
Morgan Deters | only use theory registration if (1) a theory requests...
|
commit | commitdiff | tree |
2011-06-30 |
Morgan Deters | some things I had laying around in a directory but...
|
commit | commitdiff | tree |
2011-06-18 |
Morgan Deters | Some fixes inspired by Fedora 15:
|
commit | commitdiff | tree |
2011-06-06 |
Morgan Deters | compilation fix for x86 (from previous commit)
|
commit | commitdiff | tree |
2011-06-06 |
Morgan Deters | Fix for Mac OS breakage (x86 didn't crash, but probably...
|
commit | commitdiff | tree |
2011-06-03 |
Morgan Deters | datatypes work
|
commit | commitdiff | tree |
2011-06-02 |
Morgan Deters | minor fix to build system for system tests
|
commit | commitdiff | tree |
2011-06-01 |
Morgan Deters | minor fix, and better output for type errors
|
commit | commitdiff | tree |
2011-06-01 |
Morgan Deters | type ascriptions (casts) for parameterized datatypes...
|
commit | commitdiff | tree |
2011-05-28 |
Morgan Deters | fix unit test linking issue
|
commit | commitdiff | tree |
2011-05-28 |
Morgan Deters | include subversion information used for each build...
|
commit | commitdiff | tree |
2011-05-26 |
Morgan Deters | apply arithmetic static learner's miplibtrick in a...
|
commit | commitdiff | tree |
2011-05-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups
|
commit | commitdiff | tree |
2011-05-23 |
Morgan Deters | Merge from arrays2 branch.
|
commit | commitdiff | tree |
2011-05-14 |
Morgan Deters | fix production-build compiler warning
|
commit | commitdiff | tree |
2011-05-14 |
Morgan Deters | re-add a removed Datatype constructor that was causing...
|
commit | commitdiff | tree |
2011-05-14 |
Morgan Deters | reverting node manager change from 1881; also part...
|
commit | commitdiff | tree |
2011-05-14 |
Morgan Deters | add AscriptionType stuff to support nullary parameterized...
|
commit | commitdiff | tree |
2011-05-13 |
Morgan Deters | * fix for Mac OS (includes some ThreadLocal stuff copied...
|
commit | commitdiff | tree |
2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch:
|
commit | commitdiff | tree |
2011-05-05 |
Morgan Deters | luby sequence generator; can use to plot MiniSat's...
|
commit | commitdiff | tree |
2011-05-04 |
Morgan Deters | Stronger support for zero-performance-penalty output...
|
commit | commitdiff | tree |
2011-05-03 |
Morgan Deters | output fixes for performance
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | fix for configure
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | adding some previously-failing "bug" test cases for...
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | more minor fixes related to last few commits
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | another small fix
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | fix broken build; sorry, all!
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | fix a performance issue from last commit
|
commit | commitdiff | tree |
2011-05-02 |
Morgan Deters | Minor fixes to various parts of CVC4, including the...
|
commit | commitdiff | tree |
2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in...
|
commit | commitdiff | tree |
2011-04-25 |
Morgan Deters | Monday tasks:
|
commit | commitdiff | tree |
2011-04-25 |
Morgan Deters | small unit test fix; was broken only in non-assertion...
|
commit | commitdiff | tree |
2011-04-25 |
Morgan Deters | Weekend work. The main points:
|
commit | commitdiff | tree |
2011-04-23 |
Morgan Deters | fix for parser/tests for ANTLR 3.2 (it was working...
|
commit | commitdiff | tree |
2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation...
|
commit | commitdiff | tree |
2011-04-23 |
Morgan Deters | make run_regression script robust to DOS newlines :(
|
commit | commitdiff | tree |
2011-04-22 |
Morgan Deters | fix to last commit
|
commit | commitdiff | tree |
2011-04-22 |
Morgan Deters | Fixing SmtEngine::getValue() by adding a NodeManagerScope...
|
commit | commitdiff | tree |
2011-04-20 |
Morgan Deters | numerous bugfixes
|
commit | commitdiff | tree |
2011-04-20 |
Morgan Deters | incorrect usage of C++ std::string caused a test to...
|
commit | commitdiff | tree |
2011-04-20 |
Morgan Deters | Minor mixed-bag commit. Expected performance impact...
|
commit | commitdiff | tree |
2011-04-20 |
Morgan Deters | Tuesday end-of-day commit.
|
commit | commitdiff | tree |
2011-04-18 |
Morgan Deters | more work on CVC language
|
commit | commitdiff | tree |
2011-04-18 |
Morgan Deters | mostly CVC presentation language parsing and printing
|
commit | commitdiff | tree |
2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch:
|
commit | commitdiff | tree |
2011-04-16 |
Morgan Deters | also a fix for a system test related to ParserBuilder
|
commit | commitdiff | tree |
2011-04-16 |
Morgan Deters | unit test fixes for new NodeManager constructor (related...
|
commit | commitdiff | tree |
2011-04-15 |
Morgan Deters | parser/driver fixes for last commit
|
commit | commitdiff | tree |
2011-04-15 |
Morgan Deters | partial merge from portfolio branch, adding conversions...
|
commit | commitdiff | tree |
2011-04-14 |
Morgan Deters | Three things:
|
commit | commitdiff | tree |
2011-04-13 |
Morgan Deters | fix compiler warning in non-replay builds
|
commit | commitdiff | tree |
2011-04-13 |
Morgan Deters | cache the LET rewriting (and defined-function expansion...
|
commit | commitdiff | tree |
2011-04-13 |
Morgan Deters | add disequality token ("/=") and rules to CVC parser
|
commit | commitdiff | tree |
2011-04-12 |
Morgan Deters | another small fix to "make dist" that can lead to a...
|
commit | commitdiff | tree |
2011-04-11 |
Morgan Deters | fix "make dist" issues in makefiles
|
commit | commitdiff | tree |
2011-04-10 |
Morgan Deters | merge from replay branch
|
commit | commitdiff | tree |
2011-04-10 |
Morgan Deters | Add -lprofiler when --with-google-perftools is offered...
|
commit | commitdiff | tree |
2011-04-05 |
Morgan Deters | Memory fix for congruence closure; affects many UF...
|
commit | commitdiff | tree |
2011-04-05 |
Morgan Deters | Minor adjustments to the Registrar commit in 1644,...
|
commit | commitdiff | tree |
2011-04-04 |
Morgan Deters | Add documentation to Node and TNode (closes bug #201).
|
commit | commitdiff | tree |
2011-04-02 |
Morgan Deters | with --with-google-perftools, don't just take it on...
|
commit | commitdiff | tree |
2011-04-02 |
Morgan Deters | minor fixes
|
commit | commitdiff | tree |
2011-04-01 |
Morgan Deters | minor bugfixes (fixes broken dynamic-library build...
|
commit | commitdiff | tree |
2011-04-01 |
Morgan Deters | documentation fix
|
commit | commitdiff | tree |
2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch...
|
commit | commitdiff | tree |
2011-03-30 |
Morgan Deters | improve recent low-coverage complaints
|
commit | commitdiff | tree |
2011-03-30 |
Morgan Deters | Add Valuation::getSatValue() so that theories can access...
|
commit | commitdiff | tree |
2011-03-27 |
Morgan Deters | fixes to attribute-internals warnings on 64-bit; also...
|
commit | commitdiff | tree |
2011-03-26 |
Morgan Deters | fix typo
|
commit | commitdiff | tree |
2011-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branch...
|
commit | commitdiff | tree |
2011-03-25 |
Morgan Deters | Fix for a bug Andrew Reynolds found for iterators that...
|
commit | commitdiff | tree |
2011-03-15 |
Morgan Deters | small fixes for run_regression script to workaround...
|
commit | commitdiff | tree |
2011-03-15 |
Morgan Deters | Merge from cudd branch. This mostly just adds support...
|
commit | commitdiff | tree |
2011-03-14 |
Morgan Deters | change to the run_regression script to better manage...
|
commit | commitdiff | tree |
2011-03-14 |
Morgan Deters | Fix to bug 251 (non-spurious warnings in builds) by...
|
commit | commitdiff | tree |
2011-03-10 |
Morgan Deters | Fix bug 246 (occasional buffer overflow related to...
|
commit | commitdiff | tree |
2011-03-10 |
Morgan Deters | ITE removal in TheoryEngine was not properly handling...
|
commit | commitdiff | tree |
2011-03-08 |
Morgan Deters | Clean up Theory base class as per code review bug ...
|
commit | commitdiff | tree |
2011-03-05 |
Morgan Deters | adding three features to CVC parser that drastically...
|
commit | commitdiff | tree |
2011-03-03 |
Morgan Deters | fix for bug #244, "Segfault if file cannot be found...
|
commit | commitdiff | tree |
2011-03-03 |
Morgan Deters | resurrecting triple.h from r1023 (after which it was...
|
commit | commitdiff | tree |
2011-02-28 |
Morgan Deters | CongruenceClosure module now should support nullary...
|
commit | commitdiff | tree |
2011-02-28 |
Morgan Deters | Review of mktheorytraits, mkrewriter, and recent changes...
|
commit | commitdiff | tree |
2011-02-28 |
Morgan Deters | minor doxygen build target fixes
|
commit | commitdiff | tree |
2011-02-28 |
Morgan Deters | Review of statistics code. Added lots of documentation...
|
commit | commitdiff | tree |
2011-02-26 |
Morgan Deters | Commit to fix bug 241 (improper "using namespace std...
|
commit | commitdiff | tree |
2011-02-26 |
Morgan Deters | Merge from theory-break-dependences branch to break...
|
commit | commitdiff | tree |
2011-02-26 |
Morgan Deters | fix serious regression breakage (segfaults) caused...
|
commit | commitdiff | tree |
2010-12-17 |
Morgan Deters | tls.h, rational.h, and integer.h are only re-generated...
|
commit | commitdiff | tree |
2010-12-16 |
Morgan Deters | minor fixes for correct doxygen output
|
commit | commitdiff | tree |
2010-12-14 |
Morgan Deters | make some CC module methods private that should not...
|
commit | commitdiff | tree |
2010-12-14 |
Morgan Deters | congruence closure module now supports things other...
|
commit | commitdiff | tree |
2010-12-14 |
Morgan Deters | permit PARAMETERIZED operators to be zero-ary
|
commit | commitdiff | tree |
2010-12-14 |
Morgan Deters | fix to static learning application in UF, resolves...
|
commit | commitdiff | tree |
2010-11-19 |
Morgan Deters | Merge from ufprop branch, including:
|
commit | commitdiff | tree |
2010-11-19 |
Morgan Deters | add statistics support information to --show-config
|
commit | commitdiff | tree |
next |