| 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 |
| 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 |
| next |
projects / cvc5.git / search