| 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 |
| 2010-06-02 |
Morgan Deters | more VERBOSE test failures
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | fix bug #134: infinite deallocation loop
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | small cosmetic change to tests summary output
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | Remove isAtomic() as per 4/27/2010 meeting. Add comments...
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | fix compiler comparison-signedness warnings
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | added the ability to add custom expected stdout, stderr...
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | Use the newer automake test driver "parallel-tests...
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | fix bug #111: errors in building lcov-all
|
commit | commitdiff | tree |
| 2010-05-27 |
Morgan Deters | fix bug 120; competition mode regression failures for...
|
commit | commitdiff | tree |
| 2010-05-26 |
Morgan Deters | CDMap<> and CDOmap<> fixes to resolve bug 123
|
commit | commitdiff | tree |
| 2010-05-26 |
Morgan Deters | CDMap: fix bug 130
|
commit | commitdiff | tree |
| 2010-05-07 |
Morgan Deters | make CVC4::Rational public (fixes broken build)
|
commit | commitdiff | tree |
| 2010-05-03 |
Morgan Deters | more reasonable smt 2.0 benchmark test
|
commit | commitdiff | tree |
| 2010-05-03 |
Morgan Deters | main driver supports .smt2 input, added an smt2 regression...
|
commit | commitdiff | tree |
| 2010-05-03 |
Morgan Deters | theory detection fixes; fixes build breakage when you...
|
commit | commitdiff | tree |
| 2010-04-14 |
Morgan Deters | * Better dependency tracking for unit test building...
|
commit | commitdiff | tree |
| 2010-04-09 |
Morgan Deters | minor fixes to lcov build target, better contextobj...
|
commit | commitdiff | tree |
| 2010-04-09 |
Morgan Deters | added experimental "make lcov" target (it runs only...
|
commit | commitdiff | tree |
| 2010-04-08 |
Morgan Deters | A handful of build system fixes:
|
commit | commitdiff | tree |
| 2010-04-06 |
Morgan Deters | * Add some protected ContextObj accessors for ContextObj...
|
commit | commitdiff | tree |
| 2010-04-05 |
Morgan Deters | updating COPYING file to reflect that antlr_input_imports...
|
commit | commitdiff | tree |
| 2010-04-05 |
Morgan Deters | fix most of the warnings in the parser by (1) quieting...
|
commit | commitdiff | tree |
| 2010-04-05 |
Morgan Deters | minor formatting and code guidelines, related to parser...
|
commit | commitdiff | tree |
| 2010-04-04 |
Morgan Deters | * Addressed issues brought up in Chris's review of...
|
commit | commitdiff | tree |
| 2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute...
|
commit | commitdiff | tree |
| 2010-04-04 |
Morgan Deters | Recommit revision 365 (undoing revision 375, which...
|
commit | commitdiff | tree |
| 2010-04-01 |
Morgan Deters | cvc4 --show-config now gives library version
|
commit | commitdiff | tree |
| 2010-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and...
|
commit | commitdiff | tree |
| 2010-04-01 |
Morgan Deters | * Minor code formatting stuff in src/expr/type.{h,cpp...
|
commit | commitdiff | tree |
| 2010-04-01 |
Morgan Deters | minor forgotten things in last commit
|
commit | commitdiff | tree |
| 2010-04-01 |
Morgan Deters | PARSER STUFF:
|
commit | commitdiff | tree |
| 2010-03-30 |
Morgan Deters | again, re-enabling integer/rational tests (though they...
|
commit | commitdiff | tree |
| 2010-03-30 |
Morgan Deters | I think this finishes off the CDMap<>/Attribute leaks
|
commit | commitdiff | tree |
| 2010-03-30 |
Morgan Deters | fixing mistaken commit to unit test Makefile.am which...
|
commit | commitdiff | tree |
| 2010-03-30 |
Morgan Deters | Highlights of this commit are:
|
commit | commitdiff | tree |
| 2010-03-25 |
Morgan Deters | new domain-specific language for kinds files: permits...
|
commit | commitdiff | tree |
| 2010-03-16 |
Morgan Deters | * test/unit/Makefile.am, test/unit/expr/attribute_white.h,
|
commit | commitdiff | tree |
| 2010-03-15 |
Morgan Deters | This checkin resolves bug #57.
|
commit | commitdiff | tree |
| 2010-03-14 |
Morgan Deters | * test/unit/context/context_black.h: added a test for...
|
commit | commitdiff | tree |
| 2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterator...
|
commit | commitdiff | tree |
| 2010-03-12 |
Morgan Deters | * Added shutdown() functions to SmtEngine, TheoryEngine...
|
commit | commitdiff | tree |
| 2010-03-11 |
Morgan Deters | naive rewriting to fix minisat invariant; rewrite ...
|
commit | commitdiff | tree |
| 2010-03-10 |
Morgan Deters | fix production-build unit testing errors (they assumed...
|
commit | commitdiff | tree |
| 2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing
|
commit | commitdiff | tree |
| 2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no...
|
commit | commitdiff | tree |
| 2010-03-02 |
Morgan Deters | * NodeBuilder work: specifically, convenience builders...
|
commit | commitdiff | tree |
| 2010-02-27 |
Morgan Deters | fix compile error in black parser unit test after today...
|
commit | commitdiff | tree |
| 2010-02-27 |
Morgan Deters | A bag of unrelated fixes to bring trunk more in-line...
|
commit | commitdiff | tree |
| 2010-02-26 |
Morgan Deters | * test/unit/context/context_black.h: Test CDList<>...
|
commit | commitdiff | tree |
| 2010-02-25 |
Morgan Deters | * src/expr/node_builder.h: fixed some overly-aggressive...
|
commit | commitdiff | tree |
| 2010-02-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | * src/expr/attribute.h: fixed an issue with "const...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefile.ams
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | Re-committing revision 232 properly:
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | resolve bug 32; public-facing interface functions in...
|
commit | commitdiff | tree |
| 2010-02-22 |
Morgan Deters | fix bug 33 (statically link the "cvc4" binary); also...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search