cvc5.git
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...
2018-08-02 Andres NoetzliRemove Subversion build info (#2250)
2018-08-02 Andrew ReynoldsFix API call for reg exp. (#2248)
2018-08-02 Andrew ReynoldsImprovements and fixes in cegqi arithmetic (#2247)
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245)
2018-08-02 Andrew ReynoldsFix issues with printing parametric datatypes in smt2...
2018-08-01 Andres NoetzliFix wrong evaluation of STRING_STOI (#2252)
2018-08-01 Mathias PreinerFix bool-to-bv preprocessing pass for non-{bv,bool...
2018-08-01 Aina Niemetz InteractiveShell: Remove redundant options argument...
2018-08-01 Aina NiemetzNew C++ API: Fixed ownership of options object. (#2243)
2018-08-01 Andrew ReynoldsFix issues with bv2nat (#2219)
2018-08-01 Andrew Reynolds Fix assertion in conjecture generator (#2246)
2018-08-01 Andrew ReynoldsMake conjecture generator's uf term enumeration safer...
2018-08-01 Andrew ReynoldsMake candidate rewrite match filtering handle polymorph...
2018-08-01 ayveejayImprovements and tests for the API around separation...
2018-08-01 Mathias PreinerRemove hasAssertions() method from eager BV solver...
2018-07-31 Mathias PreinerFix option handler for lazy/bv-sat-solver combinations...
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838)
next