projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-02-20 Andrew ReynoldsMinor fixes and additions for transcendental functions... commit | commitdiff | tree
2018-02-20 Aina NiemetzUnrecursified and merged bv::utils::is(Core|Equality... commit | commitdiff | tree
2018-02-17 Aina Niemetzbv::utils::mk(And|Or) Do not return true if size of... commit | commitdiff | tree
2018-02-16 Aina NiemetzMake regress1 default, only test regress0 on Travis... commit | commitdiff | tree
2018-02-16 Aina NiemetzRemoved bv::utils::mkConjunction (redundant). (#1610) commit | commitdiff | tree
2018-02-15 Andrew ReynoldsFix corner case for rewrite of mult by pow 2 (#1601) commit | commitdiff | tree
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) commit | commitdiff | tree
2018-02-15 Andres NoetzliFix context memory manager unit test (#1609) commit | commitdiff | tree
2018-02-14 Andrew ReynoldsQuantifiers subdirectories (#1608) commit | commitdiff | tree
2018-02-14 Andres NoetzliRemove unused cd_set_collection.h (#1606) commit | commitdiff | tree
2018-02-14 Aina NiemetzProvide a uniform way to serialize node containers... commit | commitdiff | tree
2018-02-13 Aina NiemetzMoved (unrecursified) bv::utils::collectVars. (#1602) commit | commitdiff | tree
2018-02-13 Aina NiemetzSkip header for determining top contributors list.... commit | commitdiff | tree
2018-02-13 Andrew ReynoldsOption to use extended rewriter as a preprocessing... commit | commitdiff | tree
2018-02-12 Andrew ReynoldsMinor improvements to sygus sampler (#1598) commit | commitdiff | tree
2018-02-11 Aina NiemetzMove (unrecursified) bv::utils::numNodes to lazy_bitbla... commit | commitdiff | tree
2018-02-11 Andrew ReynoldsMore minor improvements to synth-rr (#1597) commit | commitdiff | tree
2018-02-10 Aina NiemetzMove BitVector specific funs from bv::utils to util... commit | commitdiff | tree
2018-02-10 Aina NiemetzRemove mkNode from bv::utils (#1587) commit | commitdiff | tree
2018-02-09 Tim KingRemoving an always true comparison (unsigned) >= 0u... commit | commitdiff | tree
2018-02-09 Andrew ReynoldsClass to reduce printing of redundant candidate rewrite... commit | commitdiff | tree
2018-02-09 Tim KingRenaming CHECK to CVC4_CHECK. This avoids name collisio... commit | commitdiff | tree
2018-02-09 Tim KingReplacing an incorrect reference to an injected class... commit | commitdiff | tree
2018-02-09 Andres NoetzliReplace CMM flag with debug CMM flag, fix leak in debug... commit | commitdiff | tree
2018-02-09 Tim KingInlining line_buffered_input to avoid warning about... commit | commitdiff | tree
2018-02-08 Aina NiemetzClean up bv utils (part one). (#1580) commit | commitdiff | tree
2018-02-08 Tim KingAdding virtual destructors on classes with virtual... commit | commitdiff | tree
2018-02-08 Andrew ReynoldsMinor improvements to sygus sampling. (#1577) commit | commitdiff | tree
2018-02-08 Aina NiemetzUpdated copyright commit | commitdiff | tree
2018-02-08 Tim KingInitializing Timer::d_wall_limit (CID 1362899). (#1573) commit | commitdiff | tree
2018-02-08 Aina NiemetzSimplify and cleanup bv::utils::mkConjunction. (#1571) commit | commitdiff | tree
2018-02-08 Mathias PreinerCheck whether Cryptominisat4/ABC was installed via... commit | commitdiff | tree
2018-02-08 Andres NoetzliRemove invalid regression test (#1579) commit | commitdiff | tree
2018-02-08 Tim KingRemoving an unused variable. (#1576) commit | commitdiff | tree
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575) commit | commitdiff | tree
2018-02-08 Aina NiemetzReduce number of Travis builds. (#1578) commit | commitdiff | tree
2018-02-08 Tim KingFixing line numbers on type_checker_template.cpp (... commit | commitdiff | tree
2018-02-07 Mathias PreinerCleanup Cryptominisat header. (#1561) commit | commitdiff | tree
2018-02-07 Aina NiemetzUse template for bv::utils::mkOr. (#1570) commit | commitdiff | tree
2018-02-07 Tim KingAdds a new CHECK macro that abort()s on failure. (... commit | commitdiff | tree
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551) commit | commitdiff | tree
2018-02-07 Aina NiemetzUse template for bv::utils::mkAnd. (#1569) commit | commitdiff | tree
2018-02-07 Aina NiemetzRenamed bv::utils::isBVGroundTerm to isBvConstTerm... commit | commitdiff | tree
2018-02-07 Aina NiemetzSplit and document theory_bv_utils. (#1566) commit | commitdiff | tree
2018-02-07 Mathias PreinerUse separate shell script for common get-* script parts... commit | commitdiff | tree
2018-02-07 Tim KingFixes two memory leaks coming from Transf. (#1564) commit | commitdiff | tree
2018-02-06 Aina NiemetzUpdated copyright header for bv_inverter.(cpp|h). commit | commitdiff | tree
2018-02-06 Aina NiemetzUpdated year in update-copyright script. commit | commitdiff | tree
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... commit | commitdiff | tree
2018-02-06 Andrew ReynoldsFix two multiply-by-constant corner cases for bv rewrit... commit | commitdiff | tree
2018-02-06 Aina NiemetzUpdated authors list commit | commitdiff | tree
2018-02-06 Andrew ReynoldsFix rewrite for string replace (#1537) commit | commitdiff | tree
2018-02-06 Tim KingUsing getOperator() directly instead of using -1. CID... commit | commitdiff | tree
2018-02-06 Tim KingAborting on errors in StatisticsRegistry::unregisterSta... commit | commitdiff | tree
2018-02-06 Andrew ReynoldsStatically eliminate redundant sygus constructors ... commit | commitdiff | tree
2018-02-05 Tim KingCleaning up the printing of theory model representative... commit | commitdiff | tree
2018-02-05 Tim KingRemoving references to __gnu_cxx. (#1541) commit | commitdiff | tree
2018-02-04 Andrew ReynoldsSample based on sygus grammar by default (#1558) commit | commitdiff | tree
2018-02-03 Andrew ReynoldsOption to use sampling for CEGIS (#1555) commit | commitdiff | tree
2018-02-03 Tim KingRestoring ostream format. Resolves a few CIDs 1362780... commit | commitdiff | tree
2018-02-02 Andrew ReynoldsFix remaining synthesis solution regressions (#1557) commit | commitdiff | tree
2018-02-02 Haniel BarbosaOption to check solutions produced by SyGuS solver... commit | commitdiff | tree
2018-02-01 Andrew ReynoldsAdd interface in sygus to get synthesis solution Nodes... commit | commitdiff | tree
2018-02-01 Andrew ReynoldsUse sygus to synthesize/verify rewrite rules (#1547) commit | commitdiff | tree
2018-01-30 Andrew ReynoldsFurther clean and document datatypes rewriter (#1548) commit | commitdiff | tree
2018-01-29 Andrew ReynoldsGeneralize explanations for PBE sygus strings based... commit | commitdiff | tree
2018-01-28 Andrew ReynoldsSort children of all commutative operators for sygus... commit | commitdiff | tree
2018-01-27 Tim KingRemoving an unused variable. Resolves CID 1172257.... commit | commitdiff | tree
2018-01-27 Tim KingRemoving structurally dead code. (#1540) commit | commitdiff | tree
2018-01-25 Tim KingCommenting out throw specifiers on SmtEngine. These... commit | commitdiff | tree
2018-01-25 Aina NiemetzAdded unit tests for PLUS, NEG, NOT ICs for CBQI BV... commit | commitdiff | tree
2018-01-23 Aina NiemetzFix MULT handling for CBQI BV. (#1531) commit | commitdiff | tree
2018-01-23 Tim KingCommenting out throw specifiers for DeltaRationExceptio... commit | commitdiff | tree
2018-01-22 Aina NiemetzAdd previous concat handling for CBQI BV as heuristic... commit | commitdiff | tree
2018-01-22 Aina NiemetzRefactor and fix solveBvLit for CBQI BV. (#1526) commit | commitdiff | tree
2018-01-22 Andrew ReynoldsOnly push/pop around check-sat if it is associated... commit | commitdiff | tree
2018-01-17 Tim KingRemoves yet more throw specifiers. Updating the documen... commit | commitdiff | tree
2018-01-16 Tim KingRemoving more miscellaneous throw specifiers. (#1509) commit | commitdiff | tree
2018-01-15 Tim KingRemoving throw specifiers from Type. (#1511) commit | commitdiff | tree
2018-01-14 Tim KingRemoving throw specifiers from OptionsHandler. (#1510) commit | commitdiff | tree
2018-01-14 Aina NiemetzRemove BITVECTOR_SUB from isInvertible(). (#1513) commit | commitdiff | tree
2018-01-12 Andrew ReynoldsImprovements for CBQI BV (#1504) commit | commitdiff | tree
2018-01-10 Aina NiemetzRemoved division by constant handling for CBQI BV ... commit | commitdiff | tree
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501) commit | commitdiff | tree
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (... commit | commitdiff | tree
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasse... commit | commitdiff | tree
2018-01-10 Mathias PreinerFix linearization for terms where the solve variable... commit | commitdiff | tree
2018-01-09 Aina NiemetzReorganized bitvector.h. (#1505) commit | commitdiff | tree
2018-01-09 Aina NiemetzFix output of --trace=help. (#1500) commit | commitdiff | tree
2018-01-09 Tim KingRemoving throw specifiers from miscellaneous src/expr... commit | commitdiff | tree
2018-01-09 Tim KingRemoving more miscellaneous throw specifiers. (#1488) commit | commitdiff | tree
2018-01-09 Aina NiemetzAdd bv util mkConst(unsigned, Integer&). (#1499) commit | commitdiff | tree
2018-01-09 Tim KingRemove throw specifiers from symbol table. (#1490) commit | commitdiff | tree
2018-01-09 Aina NiemetzAdded division by constant handling for CBQI BV. (... commit | commitdiff | tree
2018-01-08 Aina NiemetzRemove portfolio option from builds. (#1496) commit | commitdiff | tree
2018-01-08 Tim KingRemoves throw specifiers from command.{h,cpp}. (#1485) commit | commitdiff | tree
2018-01-08 Andrew ReynoldsImprovements to quant+BV/Bool variable elimination... commit | commitdiff | tree
2018-01-08 Andres NoetzliFix broken GMP URL in get-win-dependencies script ... commit | commitdiff | tree
2018-01-08 Tim KingRemove throw specifiers from datatype. (#1489) commit | commitdiff | tree
2018-01-08 Tim KingRe-ordering field initialization in QuantInfo to remove... commit | commitdiff | tree
next