Age | Commit message (Expand) | Author |
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 |
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 |