Age | Commit message (Expand) | Author |
2019-11-17 | Updates to the unit tests, api, and examples for datatypes (#3459) | Andrew Reynolds |
2019-10-30 | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) | Mathias Preiner |
2019-10-09 | test: Add TS_UTILS_EXPECT_ABORT macro for unit tests. (#3378) | Mathias Preiner |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-10-02 | Fix "catching polymorphic type by value" warnings (#2556) | Andres Noetzli |
2018-09-22 | cmake: Refactor cvc4_add_unit_test macro to support test names with '/'. | Aina Niemetz |
2018-09-22 | cmake: More documentation, clean up. | Aina Niemetz |
2018-09-22 | cmake: Add support for CxxTest. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-08-23 | Add missing overrides in unit tests (#2362) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-03-06 | Remove printf from output utilities (#1629) | Andres Noetzli |
2018-02-23 | Add unit tests for BitVector, minor BV rewrite fix (#1622) | Andres Noetzli |
2018-02-09 | Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular ... | Tim King |
2018-02-07 | Adds a new CHECK macro that abort()s on failure. (#1532) | Tim King |
2017-11-09 | Add modular arithmetic operators. (#1321) | Aina Niemetz |
2017-09-14 | Remove unhandled subtypes (#1098) | Andrew Reynolds |
2017-08-21 | Change Bugzilla urls to Github issues. | Mathias Preiner |
2017-07-12 | Fix unit tests for subranges. Fix destructors for context objs in unit tests. | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-05-13 | Fix out-of-bounds access in test | Andres Notzli |
2017-05-12 | Make signal handlers safer | Andres Notzli |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-11-07 | Changing ArrayStoreAll's constructor to delay allocation until it is done che... | Tim King |
2016-11-04 | Fix three leaks in unit tests | Andres Notzli |
2016-04-20 | update from the master | PaulMeng |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-08 | Adding a new Listener utility class. Changing the ResourceManager to use List... | Tim King |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-02-14 | Fix unit tests. | ajreynol |
2014-10-17 | Merge branch '1.4.x' | Morgan Deters |
2014-10-17 | Remove a bad (unstable, timing-dependent) test. | Morgan Deters |
2014-10-14 | Context-dependent expr attributes are now attached to a specific SmtEngine, a... | Morgan Deters |
2014-10-03 | Fix unit test for ArrayStoreAll. | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-25 | BinaryHeap unit test and some usability/build fixes for the data structure it... | Morgan Deters |
2014-05-27 | update stats_black | Kshitij Bansal |
2014-04-01 | Fixing bug 552. There was a bug when integers are made using a string with a...1.3.x | Tim King |
2013-12-10 | Fix timer statistics to report correct time even on process abort. | Morgan Deters |
2013-12-02 | Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s... | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-12-14 | Adding unit test for different versions of division. | Tim King |
2012-11-30 | Fixes for stricter compilers Andy brought to my attention. | Tim King |
2012-11-30 | Committing tests to potentially discover an obscure CLN library issue on 32 b... | Tim King |
2012-11-26 | Improved implementation of Integer::length() with CLN enabled. Additional te... | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |