cvc5.git
2018-02-09 Tim KingRenaming CHECK to CVC4_CHECK. This avoids name collisio...
2018-02-09 Tim KingReplacing an incorrect reference to an injected class...
2018-02-09 Andres NoetzliReplace CMM flag with debug CMM flag, fix leak in debug...
2018-02-09 Tim KingInlining line_buffered_input to avoid warning about...
2018-02-08 Aina NiemetzClean up bv utils (part one). (#1580)
2018-02-08 Tim KingAdding virtual destructors on classes with virtual...
2018-02-08 Andrew ReynoldsMinor improvements to sygus sampling. (#1577)
2018-02-08 Aina NiemetzUpdated copyright
2018-02-08 Tim KingInitializing Timer::d_wall_limit (CID 1362899). (#1573)
2018-02-08 Aina NiemetzSimplify and cleanup bv::utils::mkConjunction. (#1571)
2018-02-08 Mathias PreinerCheck whether Cryptominisat4/ABC was installed via...
2018-02-08 Andres NoetzliRemove invalid regression test (#1579)
2018-02-08 Tim KingRemoving an unused variable. (#1576)
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575)
2018-02-08 Aina NiemetzReduce number of Travis builds. (#1578)
2018-02-08 Tim KingFixing line numbers on type_checker_template.cpp (...
2018-02-07 Mathias PreinerCleanup Cryptominisat header. (#1561)
2018-02-07 Aina NiemetzUse template for bv::utils::mkOr. (#1570)
2018-02-07 Tim KingAdds a new CHECK macro that abort()s on failure. (...
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551)
2018-02-07 Aina NiemetzUse template for bv::utils::mkAnd. (#1569)
2018-02-07 Aina NiemetzRenamed bv::utils::isBVGroundTerm to isBvConstTerm...
2018-02-07 Aina NiemetzSplit and document theory_bv_utils. (#1566)
2018-02-07 Mathias PreinerUse separate shell script for common get-* script parts...
2018-02-07 Tim KingFixes two memory leaks coming from Transf. (#1564)
2018-02-06 Aina NiemetzUpdated copyright header for bv_inverter.(cpp|h).
2018-02-06 Aina NiemetzUpdated year in update-copyright script.
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override...
2018-02-06 Andrew ReynoldsFix two multiply-by-constant corner cases for bv rewrit...
2018-02-06 Aina NiemetzUpdated authors list
2018-02-06 Andrew ReynoldsFix rewrite for string replace (#1537)
2018-02-06 Tim KingUsing getOperator() directly instead of using -1. CID...
2018-02-06 Tim KingAborting on errors in StatisticsRegistry::unregisterSta...
2018-02-06 Andrew ReynoldsStatically eliminate redundant sygus constructors ...
2018-02-05 Tim KingCleaning up the printing of theory model representative...
2018-02-05 Tim KingRemoving references to __gnu_cxx. (#1541)
2018-02-04 Andrew ReynoldsSample based on sygus grammar by default (#1558)
2018-02-03 Andrew ReynoldsOption to use sampling for CEGIS (#1555)
2018-02-03 Tim KingRestoring ostream format. Resolves a few CIDs 1362780...
2018-02-02 Andrew ReynoldsFix remaining synthesis solution regressions (#1557)
2018-02-02 Haniel BarbosaOption to check solutions produced by SyGuS solver...
2018-02-01 Andrew ReynoldsAdd interface in sygus to get synthesis solution Nodes...
2018-02-01 Andrew ReynoldsUse sygus to synthesize/verify rewrite rules (#1547)
2018-01-30 Andrew ReynoldsFurther clean and document datatypes rewriter (#1548)
2018-01-29 Andrew ReynoldsGeneralize explanations for PBE sygus strings based...
2018-01-28 Andrew ReynoldsSort children of all commutative operators for sygus...
2018-01-27 Tim KingRemoving an unused variable. Resolves CID 1172257....
2018-01-27 Tim KingRemoving structurally dead code. (#1540)
2018-01-25 Tim KingCommenting out throw specifiers on SmtEngine. These...
2018-01-25 Aina NiemetzAdded unit tests for PLUS, NEG, NOT ICs for CBQI BV...
2018-01-23 Aina NiemetzFix MULT handling for CBQI BV. (#1531)
2018-01-23 Tim KingCommenting out throw specifiers for DeltaRationExceptio...
2018-01-22 Aina NiemetzAdd previous concat handling for CBQI BV as heuristic...
2018-01-22 Aina NiemetzRefactor and fix solveBvLit for CBQI BV. (#1526)
2018-01-22 Andrew ReynoldsOnly push/pop around check-sat if it is associated...
2018-01-17 Tim KingRemoves yet more throw specifiers. Updating the documen...
2018-01-16 Tim KingRemoving more miscellaneous throw specifiers. (#1509)
2018-01-15 Tim KingRemoving throw specifiers from Type. (#1511)
2018-01-14 Tim KingRemoving throw specifiers from OptionsHandler. (#1510)
2018-01-14 Aina NiemetzRemove BITVECTOR_SUB from isInvertible(). (#1513)
2018-01-12 Andrew ReynoldsImprovements for CBQI BV (#1504)
2018-01-10 Aina NiemetzRemoved division by constant handling for CBQI BV ...
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501)
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (...
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasse...
2018-01-10 Mathias PreinerFix linearization for terms where the solve variable...
2018-01-09 Aina NiemetzReorganized bitvector.h. (#1505)
2018-01-09 Aina NiemetzFix output of --trace=help. (#1500)
2018-01-09 Tim KingRemoving throw specifiers from miscellaneous src/expr...
2018-01-09 Tim KingRemoving more miscellaneous throw specifiers. (#1488)
2018-01-09 Aina NiemetzAdd bv util mkConst(unsigned, Integer&). (#1499)
2018-01-09 Tim KingRemove throw specifiers from symbol table. (#1490)
2018-01-09 Aina NiemetzAdded division by constant handling for CBQI BV. (...
2018-01-08 Aina NiemetzRemove portfolio option from builds. (#1496)
2018-01-08 Tim KingRemoves throw specifiers from command.{h,cpp}. (#1485)
2018-01-08 Andrew ReynoldsImprovements to quant+BV/Bool variable elimination...
2018-01-08 Andres NoetzliFix broken GMP URL in get-win-dependencies script ...
2018-01-08 Tim KingRemove throw specifiers from datatype. (#1489)
2018-01-08 Tim KingRe-ordering field initialization in QuantInfo to remove...
2018-01-08 Tim KingRemoves RationalFromDoubleException. Replaces this...
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486)
2018-01-06 Mathias PreinerAdd special {SGE,SGT,NE}_UDIV1 side conditions for...
2018-01-06 Mathias PreinerUse simpler EQUAL SCs for LSHR0, LSHR1, ASHR0, AHSR1...
2018-01-05 Mathias PreinerAdd UGT/SGT side conditions for AND/OR + other fixes...
2018-01-05 Aina NiemetzFix side condition handling for PLUS, XOR, SIGN_EXTEND...
2018-01-05 Mathias PreinerAdd side conditions for inequalities of SHL. (#1472)
2018-01-04 Andrew ReynoldsImprovements for CBQI (#1478)
2018-01-04 Tim KingRemoving miscellaneous throw specifiers. (#1474)
2018-01-04 Tim KingRemoving throw specifiers from context/. (#1473)
2018-01-03 Aina NiemetzAdd side conditions for UGT/SGT over BITVECTOR_UREM...
2018-01-03 Mathias PreinerAdd UGT/SGT side conditions for LSHR. (#1469)
2018-01-03 Aina Niemetz Add side conditions for inequalities over BITVECTOR_MU...
2018-01-03 Andrew ReynoldsGlobal negate (#1466)
2018-01-03 Mathias Preiner Add side conditions for inequalities of ASHR. (#1461)
2018-01-03 Aina NiemetzAdd side conditions for inequalities over BITVECTOR_UDI...
2018-01-03 Aina NiemetzSimplify side condition for SGE over UREM (index =...
2018-01-03 Mathias PreinerFix handling for UGT/SGT. (#1467)
2018-01-02 Andrew ReynoldsRewrites for BitVector multiplication (#1465)
2018-01-02 Mathias PreinerAdd side conditions for inequalities of LSHR. (#1462)
2018-01-02 Andrew ReynoldsImprove rewriter for string equality (#1427)
next