projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-09-04 Andrew ReynoldsRemove redundant strings rewrite. (#2422) commit | commitdiff | tree
2018-09-04 Andres NoetzliUpdate INSTALL instructions (#2420) commit | commitdiff | tree
2018-09-04 Andres NoetzliRemove CVC3 compatibility layer (#2418) commit | commitdiff | tree
2018-09-04 Andres NoetzliRemove unused options file (#2413) commit | commitdiff | tree
2018-09-04 Andrew ReynoldsMinor improvements to theory model builder interface... commit | commitdiff | tree
2018-09-04 Andrew ReynoldsMake quantifiers strategies exit immediately when in... commit | commitdiff | tree
2018-09-04 Aina NiemetzTransfer ownership of learned literals from SMT engine... commit | commitdiff | tree
2018-09-04 Aina NiemetzFix merge mishap of #2359. commit | commitdiff | tree
2018-09-04 Andrew ReynoldsRefactor ceg conjecture initialization (#2411) commit | commitdiff | tree
2018-08-31 Haniel BarbosaAllows SAT checks of repair const to have different... commit | commitdiff | tree
2018-08-31 Andrew ReynoldsRefactor and document alpha equivalence. (#2402) commit | commitdiff | tree
2018-08-31 Haniel BarbosaFix export of bound variables (#2409) commit | commitdiff | tree
2018-08-30 Mathias PreinerRefactor theory preprocess into preprocessing pass... commit | commitdiff | tree
2018-08-30 Andres NoetzliUse useBland option in FCSimplexDecisionProcedure ... commit | commitdiff | tree
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) commit | commitdiff | tree
2018-08-29 Mathias PreinerRefactor MipLibTrick preprocessing pass. (#2359) commit | commitdiff | tree
2018-08-29 Tim KingForcing attribute_internals.h to use uint64_t's for... commit | commitdiff | tree
2018-08-29 Haniel Barbosafix bv total ops printing (#2365) commit | commitdiff | tree
2018-08-28 Andrew Reynolds Split term canonize utility to own file and document... commit | commitdiff | tree
2018-08-28 Aina NiemetzReorder circuit propagator class. commit | commitdiff | tree
2018-08-28 Aina NiemetzMove flag needsFinish from SMT engine to circuit propag... commit | commitdiff | tree
2018-08-28 Andrew Reynolds Fix for get constraints method in fmf-fun (#2399) commit | commitdiff | tree
2018-08-28 Andrew ReynoldsSolve equalities between Boolean variables in presolve... commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove throw specifiers in FP type checker (#2392) commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove dead code in fp_converter (#2388) commit | commitdiff | tree
2018-08-28 Andrew ReynoldsFix sort inference for quantified variables of interpre... commit | commitdiff | tree
2018-08-28 Andrew Reynolds Address more coverity warnings (#2394) commit | commitdiff | tree
2018-08-28 Andrew ReynoldsFix warning in sygus io. (#2391) commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove dead code in evaluator (#2389) commit | commitdiff | tree
2018-08-28 Andrew ReynoldsRefactor extended rewriter, move rewrites to aggressive... commit | commitdiff | tree
2018-08-28 Aina NiemetzNew C++ API: Fix isDefinedKind() to not be ambigious... commit | commitdiff | tree
2018-08-27 Mathias PreinerUse std:unique_ptr instead of raw pointers in theory... commit | commitdiff | tree
2018-08-27 Andres NoetzliResolution proof: separate printing from proof (#1964) commit | commitdiff | tree
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) commit | commitdiff | tree
2018-08-27 Andres NoetzliRemove Coverity build from Travis (#2373) commit | commitdiff | tree
2018-08-26 Andres NoetzliUse uniform length limit for String constants (#2381) commit | commitdiff | tree
2018-08-26 Andrew ReynoldsFix unsigned integer type issues in strings (#2380) commit | commitdiff | tree
2018-08-26 Andres NoetzliRefactor unconstrained simplification pass (#2374) commit | commitdiff | tree
2018-08-25 yoni206Refactor quantifier macros preprocessing pass (#1840) commit | commitdiff | tree
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963) commit | commitdiff | tree
2018-08-25 Andrew ReynoldsClean up quantifiers engine initialization. (#2371) commit | commitdiff | tree
2018-08-24 Andrew Reynolds Fix more simple coverity warnings (#2372) commit | commitdiff | tree
2018-08-24 Andrew Reynolds Remove spurious disabling of cbqi-all (#2368) commit | commitdiff | tree
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ... commit | commitdiff | tree
2018-08-24 Andrew Reynolds Do not print internally generated datatypes in externa... commit | commitdiff | tree
2018-08-24 Aina NiemetzNew C++ API: Add checks for kind arguments. (#2369) commit | commitdiff | tree
2018-08-23 Andres NoetzliAdd missing overrides in unit tests (#2362) commit | commitdiff | tree
2018-08-23 Tim KingReplacing allocatedInCMM and d_noTrash with false every... commit | commitdiff | tree
2018-08-23 Haniel BarbosaMakes the filename be set in the SMT engine by default... commit | commitdiff | tree
2018-08-23 Andrew Reynolds Fixing some coverity warnings (#2357) commit | commitdiff | tree
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364) commit | commitdiff | tree
2018-08-23 Aina NiemetzRefactor ITE simplification preprocessing pass. (#2360) commit | commitdiff | tree
2018-08-23 Andres NoetzliUse "filename" instead of "name" in SmtEngine::setInfo... commit | commitdiff | tree
2018-08-23 yoni206global-negate preprocessing pass (#2317) commit | commitdiff | tree
2018-08-23 Andrew ReynoldsMore regressions that increase coverage (#2354) commit | commitdiff | tree
2018-08-22 Andrew Reynolds More unused code elimination (#2358) commit | commitdiff | tree
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann... commit | commitdiff | tree
2018-08-22 Tim KingWrapping TheorySetsPrivate in a unique_ptr. (#2356) commit | commitdiff | tree
2018-08-22 Andrew ReynoldsFix option for real2int regression. (#2353) commit | commitdiff | tree
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS... commit | commitdiff | tree
2018-08-22 Andrew ReynoldsFix invalid iterator comparisons (#2349) commit | commitdiff | tree
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus... commit | commitdiff | tree
2018-08-21 Tim KingRemoving unused bool members in command.cpp. Also initi... commit | commitdiff | tree
2018-08-21 Andrew ReynoldsWarn and enable quantifiers when using sygus + logics... commit | commitdiff | tree
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335) commit | commitdiff | tree
2018-08-21 Mathias PreinerMove d_realAssertionsEnd from SmtEnginePrivate to Asser... commit | commitdiff | tree
2018-08-21 Tim KingAdd constexpr annotations to help coverity understand... commit | commitdiff | tree
2018-08-21 Andrew ReynoldsUse cbqi-full for sygus (#2346) commit | commitdiff | tree
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... commit | commitdiff | tree
2018-08-21 Aina NiemetzFix initialization of d_smt in ValidityChecker for... commit | commitdiff | tree
2018-08-21 Aina NiemetzRemove disabled system test cvc3_george. (#2342) commit | commitdiff | tree
2018-08-21 Andrew ReynoldsMore unused code elimination (#2339) commit | commitdiff | tree
2018-08-20 Andrew Reynolds Remove support for prototype (non-sygus) synthesis... commit | commitdiff | tree
2018-08-20 Andrew ReynoldsAdd regressions that increase coverage (#2337) commit | commitdiff | tree
2018-08-20 Andrew ReynoldsMinor improvements to the interface for sygus sampler... commit | commitdiff | tree
2018-08-20 Andrew Reynolds Make sygus inference a preprocessing pass (#2334) commit | commitdiff | tree
2018-08-18 Aina Niemetzrun-regress script: Exit with exit code > 0 on failure... commit | commitdiff | tree
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319) commit | commitdiff | tree
2018-08-17 Andrew ReynoldsRemove miscellaneous unused code (#2333) commit | commitdiff | tree
2018-08-17 Andrew Reynolds Add sygus stream regressions (#2330) commit | commitdiff | tree
2018-08-17 Andrew ReynoldsSplit sygus grammar to its own ANTLR grammar (#2307) commit | commitdiff | tree
2018-08-17 Andrew Reynolds Fix spurious warning in sort inference (#2331) commit | commitdiff | tree
2018-08-17 Andrew Reynolds Fix arithmetic division by zero in sygus repair consta... commit | commitdiff | tree
2018-08-17 Andrew Reynolds Eliminate partial operators in sygus grammar normaliza... commit | commitdiff | tree
2018-08-17 Tim King Initialize inputAssertions only when proofRecipe is... commit | commitdiff | tree
2018-08-17 Mathias PreinerRefactor eager atoms preprocessing pass. (#2318) commit | commitdiff | tree
2018-08-17 Haniel Barbosacleaning unnecessary timers/dumps (#2327) commit | commitdiff | tree
2018-08-17 Haniel BarbosaAdding support for bitvector SyGuS problems without... commit | commitdiff | tree
2018-08-17 Caleb DonovickMake quantifiers-preprocess preprocessing pass (#2322) commit | commitdiff | tree
2018-08-17 Tim KingRemoving coverity warnings from theory_sep.cpp (#2320) commit | commitdiff | tree
2018-08-17 Andres NoetzliRefactor IteRemoval preprocessing pass (#1793) commit | commitdiff | tree
2018-08-16 Andres NoetzliMove node algorithms to separate file (#2311) commit | commitdiff | tree
2018-08-16 Andrew ReynoldsMinor fixes and improvement for sygus to builtin. ... commit | commitdiff | tree
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324) commit | commitdiff | tree
2018-08-16 Haniel BarbosaRefactor apply2const (#2316) commit | commitdiff | tree
2018-08-16 Tim KingSwitching an Assert to a CVC4_CHECK to test if it resol... commit | commitdiff | tree
2018-08-15 Tim KingRemoving attribute cleanups. (#2300) commit | commitdiff | tree
2018-08-15 Mathias PreinerAdd contrib/get-gmp script. (#2292) commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused tuple classes (#2313) commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused class DynamicArray (#2312) commit | commitdiff | tree
next