| 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 |
| 2010-09-28 |
Morgan Deters | comment fix as per this morning's meeting; also, don...
|
commit | commitdiff | tree |
| 2010-09-24 |
Morgan Deters | roll back an unintended change with r900
|
commit | commitdiff | tree |
| 2010-09-24 |
Morgan Deters | Fix build system for Mac OS X builds (resolves bug...
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | remove assertion in TNode destructor and ensure all...
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | fix statistics-registry-related memory leaks
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | part of review (bug #197): coding conventions, file...
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | svn:ignore properties for new bv stuff
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | some code cleanup, documentation, review of "kinded...
|
commit | commitdiff | tree |
| 2010-09-14 |
Morgan Deters | ensure uf/congruence closure debugging stuff isn't...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | make Node iterators more STL-friendly, resolves bug...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | build system consistency in target names for unit test...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | statistics are now printed on timeout (SIGXCPU) and...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | link TAGS file into builds/ directory, when built....
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | "Leftist NodeBuilders" are now supported.
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | recategorize eq_diamond14 as a regress2 test (instead...
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | fix an error in TimerStat
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | neglected build system update from r848 (last commit)
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | * add TimerStat statistic type
|
commit | commitdiff | tree |
| 2010-09-01 |
Morgan Deters | "make check" now places binaries in the proper place...
|
commit | commitdiff | tree |
| 2010-09-01 |
Morgan Deters | reflect in build strings that -gmp is now the default...
|
commit | commitdiff | tree |
| 2010-09-01 |
Morgan Deters | added documentation, closes bug 97
|
commit | commitdiff | tree |
| 2010-08-20 |
Morgan Deters | turn off extra-checking (which does extra theory-rewriter...
|
commit | commitdiff | tree |
| 2010-08-19 |
Morgan Deters | UF theory bug fixes, code cleanup, and extra debugging...
|
commit | commitdiff | tree |
| 2010-08-18 |
Morgan Deters | more tests, configuration for UF
|
commit | commitdiff | tree |
| 2010-08-17 |
Morgan Deters | Merge from "cc" branch:
|
commit | commitdiff | tree |
| 2010-08-17 |
Morgan Deters | Add "no trash" CDMap elements, so that CDMap elements...
|
commit | commitdiff | tree |
| 2010-08-17 |
Morgan Deters | Change TheoryEngine to use pointers to theories instead of
|
commit | commitdiff | tree |
| 2010-08-16 |
Morgan Deters | add zlib checks to configure (new minisat requires...
|
commit | commitdiff | tree |
| 2010-07-29 |
Morgan Deters | fix TheoryEngineWhite, add documentation; related to...
|
commit | commitdiff | tree |
| 2010-07-28 |
Morgan Deters | fixed theory engine white test for new (old) theoryOf...
|
commit | commitdiff | tree |
| 2010-07-22 |
Morgan Deters | incorporate a fix from smtcomp2010 version for handling...
|
commit | commitdiff | tree |
| 2010-07-10 |
Morgan Deters | add >, <=, and >= comparisons for Exprs and Nodes
|
commit | commitdiff | tree |
| 2010-07-08 |
Morgan Deters | context work to support cdmaps with elements allocated...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | minor changes to cdmap/cdset interface for detection...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | chris and i committed the same fix; reverting the ...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | add exit status to regression that was failing
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | some build system changes reverted after the CLN build...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | competition submission should be fully static
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | fixed submission target
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | things for competition upload: new "make submission...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | Don't eagerly collect zombies. This should speed up...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | add Configuration::isCompetitionBuild() and some main...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | fix crash on command line parsing
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | merge from CC work: pieces of the parser need to be...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | Fixes for doubled-statistics (bug 171), a fix to muzzled...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | add regressions from bug reports
|
commit | commitdiff | tree |
| 2010-07-05 |
Morgan Deters | better exception wording, assertion-handling in multiple...
|
commit | commitdiff | tree |
| 2010-07-05 |
Morgan Deters | better exception wording, assertion-handling in multiple...
|
commit | commitdiff | tree |
| 2010-07-05 |
Morgan Deters | workaround for strange CIMS installation of automake...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | Considerably simplified the way output streams are...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | assigning benchmark statuses
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | better detection for static binary building
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | fix to production build
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | enable arrays
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | don't do extra-checking for all regressions; that's...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | With "-d extra-checking", rewrites are now checked...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | bug 168 fixed (TheoryEngine::rewrite is not fully rewriting...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes
|
commit | commitdiff | tree |
| 2010-07-03 |
Morgan Deters | fix warnings
|
commit | commitdiff | tree |
| 2010-07-03 |
Morgan Deters | better config.reconfig script auto-generated
|
commit | commitdiff | tree |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build...
|
commit | commitdiff | tree |
| 2010-07-02 |
Morgan Deters | re-generated comment headers of source files
|
commit | commitdiff | tree |
| 2010-07-02 |
Morgan Deters | roll back a small change that made arith fail some...
|
commit | commitdiff | tree |
| 2010-07-02 |
Morgan Deters | * Added white-box TheoryEngine test that tests the...
|
commit | commitdiff | tree |
| 2010-06-30 |
Morgan Deters | add documentation for additional clarity, re-add addTerm()
|
commit | commitdiff | tree |
| 2010-06-30 |
Morgan Deters | fix to switch fall-through; stats now off by default...
|
commit | commitdiff | tree |
| 2010-06-30 |
Morgan Deters | checking in CC module interface for reference.
|
commit | commitdiff | tree |
| 2010-06-30 |
Morgan Deters | Support for failing .smt and .smt2 regressions (and...
|
commit | commitdiff | tree |
| 2010-06-30 |
Morgan Deters | * theory "tree" rewriting implemented and works
|
commit | commitdiff | tree |
| 2010-06-29 |
Morgan Deters | add --default-expr-depth=N command line parameter,...
|
commit | commitdiff | tree |
| 2010-06-29 |
Morgan Deters | * Add CDMap<>::insertAtContextLevelZero(k, d) for inserting...
|
commit | commitdiff | tree |
| 2010-06-18 |
Morgan Deters | "statistics" and "staticbinary" are now tags on the...
|
commit | commitdiff | tree |
| 2010-06-18 |
Morgan Deters | bug fix (unreported on bugzilla): skolem variables...
|
commit | commitdiff | tree |
| 2010-06-17 |
Morgan Deters | fix some minor annoyances in the regression test Makefiles...
|
commit | commitdiff | tree |
| 2010-06-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>...
|
commit | commitdiff | tree |
| 2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic...
|
commit | commitdiff | tree |
| 2010-06-15 |
Morgan Deters | (minor) fix for file documentation
|
commit | commitdiff | tree |
| 2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all changes...
|
commit | commitdiff | tree |
| 2010-06-03 |
Morgan Deters | * Added NodeBuilder<>::getChild() to make interface...
|
commit | commitdiff | tree |
| 2010-06-03 |
Morgan Deters | resolving bug 139: metaKindOf() warnings still exist...
|
commit | commitdiff | tree |
| 2010-06-02 |
Morgan Deters | added a handful of debugTagIsOn("context") checks to...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search