| 2013-09-09 |
Morgan Deters | Support empty (and 1-ary) tuples and records. |
blob | commitdiff | raw |
| 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-07-11 |
Morgan Deters | Support for TPTP's TFF0 (with arithmetic) |
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-27 |
lianah | added model generation for bv subtheories and bv-inequa... |
blob | commitdiff | raw | diff to current |
| 2013-03-23 |
Dejan Jovanović | Merge remote-tracking branch 'dddejan/c++11' |
blob | commitdiff | raw | diff to current |
| 2013-03-22 |
Morgan Deters | Support for Boolean term conversion in datatypes. |
blob | commitdiff | raw | diff to current |
| 2012-11-27 |
Morgan Deters | First chunk of boolean-terms support. |
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 |
Kshitij Bansal | Some fixes to portfolio |
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-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,... |
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-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
blob | commitdiff | raw | diff to current |
| 2012-05-11 |
Morgan Deters | output a warning message when a function type (or datat... |
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-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
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-14 |
Morgan Deters | add AscriptionType stuff to support nullary parameteriz... |
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 | Monday tasks: |
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-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch... |
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 |
Morgan Deters | fix serious regression breakage (segfaults) caused... |
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-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 | 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-28 |
Christopher L. Conway | Forcing a type check on Node construction in debug... |
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-06-01 |
Christopher L. Conway | Fixing test failures in production build |
blob | commitdiff | raw | diff to current |
| 2010-06-01 |
Christopher L. Conway | Fixing failing test in r521 |
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-26 |
Dejan Jovanović | Adding the intermediary TypeNode to represent (and... |
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-06 |
Morgan Deters | * Add some protected ContextObj accessors for ContextOb... |
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-04 |
Morgan Deters | Recommit revision 365 (undoing revision 375, which... |
blob | commitdiff | raw | diff to current |
| 2010-04-03 |
Christopher L. Conway | Reverting r365 |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Christopher L. Conway | Changing min/maxArity to use metakind info. |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | * Minor code formatting stuff in src/expr/type.{h,cpp... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history