| Age | Commit message (Expand) | Author |
|---|
| 2018-01-08 | Removing more miscellaneous throw specifiers. (#1488) | Tim King |
| 2018-01-08 | Add bv util mkConst(unsigned, Integer&). (#1499) | Aina Niemetz |
| 2018-01-08 | Added division by constant handling for CBQI BV. (#1498) | Aina Niemetz |
| 2018-01-08 | Improvements to quant+BV/Bool variable elimination (#1495) | Andrew Reynolds |
| 2018-01-07 | Re-ordering field initialization in QuantInfo to remove compiler warning. (#1... | Tim King |
| 2018-01-07 | Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476) | Tim King |
| 2018-01-05 | Add special {SGE,SGT,NE}_UDIV1 side conditions for BV of size 1. (#1483) | Mathias Preiner |
| 2018-01-05 | Use simpler EQUAL SCs for LSHR0, LSHR1, ASHR0, AHSR1, SHL0, SHL1. (#1482) | Mathias Preiner |
| 2018-01-05 | Add UGT/SGT side conditions for AND/OR + other fixes. (#1481) | Mathias Preiner |
| 2018-01-04 | Fix side condition handling for PLUS, XOR, SIGN_EXTEND for CBQI BV. (#1480) | Aina Niemetz |
| 2018-01-04 | Add side conditions for inequalities of SHL. (#1472) | Mathias Preiner |
| 2018-01-04 | Improvements for CBQI (#1478) | Andrew Reynolds |
| 2018-01-03 | Add side conditions for UGT/SGT over BITVECTOR_UREM for CBQI BV. (#1470) | Aina Niemetz |
| 2018-01-03 | Add UGT/SGT side conditions for LSHR. (#1469) | Mathias Preiner |
| 2018-01-03 | Add side conditions for inequalities over BITVECTOR_MULT for CBQI BV. (#1468) | Aina Niemetz |
| 2018-01-03 | Global negate (#1466) | Andrew Reynolds |
| 2018-01-02 | Add side conditions for inequalities of ASHR. (#1461) | Mathias Preiner |
| 2018-01-02 | Add side conditions for inequalities over BITVECTOR_UDIV for CBQI BV. (#1464) | Aina Niemetz |
| 2018-01-02 | Simplify side condition for SGE over UREM (index = 1) for CBQI BV. (#1463) | Aina Niemetz |
| 2018-01-02 | Fix handling for UGT/SGT. (#1467) | Mathias Preiner |
| 2018-01-02 | Rewrites for BitVector multiplication (#1465) | Andrew Reynolds |
| 2018-01-02 | Add side conditions for inequalities of LSHR. (#1462) | Mathias Preiner |
| 2018-01-02 | Improve rewriter for string equality (#1427) | Andrew Reynolds |
| 2017-12-29 | Add side conditions for inequalities over BITVECTOR_UREM for CBQI BV. (#1460) | Aina Niemetz |
| 2017-12-29 | Cbqi repeat solve literal (#1458) | Andrew Reynolds |
| 2017-12-29 | Add side conditions for inequalities of AND/OR. (#1457) | Mathias Preiner |
| 2017-12-28 | Add unit tests for side conditions for inequality for CBQI BV. (#1455) | Aina Niemetz |
| 2017-12-28 | Fixes for cbqi (#1453) | Andrew Reynolds |
| 2017-12-27 | Minor refactor for inequality handling for CBQI BV. (#1452) | Aina Niemetz |
| 2017-12-20 | Fixes for cbqi-bv (#1449) | Andrew Reynolds |
| 2017-12-20 | Add explicit disequality handling when generating side condition for CBQI BV.... | Aina Niemetz |
| 2017-12-20 | Add rewriting rule for ranking benchmarks. (#1448) | Mathias Preiner |
| 2017-12-20 | Transcendental functions check model (#1443) | Andrew Reynolds |
| 2017-12-15 | Enable side condition handling for shifts introduced in #1441. (#1444) | Aina Niemetz |
| 2017-12-13 | Add missing side conditions for SHL, LSHR, ASHR for CBQI BV. (#1441) | Aina Niemetz |
| 2017-12-08 | Add CEGQI BV linearization of additions and equalities over additions. (#1417) | Mathias Preiner |
| 2017-12-08 | Fixed side conditions for CBQI BV, added unit tests. (#1434) | Aina Niemetz |
| 2017-12-08 | Document and clean datatypes rewriter (#1437) | Andrew Reynolds |
| 2017-12-08 | Make collect model info return a Bool (#1421) | Andrew Reynolds |
| 2017-12-07 | Fixes related to SyGuS + real arithmetic (#1432) | Andrew Reynolds |
| 2017-12-06 | Add command for define-fun-rec and add to API (#1412) | Andrew Reynolds |
| 2017-12-06 | Remove CDChunkList (#1414) | Andres Noetzli |
| 2017-12-04 | Adding SyGuS grammars for rationals. (#1426) | Haniel Barbosa |
| 2017-12-04 | Eliminate expand definitions from Sygus (#1425) | Andrew Reynolds |
| 2017-12-04 | Fix strings rewriter for strip constant endpoint reverse direction (#1424) | Andrew Reynolds |
| 2017-12-04 | Fix side condition for BITVECTOR_MULT. (#1422) | Mathias Preiner |
| 2017-12-03 | Normalize grammars - 2 (#1420) | Haniel Barbosa |
| 2017-12-02 | Minor improvements to inst match generator (#1415) | Andrew Reynolds |
| 2017-12-01 | Improve rewriter for string replace (#1416) | Andrew Reynolds |
| 2017-12-01 | Minor additions for sygus (#1419) | Andrew Reynolds |
