2014-10-07 |
Morgan Deters | Fix a bug in tuple-record handling. Thanks to Saumya... |
blob | commitdiff | raw |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | nodemanager robust skolem numbering |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge pull request #25 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-17 |
Kshitij Bansal | simplify mkSkolem naming system: don't use $$ |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
blob | commitdiff | raw | diff to current |
2013-11-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
blob | commitdiff | raw | diff to current |
2013-11-25 |
Tim King | Substantial Changes: |
blob | commitdiff | raw | diff to current |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-21 |
Tim King | Adding the changes needed to delete rewriter attributes... |
blob | commitdiff | raw | diff to current |
2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
blob | commitdiff | raw | diff to current |
2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
blob | commitdiff | raw | diff to current |
2013-02-03 |
Morgan Deters | Merge from mdeters/miplib branch (commit 'ce7c485182902... |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Fix a tuple attribute bug that was causing model-genera... |
blob | commitdiff | raw | diff to current |
2012-12-01 |
Morgan Deters | Fix the way abstract values are typed; fixes some compl... |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Morgan Deters | Tuples and records merge. Resolves bug 270. |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... |
blob | commitdiff | raw | diff to current |
2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2012-02-23 |
Morgan Deters | Added ability to set a "cvc4-specific logic" in standar... |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2011-11-16 |
Morgan Deters | Addressed many of the concerns raised in the public... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
blob | commitdiff | raw | diff to current |
2011-06-06 |
Morgan Deters | Fix for Mac OS breakage (x86 didn't crash, but probably... |
blob | commitdiff | raw | diff to current |
2011-06-01 |
Morgan Deters | type ascriptions (casts) for parameterized datatypes... |
blob | commitdiff | raw | diff to current |
2011-04-20 |
Morgan Deters | Tuesday end-of-day commit. |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch: |
blob | commitdiff | raw | diff to current |
2011-04-15 |
Morgan Deters | partial merge from portfolio branch, adding conversions... |
blob | commitdiff | raw | diff to current |
2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch... |
blob | commitdiff | raw | diff to current |
2010-12-14 |
Morgan Deters | congruence closure module now supports things other... |
blob | commitdiff | raw | diff to current |
2010-10-29 |
Morgan Deters | minor fixes as a result of review of Chris's getType... |
blob | commitdiff | raw | diff to current |
2010-10-28 |
Christopher L. Conway | Changing NodeBuilder::debugCheckType() to maybeCheckType() |
blob | commitdiff | raw | diff to current |
2010-10-28 |
Christopher L. Conway | Disabling bottom-up algorithm in NodeManager::getType... |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Christopher L. Conway | Small change to documentation in NodeManager::getType |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Christopher L. Conway | Slightly more efficient version of getType |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Christopher L. Conway | Modifying getType to use a non-recursive algorithm... |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Tim King | IDENTITY has been removed. |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Morgan Deters | fix some leaks in parser, add debug code to node manage... |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Morgan Deters | Merge from cc-memout branch. Here are the main points |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Morgan Deters | * (define-fun...) now has proper type checking in non... |
blob | commitdiff | raw | diff to current |
2010-10-06 |
Morgan Deters | declare-sort, define-sort working but not thoroughly... |
blob | commitdiff | raw | diff to current |
2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors... |
blob | commitdiff | raw | diff to current |
2010-09-28 |
Morgan Deters | fix TLS support for platforms (e.g. Mac OS X) where... |
blob | commitdiff | raw | diff to current |
2010-09-27 |
ACSYS | add workaround for systems (i.e., Mac OS X) that don... |
blob | commitdiff | raw | diff to current |
2010-09-21 |
Morgan Deters | remove assertion in TNode destructor and ensure all... |
blob | commitdiff | raw | diff to current |
2010-09-20 |
Dejan Jovanović | bitvector rewriting for the core theory and testcases |
blob | commitdiff | raw | diff to current |
2010-09-13 |
Tim King | * New normal form for arithmetic is in place. |
blob | commitdiff | raw | diff to current |
2010-08-17 |
Morgan Deters | Merge from "cc" branch: |
blob | commitdiff | raw | diff to current |
2010-07-27 |
Christopher L. Conway | Adding optional 'check' parameter to getType() methods |
blob | commitdiff | raw | diff to current |
2010-07-02 |
Morgan Deters | * Added white-box TheoryEngine test that tests the... |
blob | commitdiff | raw | diff to current |
2010-06-30 |
Morgan Deters | * theory "tree" rewriting implemented and works |
blob | commitdiff | raw | diff to current |
2010-06-29 |
Morgan Deters | * Add CDMap<>::insertAtContextLevelZero(k, d) for inser... |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Morgan Deters | bug fix (unreported on bugzilla): skolem variables... |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
2010-05-28 |
Tim King | Moving the ITE removal from CnfStream to TheoryEngine... |
blob | commitdiff | raw | diff to current |
2010-05-27 |
Morgan Deters | fix bug #134: infinite deallocation loop |
blob | commitdiff | raw | diff to current |
2010-05-27 |
Christopher L. Conway | Adding NodeManager::prepareToBeDestroyed() (Fixes:... |
blob | commitdiff | raw | diff to current |
2010-05-04 |
Dejan Jovanović | Type-checking classes and hooks (not tested yet). |
blob | commitdiff | raw | diff to current |
2010-04-14 |
Dejan Jovanović | Marging from types 404:415, changes: Massive |
blob | commitdiff | raw | diff to current |
2010-04-05 |
Christopher L. Conway | Adding black-box tests for NodeManager (Closes bug... |
blob | commitdiff | raw | diff to current |
2010-04-05 |
Christopher L. Conway | Typos and renames for code review |
blob | commitdiff | raw | diff to current |
2010-04-04 |
Morgan Deters | * Addressed issues brought up in Chris's review of... |
blob | commitdiff | raw | diff to current |
2010-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and... |
blob | commitdiff | raw | diff to current |
2010-03-30 |
Morgan Deters | Highlights of this commit are: |
blob | commitdiff | raw | diff to current |
2010-03-23 |
Tim King | Fixed some memory cleanup and destruction issues with... |
blob | commitdiff | raw | diff to current |
2010-03-16 |
Morgan Deters | * test/unit/Makefile.am, test/unit/expr/attribute_white.h, |
blob | commitdiff | raw | diff to current |
2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterat... |
blob | commitdiff | raw | diff to current |
2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing |
blob | commitdiff | raw | diff to current |
2010-02-25 |
Christopher L. Conway | Adding Node::getOperator() |
blob | commitdiff | raw | diff to current |
2010-02-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently... |
blob | commitdiff | raw | diff to current |
2010-02-23 |
Christopher L. Conway | Minor optimizations to parser (use const string& for... |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Christopher L. Conway | Switching to types-as-attributes in parser |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
blob | commitdiff | raw | diff to current |
2010-02-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documenta... |
blob | commitdiff | raw | diff to current |
2010-02-12 |
Dejan Jovanović | Changes to hashing that solve the xinetd boolean benchm... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
2010-02-01 |
Morgan Deters | fix node manager code (bugzilla #15, comment #2) in... |
blob | commitdiff | raw | diff to current |
2010-01-29 |
Morgan Deters | fixed CNF conversion, and more modular; CNF conversion... |
blob | commitdiff | raw | diff to current |
2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw | diff to current |
2009-12-18 |
Morgan Deters | numerous fixes to nodes; more coming |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | + test infrastructure fixes |
blob | commitdiff | raw | diff to current |
2009-12-16 |
Morgan Deters | + refactoring fixes for expr package based on code... |
blob | commitdiff | raw | diff to current |
2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
2009-12-11 |
Dejan Jovanović | Extracted the public Expr and ExprManager interface... |
blob | commitdiff | raw | diff to current |
next |