summaryrefslogtreecommitdiff
path: root/test/unit/util
AgeCommit message (Expand)Author
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-06Remove printf from output utilities (#1629)Andres Noetzli
2018-02-23Add unit tests for BitVector, minor BV rewrite fix (#1622)Andres Noetzli
2018-02-09Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular ...Tim King
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2017-11-09Add modular arithmetic operators. (#1321)Aina Niemetz
2017-09-14Remove unhandled subtypes (#1098)Andrew Reynolds
2017-08-21Change Bugzilla urls to Github issues.Mathias Preiner
2017-07-12Fix unit tests for subranges. Fix destructors for context objs in unit tests.ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-05-13Fix out-of-bounds access in testAndres Notzli
2017-05-12Make signal handlers saferAndres Notzli
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-11-07Changing ArrayStoreAll's constructor to delay allocation until it is done che...Tim King
2016-11-04Fix three leaks in unit testsAndres Notzli
2016-04-20update from the masterPaulMeng
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-02-14Fix unit tests.ajreynol
2014-10-17Merge branch '1.4.x'Morgan Deters
2014-10-17Remove a bad (unstable, timing-dependent) test.Morgan Deters
2014-10-14Context-dependent expr attributes are now attached to a specific SmtEngine, a...Morgan Deters
2014-10-03Fix unit test for ArrayStoreAll.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-06-25BinaryHeap unit test and some usability/build fixes for the data structure it...Morgan Deters
2014-05-27update stats_blackKshitij Bansal
2014-04-01Fixing bug 552. There was a bug when integers are made using a string with a...1.3.xTim King
2013-12-10Fix timer statistics to report correct time even on process abort.Morgan Deters
2013-12-02Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s...Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2012-12-14Adding unit test for different versions of division.Tim King
2012-11-30Fixes for stricter compilers Andy brought to my attention.Tim King
2012-11-30Committing tests to potentially discover an obscure CLN library issue on 32 b...Tim King
2012-11-26Improved implementation of Integer::length() with CLN enabled. Additional te...Tim King
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-09-28rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...Morgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-21better verbosity support (so it's sensible when the library is used via the API)Morgan Deters
2012-08-25fix unit testsMorgan Deters
2012-08-22Cap finite cardinalities at 2^64, as discussed in the meeting last week.Morgan Deters
2012-08-16ArrayStoreAll should (for now) only allow constant expressions, as it is itse...Morgan Deters
2012-08-14Fixes to integer wrapper classes:Morgan Deters
2012-08-03ArrayStoreAll infrastructureMorgan Deters
2012-07-27removing unecessary filesAndrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback