| 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 |
| 2010-10-09 |
Morgan Deters | fix to unit tests
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | bug fixes to model gen
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | Model generation for arith, boolean, and uf theories via
|
commit | commitdiff | tree |
| 2010-10-08 |
Morgan Deters | * (define-fun...) now has proper type checking in non...
|
commit | commitdiff | tree |
| 2010-10-08 |
Morgan Deters | support (set-info) on status, source, category, difficulty...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | oops, reverting a change to a regression test that...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | type checking for define-fun in production builds;...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | NodeSelfIterator implementation and unit test (resolves...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | SMT-LIBv2 (define-fun...) command now functional; does...
|
commit | commitdiff | tree |
| 2010-10-06 |
Morgan Deters | declare-sort, define-sort working but not thoroughly...
|
commit | commitdiff | tree |
| 2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get...
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | fix gdb issues (at least for static builds); resolves...
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | fix regular expressions in build system
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | fixing CLN builds, which had broken the build tonight...
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | re-add a dependency to fix compile warnings
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | remove/shuffle some #include dependencies; fix some...
|
commit | commitdiff | tree |
| 2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors...
|
commit | commitdiff | tree |
| 2010-10-02 |
Morgan Deters | revert a workaround fix to CDMap that was committed...
|
commit | commitdiff | tree |
| 2010-10-02 |
Morgan Deters | dump statistics on abnormal output: unexpected exceptions...
|
commit | commitdiff | tree |
| 2010-10-01 |
Morgan Deters | re-add no-deprecated to C sources; update some file...
|
commit | commitdiff | tree |
| 2010-10-01 |
Morgan Deters | last update broke the parser inadvertently, fixing...
|
commit | commitdiff | tree |
| 2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac...
|
commit | commitdiff | tree |
| 2010-09-30 |
Morgan Deters | fixed a number of problems with mac os x builds. build...
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix predicate bug in UF; code cleanup in theory.cpp
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | node iterator work
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix pre-registration of operator, previously committed...
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix unit test for kinded iterators in Node/TNode
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix TLS support for platforms (e.g. Mac OS X) where...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search