Age | Commit message (Expand) | Author |
2021-04-14 | Rename public and private headers in src/include. (#6352) | Aina Niemetz |
2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz |
2021-04-09 | Rename CVC4_ macros to CVC5_. (#6327) | Aina Niemetz |
2021-04-09 | Rename CVC4__ header guards to CVC5__. (#6326) | Aina Niemetz |
2021-04-06 | Remove template argument from `NodeBuilder` (#6290) | Andres Noetzli |
2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
2021-03-10 | Move ExprManager::isNAryKind to NodeManager. (#6107) | Aina Niemetz |
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2020-11-19 | Include stddef.h (needed for size_t) in cvc4_public.h (#5476) | Aina Niemetz |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
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 |