| 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 |
| 2010-11-18 |
Morgan Deters | small changes to documentation; also, '\''make doc...
|
commit | commitdiff | tree |
| 2010-11-17 |
Morgan Deters | fix improper CongruenceClosureWhite test by merging...
|
commit | commitdiff | tree |
| 2010-11-17 |
Morgan Deters | add some stats to UF/CC
|
commit | commitdiff | tree |
| 2010-11-17 |
Morgan Deters | The "UF engineering issues" release, after much profiling.
|
commit | commitdiff | tree |
| 2010-11-16 |
Morgan Deters | SmtEngine now fails with a ModalException if --incremental...
|
commit | commitdiff | tree |
| 2010-11-16 |
Morgan Deters | fix function signatures
|
commit | commitdiff | tree |
| 2010-11-15 |
Morgan Deters | cleanup from today's commits: delegate as-yet-unimplemented...
|
commit | commitdiff | tree |
| 2010-11-15 |
Morgan Deters | Pretty-printer infrastructure created (in src/printer...
|
commit | commitdiff | tree |
| 2010-11-15 |
Morgan Deters | minor tweaks to last commit, testing infrastructure
|
commit | commitdiff | tree |
| 2010-11-15 |
Morgan Deters | fix some things with the build system (make dist, make...
|
commit | commitdiff | tree |
| 2010-11-11 |
Morgan Deters | make addsourcedir executable
|
commit | commitdiff | tree |
| 2010-11-08 |
Morgan Deters | command-line flag to disable theory registration, also...
|
commit | commitdiff | tree |
| 2010-11-08 |
Morgan Deters | cleanup, documentation, SMT-LIBv2 compliance
|
commit | commitdiff | tree |
| 2010-11-08 |
Morgan Deters | fix out-of-date version/copyright for minisats
|
commit | commitdiff | tree |
| 2010-11-04 |
Morgan Deters | competition mode implies --no-checking
|
commit | commitdiff | tree |
| 2010-10-31 |
Morgan Deters | small fix to debug segfaults
|
commit | commitdiff | tree |
| 2010-10-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxygen...
|
commit | commitdiff | tree |
| 2010-10-31 |
Morgan Deters | maximize stack limit, handle SEGV signals on an alternate...
|
commit | commitdiff | tree |
| 2010-10-29 |
Morgan Deters | portability updates to build system
|
commit | commitdiff | tree |
| 2010-10-29 |
Morgan Deters | minor fixes as a result of review of Chris's getType...
|
commit | commitdiff | tree |
| 2010-10-28 |
Morgan Deters | fix confusing CXXTEST configure message, indicating...
|
commit | commitdiff | tree |
| 2010-10-27 |
Morgan Deters | make dist-building more pleasant (put .tar.gz in builds...
|
commit | commitdiff | tree |
| 2010-10-27 |
Morgan Deters | fix test Makefile
|
commit | commitdiff | tree |
| 2010-10-27 |
Morgan Deters | "make dist" fixes; a distribution tarball can now build...
|
commit | commitdiff | tree |
| 2010-10-27 |
Morgan Deters | support focus on a particular subpackage (e.g. "expr")
|
commit | commitdiff | tree |
| 2010-10-27 |
Morgan Deters | inter-package dependence graph generation (in dot format)
|
commit | commitdiff | tree |
| 2010-10-26 |
Morgan Deters | GetValueCommand now gives a TUPLE as output, with the...
|
commit | commitdiff | tree |
| 2010-10-25 |
Morgan Deters | for static linking of driver binary, list libmain.a...
|
commit | commitdiff | tree |
| 2010-10-25 |
Morgan Deters | missing case in expr output; resolves bug 226
|
commit | commitdiff | tree |
| 2010-10-24 |
Morgan Deters | add a CVC4_UNDEFINED keyword, for intentionally undefined...
|
commit | commitdiff | tree |
| 2010-10-22 |
Morgan Deters | removing unused functionality from util; related to...
|
commit | commitdiff | tree |
| 2010-10-22 |
Morgan Deters | fix valgrind-reported errors in parser builder; a non...
|
commit | commitdiff | tree |
| 2010-10-22 |
Morgan Deters | comment out the "interactive" check in SmtEngine::getValue...
|
commit | commitdiff | tree |
| 2010-10-20 |
Morgan Deters | fix bug #220 (assertion fails if no query/check-sat...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | with --stats, statistics are dumped for memouts and...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | minor unit test fix-ups
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | fix debugPrintNode(), debugPrintTNode(), debugPrintNodeValue...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | fix some leaks in parser, add debug code to node manager...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | hooked up "we are incomplete" flag after conversation...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | Merge from cc-memout branch. Here are the main points
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | check last result in (get-assignment); some context...
|
commit | commitdiff | tree |
| 2010-10-11 |
Morgan Deters | use "forward" headers
|
commit | commitdiff | tree |
| 2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work...
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | reverting some changes to parser from last commit
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | support for SMT-LIBv2 :named attributes, and attributes...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search