Age | Commit message (Expand) | Author |
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 |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-08-25 | fix unit tests | Morgan Deters |
2012-08-22 | Cap finite cardinalities at 2^64, as discussed in the meeting last week. | Morgan Deters |
2012-08-16 | ArrayStoreAll should (for now) only allow constant expressions, as it is itse... | Morgan Deters |
2012-08-14 | Fixes to integer wrapper classes: | Morgan Deters |
2012-08-03 | ArrayStoreAll infrastructure | Morgan Deters |
2012-07-27 | removing unecessary files | Andrew Reynolds |
2012-03-02 | CDMap -> CDHashMap | Dejan Jovanović |
2012-02-06 | Fixing a bug in the integer unit tests when configured for GMP with assertion... | Tim King |
2011-11-16 | Addressed many of the concerns raised in the public interface review of CVC4 ... | Morgan Deters |
2011-10-07 | Some new Datatype public functionality, as per Chris Conway's suggestions on ... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-06-02 | added (temporary) support for ensuring that all ambiguously typed constructor... | Andrew Reynolds |
2011-05-04 | Stronger support for zero-performance-penalty output, and fixes and | Morgan Deters |
2011-04-25 | Monday tasks: | Morgan Deters |
2011-04-25 | small unit test fix; was broken only in non-assertion, non-CLN builds | Morgan Deters |
2011-04-25 | Weekend work. The main points: | Morgan Deters |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2011-04-20 | incorrect usage of C++ std::string caused a test to fail | Morgan Deters |
2011-04-18 | mostly CVC presentation language parsing and printing | Morgan Deters |
2011-04-18 | Partial merge from datatypes-merge branch: | Morgan Deters |
2011-04-16 | unit test fixes for new NodeManager constructor (related to previous two trun... | Morgan Deters |
2011-04-11 | Transitive closure module is working | Clark Barrett |
2011-04-08 | Added util class | Clark Barrett |
2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
2011-03-10 | Fix bug 246 (occasional buffer overflow related to varargs in assertion-failu... | Morgan Deters |
2011-02-28 | Review of statistics code. Added lots of documentation, and fixed an issue (... | Morgan Deters |
2010-12-14 | congruence closure module now supports things other than APPLY_UF; ported fro... | Morgan Deters |
2010-11-17 | fix improper CongruenceClosureWhite test by merging from a uf branch; fixes t... | Morgan Deters |