2014-10-14 |
Morgan Deters | Context-dependent expr attributes are now attached... |
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-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Kshitij Bansal | Merge pull request #10 from kbansal/sets-for-merge |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Kshitij Bansal | add new theory (sets) |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-09 |
Morgan Deters | Fix declare-datatypes dumping bug (bug 385). |
blob | commitdiff | raw | diff to current |
2013-09-05 |
Morgan Deters | Fix declare-fun/define-fun in dumps; resolves bugs... |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-27 |
Morgan Deters | Better user documentation for mkVar() and mkBoundVar(). |
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-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-02 |
lianah | merged master into branch |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-25 |
Morgan Deters | Fix errors and reduce warnings on clang (merge from... |
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-11-18 |
Morgan Deters | Disable predicate subtyping: |
blob | commitdiff | raw | diff to current |
2012-10-14 |
Morgan Deters | fix #line number warnings (sorry!) |
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 | some fixes to build system |
blob | commitdiff | raw | diff to current |
2012-09-26 |
Morgan Deters | The Tuesday Afternoon Catch-All Commit (TACAC): |
blob | commitdiff | raw | diff to current |
2012-09-24 |
Dejan Jovanović | some api changes |
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-08-29 |
Morgan Deters | * Numerous documentation fixes (fix doxygen warnings... |
blob | commitdiff | raw | diff to current |
2012-08-24 |
Morgan Deters | * disallow internal uses of mkVar() (you have to mkSkol... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-16 |
Morgan Deters | Support for having two SmtEngines with the same ExprMan... |
blob | commitdiff | raw | diff to current |
2012-03-07 |
Morgan Deters | fix some Java compatibility-layer interface problems... |
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-21 |
Morgan Deters | language bindings fixes for yesterday's portfolio merge |
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-11-06 |
Morgan Deters | datatype stuff in compatibility interface implemented |
blob | commitdiff | raw | diff to current |
2011-11-04 |
Morgan Deters | STRING_TYPE and CONST_STRING and associate type infrast... |
blob | commitdiff | raw | diff to current |
2011-09-23 |
Morgan Deters | interface cleanup, java bindings work |
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-05-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups |
blob | commitdiff | raw | diff to current |
2011-05-13 |
Andrew Reynolds | added support for parametric datatypes, updated cvc... |
blob | commitdiff | raw | diff to current |
2011-04-25 |
Morgan Deters | Weekend work. The main points: |
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 | mostly CVC presentation language parsing and printing |
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-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
blob | commitdiff | raw | diff to current |
2011-02-28 |
Morgan Deters | minor doxygen build target fixes |
blob | commitdiff | raw | diff to current |
2011-02-26 |
Dejan Jovanović | adding the variables count to the statistics in the... |
blob | commitdiff | raw | diff to current |
2011-02-26 |
Dejan Jovanović | adding statistics about how many different kinds of... |
blob | commitdiff | raw | diff to current |
2010-10-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxyge... |
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-24 |
Morgan Deters | add a CVC4_UNDEFINED keyword, for intentionally undefin... |
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-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get... |
blob | commitdiff | raw | diff to current |
2010-10-04 |
Morgan Deters | re-add a dependency to fix compile warnings |
blob | commitdiff | raw | diff to current |
2010-10-04 |
Morgan Deters | remove/shuffle some #include dependencies; fix some... |
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-21 |
Morgan Deters | remove assertion in TNode destructor and ensure all... |
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-06-30 |
Morgan Deters | * theory "tree" rewriting implemented and works |
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-31 |
Christopher L. Conway | First draft implementation of mkAssociative |
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-29 |
Dejan Jovanović | Added the capability to construct expressions by passin... |
blob | commitdiff | raw | diff to current |
2010-04-28 |
Dejan Jovanović | adding integer and real types to the public interface |
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 | Minor refactorings, in response to code review (Bug... |
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-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
|