cvc5.git
2010-07-07 Christopher... Adding config.reconfig to .gitignore
2010-07-06 Tim KingFixed exit status for competition mode.
2010-07-06 Morgan DetersDon't eagerly collect zombies. This should speed up...
2010-07-06 Morgan Detersadd Configuration::isCompetitionBuild() and some main...
2010-07-06 Morgan Detersfix crash on command line parsing
2010-07-06 Clark BarrettMoved registration to theory engine
2010-07-06 Christopher... Adding Array types to SMT2 parser
2010-07-06 Christopher... Adding arithmetic symbols to CVC parser (Fixes: #176)
2010-07-06 Morgan Detersmerge from CC work: pieces of the parser need to be...
2010-07-06 Morgan DetersFixes for doubled-statistics (bug 171), a fix to muzzle...
2010-07-06 Morgan Detersadd regressions from bug reports
2010-07-05 Morgan Detersbetter exception wording, assertion-handling in multipl...
2010-07-05 Morgan Detersbetter exception wording, assertion-handling in multipl...
2010-07-05 Morgan Detersworkaround for strange CIMS installation of automake...
2010-07-05 Clark BarrettAdded Cesare to list of authors
2010-07-05 Clark BarrettChanged AUTHORS - removed references to earlier CVC...
2010-07-04 Morgan DetersConsiderably simplified the way output streams are...
2010-07-04 Morgan Detersassigning benchmark statuses
2010-07-04 Morgan Detersbetter detection for static binary building
2010-07-04 Morgan Detersfix to production build
2010-07-04 Morgan Detersenable arrays
2010-07-04 Morgan Detersdon't do extra-checking for all regressions; that's...
2010-07-04 Morgan DetersWith "-d extra-checking", rewrites are now checked...
2010-07-04 Morgan Detersbug 168 fixed (TheoryEngine::rewrite is not fully rewri...
2010-07-04 Morgan Detersmake dist && make distcheck functional, other fixes
2010-07-03 Morgan Detersfix warnings
2010-07-03 Morgan Detersbetter config.reconfig script auto-generated
2010-07-03 Morgan DetersWith this commit come a number of changes to build...
2010-07-02 Tim KingMerges the cln-test branch into the main branch.
2010-07-02 Morgan Detersre-generated comment headers of source files
2010-07-02 Morgan Detersroll back a small change that made arith fail some...
2010-07-02 Morgan Deters* Added white-box TheoryEngine test that tests the...
2010-06-30 Morgan Detersadd documentation for additional clarity, re-add addTerm()
2010-06-30 Christopher... Parsing support for SMT divisions: LRA, QF_UFLIA, QF_UF...
2010-06-30 Christopher... Adding documentation for --strict-parsing (Closes:...
2010-06-30 Morgan Detersfix to switch fall-through; stats now off by default...
2010-06-30 Morgan Deterschecking in CC module interface for reference.
2010-06-30 Morgan DetersSupport for failing .smt and .smt2 regressions (and...
2010-06-30 Morgan Deters* theory "tree" rewriting implemented and works
2010-06-29 Morgan Detersadd --default-expr-depth=N command line parameter,...
2010-06-29 Tim KingThis commit merges the decaying-rows branch into the...
2010-06-29 Tim KingUpdate to stats.h is now back into the trunk. The...
2010-06-29 Tim KingMerging the unate-propagator branch into the trunk...
2010-06-29 Morgan Deters* Add CDMap<>::insertAtContextLevelZero(k, d) for inser...
2010-06-24 Tim KingAdded post_mortem.py a statistics collector for user...
2010-06-22 Tim KingMade ~Stat() virtual. Added some additional statistics...
2010-06-18 Morgan Deters"statistics" and "staticbinary" are now tags on the...
2010-06-18 Tim KingMerging the statistics branch into the main trunk....
2010-06-18 Morgan Detersbug fix (unreported on bugzilla): skolem variables...
2010-06-17 Morgan Detersfix some minor annoyances in the regression test Makefi...
2010-06-16 Tim KingAdded the experimental. +bool TheoryArith::AssertEquali...
2010-06-16 Tim KingMore assorted changes to arithmetic in preparation...
2010-06-16 Tim KingThis commit just contains miscellaneous arithmetic...
2010-06-15 Morgan Detersfix last commit gcc options (-wunknown-pragmas ==>...
2010-06-15 Morgan Detersremove warnings about unknown #pragma GCC diagnostic...
2010-06-15 Tim KingI made a documentation change to get() to make explicit...
2010-06-15 Morgan Deters(minor) fix for file documentation
2010-06-14 Christopher... Adding array select/store to SMT v1 and v2 parsers
2010-06-14 Tim KingFix to arith to make sure it only attempts to report...
2010-06-14 Clark BarrettStarted work on array theory
2010-06-06 Tim KingSome assorted fixes and local optimizations for theory...
2010-06-06 Tim KingAdding += and *= to Rational.
2010-06-04 Tim KingChanged how assignments are saved during check. These...
2010-06-04 Tim KingChanged several arguments to const references.
2010-06-04 Christopher... Adding QF_SAT to SMT parsers
2010-06-04 Christopher... Reimplementing AntlrInputStream::newStreamInputStream
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change...
2010-06-04 Christopher... Missing files in last commit
2010-06-04 Christopher... Enabling RDL/IDL in SMT v1 and adding some simple tests
2010-06-03 Christopher... Implementing input from stdin (Fixes: #144)
2010-06-03 Tim KingFixes 2 issues with assignments. The first is construct...
2010-06-03 Tim KingAdds toString to DeltaRational
2010-06-03 Tim KingFixes a bug where registration occurs before preregistr...
2010-06-03 Christopher... Changing ANTLR3 detection in configure (Fixes #147)
2010-06-03 Morgan Deters* Added NodeBuilder<>::getChild() to make interface...
2010-06-03 Morgan Detersresolving bug 139: metaKindOf() warnings still exist...
2010-06-02 Morgan Detersadded a handful of debugTagIsOn("context") checks to...
2010-06-02 Morgan Detersmore VERBOSE test failures
2010-06-01 Christopher... Fixing test failures in production build
2010-06-01 Tim KingThis commit adds a debugTagIsOn() guard around some...
2010-06-01 Tim KingThis commit is a fix for a bug in removeITEs(). The...
2010-06-01 Christopher... Adding SMT v2 parsing support for: QF_IDL, QF_NIA,...
2010-06-01 Christopher... Checking for executable permission on antlr3 script
2010-06-01 Tim KingFixed a bug in partial_model.cpp where the data was...
2010-06-01 Christopher... Fixing failing test in r521
2010-06-01 Dejan JovanovićIn order for splitting on demand to be able to retract...
2010-05-31 Christopher... First draft implementation of mkAssociative
2010-05-29 Tim KingAdding a couple of example from fuzzsmt to regress1.
2010-05-29 Tim KingCouple of fixes to theory arith. pivotAndUpdate now...
2010-05-29 Tim KingAfter blasting the disjuncts, TheoryEngine rewrite...
2010-05-28 Tim KingThis update enables TheoryArith to accept assertions...
2010-05-28 Tim KingBug fixes for combining coefficients of rewritten nodes.
2010-05-28 Tim KingAdded printModel() to src/theory/arith/partial_model...
2010-05-28 Tim KingA few changes to the organization of TheoryEngine rewri...
2010-05-28 Tim KingMoving the ITE removal from CnfStream to TheoryEngine...
2010-05-27 Morgan Detersfix bug #134: infinite deallocation loop
2010-05-27 Morgan Deterssmall cosmetic change to tests summary output
2010-05-27 Morgan DetersRemove isAtomic() as per 4/27/2010 meeting. Add commen...
2010-05-27 Morgan Detersfix compiler comparison-signedness warnings
2010-05-27 Tim KingReverting this file to not include any comments. (Morga...
next