summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2018-04-05 Python regression script (#1662)Andres Noetzli
2018-04-04Update README for regression tests (#1746)Andres Noetzli
2018-04-04Fix for corner case of higher-order matching (#1708)Andrew Reynolds
2018-04-03Option to turn arbitrary input into sygus (#1704)Andrew Reynolds
2018-04-03Use choice when expanding definitions for inverse transcendental functions (#...Andrew Reynolds
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-04-02Reorganize bitblaster code. (#1695)Mathias Preiner
2018-03-30Disable regression (#1731)Andrew Reynolds
2018-03-26Better normalization of string concatenation (#1719)Andres Noetzli
2018-03-26Add support for filtering regressions with regex (#1711)Andres Noetzli
2018-03-26 Add reasoning for inequalities in str rewriter (#1713)Andres Noetzli
2018-03-26Rewrites for substr of strings of length one (#1712)Andres Noetzli
2018-03-23Add a few quantifiers regressions to improve coverage (#1702)Andrew Reynolds
2018-03-21Fix 'make regress' (#1683)Andres Noetzli
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-03-21Fix various regression tests (#1657)Andres Noetzli
2018-03-21Fix for string disequality processing (#1679)Andrew Reynolds
2018-03-20Internally remove redundant assertions and infer equalities in NonLinearExten...Andrew Reynolds
2018-03-20Fix datatype dump regression. (#1672)Andrew Reynolds
2018-03-19Enable CEGQI for non-linear (#1674)Andrew Reynolds
2018-03-09Add support for SMT-LIB v2.5 command get-unsat-assumptions (#1653)Aina Niemetz
2018-03-09Skip (get-unsat-assumptions) tests not supported (#1656)Andres Noetzli
2018-03-08Fix Travis for unit test compilation errors. (#1651)Mathias Preiner
2018-03-06Remove printf from output utilities (#1629)Andres Noetzli
2018-03-05Update semantics for string indexof and replace (#1630)Andrew Reynolds
2018-03-05Add support for check-sat-assuming. (#1637)Aina Niemetz
2018-02-27Minor fixes for rec-fun (#1616)Andrew Reynolds
2018-02-27Improve rewriter for string indexof (#1592)Andrew Reynolds
2018-02-23Add unit tests for BitVector, minor BV rewrite fix (#1622)Andres Noetzli
2018-02-23Fix cd-simplification for strings (#1624)Andrew Reynolds
2018-02-22Minor improvements to string rewriter (#1572)Andrew Reynolds
2018-02-20Minor fixes and additions for transcendental functions (#1612)Andrew Reynolds
2018-02-16Make regress1 default, only test regress0 on Travis. (#1611)Aina Niemetz
2018-02-15Fix corner case for rewrite of mult by pow 2 (#1601)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2018-02-15Fix context memory manager unit test (#1609)Andres Noetzli
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
2018-02-09Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular ...Tim King
2018-02-08Updated copyrightAina Niemetz
2018-02-08Remove invalid regression test (#1579)Andres Noetzli
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2018-02-07Add remaining transcendental functions (#1551)Andrew Reynolds
2018-02-06Fix two multiply-by-constant corner cases for bv rewriter (#1562)Andrew Reynolds
2018-02-06Fix rewrite for string replace (#1537)Andrew Reynolds
2018-02-05Statically eliminate redundant sygus constructors (#1560)Andrew Reynolds
2018-02-02Fix remaining synthesis solution regressions (#1557)Andrew Reynolds
2018-02-02Option to check solutions produced by SyGuS solver (#1553)Haniel Barbosa
2018-01-24Added unit tests for PLUS, NEG, NOT ICs for CBQI BV. (#1534)Aina Niemetz
2018-01-21Refactor and fix solveBvLit for CBQI BV. (#1526)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback