cvc5.git
2018-08-23 Andres NoetzliAdd missing overrides in unit tests (#2362)
2018-08-23 Tim KingReplacing allocatedInCMM and d_noTrash with false every...
2018-08-23 Haniel BarbosaMakes the filename be set in the SMT engine by default...
2018-08-23 Andrew Reynolds Fixing some coverity warnings (#2357)
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364)
2018-08-23 Aina NiemetzRefactor ITE simplification preprocessing pass. (#2360)
2018-08-23 Andres NoetzliUse "filename" instead of "name" in SmtEngine::setInfo...
2018-08-23 yoni206global-negate preprocessing pass (#2317)
2018-08-23 Andrew ReynoldsMore regressions that increase coverage (#2354)
2018-08-22 Andrew Reynolds More unused code elimination (#2358)
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann...
2018-08-22 Tim KingWrapping TheorySetsPrivate in a unique_ptr. (#2356)
2018-08-22 Andrew ReynoldsFix option for real2int regression. (#2353)
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS...
2018-08-22 Andrew ReynoldsFix invalid iterator comparisons (#2349)
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus...
2018-08-21 Tim KingRemoving unused bool members in command.cpp. Also initi...
2018-08-21 Andrew ReynoldsWarn and enable quantifiers when using sygus + logics...
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335)
2018-08-21 Mathias PreinerMove d_realAssertionsEnd from SmtEnginePrivate to Asser...
2018-08-21 Tim KingAdd constexpr annotations to help coverity understand...
2018-08-21 Andrew ReynoldsUse cbqi-full for sygus (#2346)
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (...
2018-08-21 Aina NiemetzFix initialization of d_smt in ValidityChecker for...
2018-08-21 Aina NiemetzRemove disabled system test cvc3_george. (#2342)
2018-08-21 Andrew ReynoldsMore unused code elimination (#2339)
2018-08-20 Andrew Reynolds Remove support for prototype (non-sygus) synthesis...
2018-08-20 Andrew ReynoldsAdd regressions that increase coverage (#2337)
2018-08-20 Andrew ReynoldsMinor improvements to the interface for sygus sampler...
2018-08-20 Andrew Reynolds Make sygus inference a preprocessing pass (#2334)
2018-08-18 Aina Niemetzrun-regress script: Exit with exit code > 0 on failure...
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319)
2018-08-17 Andrew ReynoldsRemove miscellaneous unused code (#2333)
2018-08-17 Andrew Reynolds Add sygus stream regressions (#2330)
2018-08-17 Andrew ReynoldsSplit sygus grammar to its own ANTLR grammar (#2307)
2018-08-17 Andrew Reynolds Fix spurious warning in sort inference (#2331)
2018-08-17 Andrew Reynolds Fix arithmetic division by zero in sygus repair consta...
2018-08-17 Andrew Reynolds Eliminate partial operators in sygus grammar normaliza...
2018-08-17 Tim King Initialize inputAssertions only when proofRecipe is...
2018-08-17 Mathias PreinerRefactor eager atoms preprocessing pass. (#2318)
2018-08-17 Haniel Barbosacleaning unnecessary timers/dumps (#2327)
2018-08-17 Haniel BarbosaAdding support for bitvector SyGuS problems without...
2018-08-17 Caleb DonovickMake quantifiers-preprocess preprocessing pass (#2322)
2018-08-17 Tim KingRemoving coverity warnings from theory_sep.cpp (#2320)
2018-08-17 Andres NoetzliRefactor IteRemoval preprocessing pass (#1793)
2018-08-16 Andres NoetzliMove node algorithms to separate file (#2311)
2018-08-16 Andrew ReynoldsMinor fixes and improvement for sygus to builtin. ...
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324)
2018-08-16 Haniel BarbosaRefactor apply2const (#2316)
2018-08-16 Tim KingSwitching an Assert to a CVC4_CHECK to test if it resol...
2018-08-15 Tim KingRemoving attribute cleanups. (#2300)
2018-08-15 Mathias PreinerAdd contrib/get-gmp script. (#2292)
2018-08-15 Andres NoetzliRemove unused tuple classes (#2313)
2018-08-15 Andres NoetzliRemove unused class DynamicArray (#2312)
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309)
2018-08-15 Andres NoetzliFix dumping of get-unsat-assumptions (#2302)
2018-08-15 Andres NoetzliRemove unused declaration (#2310)
2018-08-14 Aina Niemetzautotools: Remove personal builds, rename build 'defaul...
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301)
2018-08-13 Tim KingRemoving support for T* and const T* attributes. (...
2018-08-11 Andres NoetzliMake attributes robust to static init orderings (#2295)
2018-08-10 Aina NiemetzFix portfolio command executor for changes from #2240...
2018-08-10 Andres NoetzliDo not use static initialization in CxxTest runner...
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver...
2018-08-09 Andres NoetzliFix documentation of regression tests (#2290)
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240)
2018-08-09 Tim KingFixing documentation nit from PR#2232. (#2289)
2018-08-08 Tim King Proposal for adding map utility functions to CVC4...
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288)
2018-08-08 Andrew ReynoldsAdd debug test for sygus subcall verify calls. (#2287)
2018-08-08 Andrew ReynoldsMove uf model code from uf to quantifiers (#2095)
2018-08-08 Andrew ReynoldsDo beta-reduction in expandDefinitions (#2286)
2018-08-08 Andres NoetzliRequire Swig 3 (#2283)
2018-08-08 Andrew ReynoldsSimplify and improve the sygus parser (#2266)
2018-08-08 Andrew ReynoldsDocument/refactor datatypes sygus simple symmetry break...
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281)
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (...
2018-08-07 Andrew Reynolds Wait to do sygus qe preprocess until full effort check...
2018-08-07 Andrew ReynoldsFix inference of pre and post conditions for non variab...
2018-08-07 Mathias PreinerMake output of flushInformation and safeFlushInformatio...
2018-08-07 Aina NiemetzAdd rewrite for nested BITVECTOR_ITE that can be merged...
2018-08-07 Andrew ReynoldsMake flat form inferences optional in strings (#2277)
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276)
2018-08-07 Andrew Reynolds Move sygus quantifier elimination step for non-ground...
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264)
2018-08-06 Andrew ReynoldsFixes for sygus inference (#2238)
2018-08-06 Andrew Reynolds Fixes and improvements for single invocation inference...
2018-08-06 Andrew ReynoldsFix degenerate case of sygus grammar construction for...
2018-08-04 Aina Niemetz Add rewrite for nested BITVECTOR_ITE with cond_outer...
2018-08-04 Aina NiemetzAdd rewrite for BITVECTOR_ITE with const children....
2018-08-03 Aina NiemetzAdd rewrite for BITVECTOR_ITE with term_then == term_el...
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions...
2018-08-03 Mathias PreinerFix printing statistics in case of signals. (#2267)
2018-08-03 Aina Niemetz Add timer for BV inequality solver. (#2265)
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257)
2018-08-02 Andrew ReynoldsImprove CEGQI heuristics involving equality and multipl...
2018-08-02 Andrew ReynoldsFix candidate rewrite utilities for non-first-class...
2018-08-02 Andrew ReynoldsMake strings robust to regular expression variables...
2018-08-02 Aina NiemetzAdd rewrites for BITVECTOR_ITE and BITVECTOR_COMP with...
2018-08-02 Andrew Reynolds Remove references to deprecated propagate as decision...
next