projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309) commit | commitdiff | tree
2018-08-15 Andres NoetzliFix dumping of get-unsat-assumptions (#2302) commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused declaration (#2310) commit | commitdiff | tree
2018-08-14 Aina Niemetzautotools: Remove personal builds, rename build 'defaul... commit | commitdiff | tree
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301) commit | commitdiff | tree
2018-08-13 Tim KingRemoving support for T* and const T* attributes. (... commit | commitdiff | tree
2018-08-11 Andres NoetzliMake attributes robust to static init orderings (#2295) commit | commitdiff | tree
2018-08-10 Aina NiemetzFix portfolio command executor for changes from #2240... commit | commitdiff | tree
2018-08-10 Andres NoetzliDo not use static initialization in CxxTest runner... commit | commitdiff | tree
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... commit | commitdiff | tree
2018-08-09 Andres NoetzliFix documentation of regression tests (#2290) commit | commitdiff | tree
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) commit | commitdiff | tree
2018-08-09 Tim KingFixing documentation nit from PR#2232. (#2289) commit | commitdiff | tree
2018-08-08 Tim King Proposal for adding map utility functions to CVC4... commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsAdd debug test for sygus subcall verify calls. (#2287) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsMove uf model code from uf to quantifiers (#2095) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDo beta-reduction in expandDefinitions (#2286) commit | commitdiff | tree
2018-08-08 Andres NoetzliRequire Swig 3 (#2283) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsSimplify and improve the sygus parser (#2266) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDocument/refactor datatypes sygus simple symmetry break... commit | commitdiff | tree
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281) commit | commitdiff | tree
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... commit | commitdiff | tree
2018-08-07 Andrew Reynolds Wait to do sygus qe preprocess until full effort check... commit | commitdiff | tree
2018-08-07 Andrew ReynoldsFix inference of pre and post conditions for non variab... commit | commitdiff | tree
2018-08-07 Mathias PreinerMake output of flushInformation and safeFlushInformatio... commit | commitdiff | tree
2018-08-07 Aina NiemetzAdd rewrite for nested BITVECTOR_ITE that can be merged... commit | commitdiff | tree
2018-08-07 Andrew ReynoldsMake flat form inferences optional in strings (#2277) commit | commitdiff | tree
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276) commit | commitdiff | tree
2018-08-07 Andrew Reynolds Move sygus quantifier elimination step for non-ground... commit | commitdiff | tree
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264) commit | commitdiff | tree
2018-08-06 Andrew ReynoldsFixes for sygus inference (#2238) commit | commitdiff | tree
2018-08-06 Andrew Reynolds Fixes and improvements for single invocation inference... commit | commitdiff | tree
2018-08-06 Andrew ReynoldsFix degenerate case of sygus grammar construction for... commit | commitdiff | tree
2018-08-04 Aina Niemetz Add rewrite for nested BITVECTOR_ITE with cond_outer... commit | commitdiff | tree
2018-08-04 Aina NiemetzAdd rewrite for BITVECTOR_ITE with const children.... commit | commitdiff | tree
2018-08-03 Aina NiemetzAdd rewrite for BITVECTOR_ITE with term_then == term_el... commit | commitdiff | tree
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions... commit | commitdiff | tree
2018-08-03 Mathias PreinerFix printing statistics in case of signals. (#2267) commit | commitdiff | tree
2018-08-03 Aina Niemetz Add timer for BV inequality solver. (#2265) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsImprove CEGQI heuristics involving equality and multipl... commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix candidate rewrite utilities for non-first-class... commit | commitdiff | tree
2018-08-02 Andrew ReynoldsMake strings robust to regular expression variables... commit | commitdiff | tree
2018-08-02 Aina NiemetzAdd rewrites for BITVECTOR_ITE and BITVECTOR_COMP with... commit | commitdiff | tree
2018-08-02 Andrew Reynolds Remove references to deprecated propagate as decision... commit | commitdiff | tree
next