Age | Commit message (Expand) | Author |
2020-06-16 | Update copyright headers. | Aina Niemetz |
2020-04-14 | Remove early type check option (#4234) | Andrew Reynolds |
2019-10-30 | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) | Mathias Preiner |
2019-10-22 | NodeValue: Eliminate redundant NBITS macros. (#3400) | Aina Niemetz |
2019-09-16 | Remove parameterized check (#3290) | Andrew Reynolds |
2019-06-02 | Add check for limit of number of node children (#3035) | Andres Noetzli |
2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-01-17 | Removes yet more throw specifiers. Updating the documentation as needed. (#1518) | Tim King |
2017-09-13 | Floating point symfpu support (#1093) | Martin |
2017-07-22 | Deprecating the unused convenience_node_builders.h (#203) | Tim King |
2017-07-17 | Remove PtrCloser (#198) | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-04-12 | Add nullary operator metakind. | ajreynol |
2016-11-10 | Added PtrCloser guards for constructNodePtr. This ensures garbage collection ... | Tim King |
2016-04-20 | update from the master | PaulMeng |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-11-20 | Changing the number of bits allocated per field in node values. | Tim King |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-06-27 | Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public.h so that they don'... | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-02-05 | Fix a compiler warning in NodeBuilder | Morgan Deters |
2013-02-04 | Fix NodeBuilder bug which could attempt to allocate beyond hard limit | Morgan Deters |
2012-12-01 | Fix the way abstract values are typed; fixes some compliance issues. | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-10-28 | * ability to output NodeBuilders without first converting them to Nodes---use... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-06-30 | only use theory registration if (1) a theory requests it, or (2) if there's m... | Morgan Deters |
2011-06-30 | some things I had laying around in a directory but never got committed; minor... | Morgan Deters |
2011-06-06 | Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on... | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2010-12-16 | minor fixes for correct doxygen output | Morgan Deters |
2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
2010-10-28 | Changing NodeBuilder::debugCheckType() to maybeCheckType() | Christopher L. Conway |
2010-10-21 | * Option --no-type-checking now disables type checks in SmtEngine | Christopher L. Conway |
2010-10-08 | * (define-fun...) now has proper type checking in non-debug builds | Morgan Deters |
2010-09-21 | Rm'ing automatic type check in NodeBuilder for vars/constants | Christopher L. Conway |
2010-09-21 | Moving automatic type check to NodeBuilder (Fixes: #199) | Christopher L. Conway |
2010-09-20 | bitvector rewriting for the core theory and testcases | Dejan Jovanović |
2010-09-02 | "Leftist NodeBuilders" are now supported. | Morgan Deters |