projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add bag inferences for operators: intersection, duplicate_removal, and empty bags...
[cvc5.git] / src / options /
2021-01-27 Andrew Reynolds(proof-new) Improvements to quantifiers engine and... tree | commitdiff
2021-01-26 Andrew ReynoldsRemove deprecated quantifiers modules (#5820) tree | commitdiff
2021-01-24 Andrew ReynoldsInitial cleaning of triggers (#5795) tree | commitdiff
2021-01-12 yoni206Foreign theory rewrite option (#5763) tree | commitdiff
2020-12-23 Haniel BarbosaDumping unsat cores after check-sat-assuming/QUERY... tree | commitdiff
2020-12-23 Andrew ReynoldsRemove quant EPR option (#5716) tree | commitdiff
2020-12-22 Andrew ReynoldsRemove preregister instantiation heuristic (#5713) tree | commitdiff
2020-12-16 Andrew ReynoldsSimplify preprocessing (#5647) tree | commitdiff
2020-12-15 Andrew ReynoldsRemove bv divide by zero option (#5672) tree | commitdiff
2020-12-14 Andrew ReynoldsProperly implement datatype selector triggers (#5624) tree | commitdiff
2020-12-09 yoni206update doc (#5619) tree | commitdiff
2020-12-08 Mathias PreinerDisable algebraic BV subtheory by default and make... tree | commitdiff
2020-12-07 Andrew ReynoldsFix issue with free variables introduced by quantifier... tree | commitdiff
2020-12-05 Everett MausChange generated options to be thread_local. (#5583) tree | commitdiff
2020-12-03 yoni206Models as (#5581) tree | commitdiff
2020-11-19 Aina NiemetzInclude stddef.h (needed for size_t) in cvc4_public... tree | commitdiff
2020-11-16 Gereon KremerImprove accuracy of resource limitation (#4763) tree | commitdiff
2020-11-13 yoni206Model declarations printing options (#5432) tree | commitdiff
2020-11-12 Andrew Reynolds(proof-new) Improve printing and debugging for pedantic... tree | commitdiff
2020-11-06 Andrew ReynoldsSimplify printing with respect to expression types... tree | commitdiff
2020-10-27 Gereon KremerDisable --nl-cad option by default (#5350) tree | commitdiff
2020-10-27 Gereon KremerEnable --nl-cad by default (#5345) tree | commitdiff
2020-10-12 Andrew ReynoldsRemove uf-ss-totality option (#5251) tree | commitdiff
2020-10-11 Mathias PreinerSyGuS instantiation modes (#5228) tree | commitdiff
2020-10-05 Andrew ReynoldsMake sygus more robust to unknown responses in solution... tree | commitdiff
2020-10-01 Mathias PreinerAdd additional ground terms to SyGuS instantiation... tree | commitdiff
2020-10-01 Gereon KremerAllow to use the initial assignment for CAD (#5177) tree | commitdiff
2020-09-23 yoni206bv2int: new options for bvand translation (#5096) tree | commitdiff
2020-09-22 Mathias PreinerAdd simple BV solver (#5065) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-22 Gereon KremerICP-based solver for nonlinear arithmetic (#5017) tree | commitdiff
2020-09-12 Andrew Reynolds(proof-new) Add SMT proof manager (#5054) tree | commitdiff
2020-09-08 Andres NoetzliMake CVC/API BV div/mod semantics match SMT-LIB (#4997) tree | commitdiff
2020-09-01 Haniel BarbosaRemoves old proof code (#4964) tree | commitdiff
2020-08-25 Andrew ReynoldsAdd the combination engine (#4939) tree | commitdiff
2020-08-21 Andrew ReynoldsConnect the relevance manager to TheoryEngine and use... tree | commitdiff
2020-08-21 Andrew ReynoldsRemove BV equality slicer (#4928) tree | commitdiff
2020-08-14 E Polgreencorrectly parse sygus lang option (#4884) tree | commitdiff
2020-08-12 Andrew Reynolds(proof-new) Improve interfaces to proof generators... tree | commitdiff
2020-08-12 Andrew Reynolds(proof-new) Extensions to proof checker interface ... tree | commitdiff
2020-08-11 Andrew ReynoldsRemove instantiation model true option (#4861) tree | commitdiff
2020-08-05 Andres Noetzli[Strings] Add eager context-dependent evaluation (... tree | commitdiff
2020-08-04 Gereon KremerAdd CAD-based solver (#4834) tree | commitdiff
2020-07-28 Andrew ReynoldsRemove arrays lazy rintro option (#4806) tree | commitdiff
2020-07-17 Andrew ReynoldsReplace options listener infrastructure (#4764) tree | commitdiff
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... tree | commitdiff
2020-07-17 Andrew Reynolds(proof-new) Updates to strings core solver (#4642) tree | commitdiff
2020-07-17 Andrew ReynoldsAdd option manager and simpler option listener (#4745) tree | commitdiff
2020-07-17 Gereon KremerIntegration of libpoly (#4679) tree | commitdiff
2020-07-16 Gereon KremerResource manager cleanup (#4732) tree | commitdiff
2020-07-16 Gereon KremerRemove cumulative time limits and cpu time limits ... tree | commitdiff
2020-07-14 Andrew ReynoldsMake use of options in setDefaults more consistent... tree | commitdiff
2020-07-14 Andrew ReynoldsDebug instantiations output (#4739) tree | commitdiff
2020-07-14 Haniel BarbosaFix options messages that were inverted (#4734) tree | commitdiff
2020-07-13 Andrew Reynolds User-facing print debug option for sygus candidates... tree | commitdiff
2020-07-13 Andrew ReynoldsStatistics on instantiations per quantified formula... tree | commitdiff
2020-07-11 yoni206Changing bv_to_int options (#4721) tree | commitdiff
2020-07-08 Gereon KremerRe-implement handling of --tlimit (#4655) tree | commitdiff
2020-07-08 Mathias PreinerAdd getName() method to options. (#4704) tree | commitdiff
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... tree | commitdiff
2020-07-03 Andres NoetzliRemove SWIG bindings (#4683) tree | commitdiff
2020-07-01 Andrew ReynoldsAdd solver for integer AND (#4681) tree | commitdiff
2020-06-30 Ying ShengInterpolation step 1 (#4638) tree | commitdiff
2020-06-25 Andrew ReynoldsRemove sygus1 parser (#4651) tree | commitdiff
2020-06-25 Andrew ReynoldsUpdate option --nl-ext to enable/disable incremental... tree | commitdiff
2020-06-23 Mathias PreinerAdd support for eqrange predicate (#4562) tree | commitdiff
2020-06-22 Andrew Reynolds(proof-new) Add proof-new to options file (#4641) tree | commitdiff
2020-06-22 yoni206fix (#4637) tree | commitdiff
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-11 Andrew Reynolds(proof-new) Remove arith-snorm option. (#4591) tree | commitdiff
2020-06-05 Andrew ReynoldsDatatypes with nested recursion are not handled in... tree | commitdiff
2020-06-05 Haniel BarbosaPrinting FP values as binary or indexed BVs according... tree | commitdiff
2020-06-03 Andrew ReynoldsDo not apply unconstrained simplification when quantifi... tree | commitdiff
2020-06-03 Andrew ReynoldsUse prenex normal form when using cegqi-nested-qe ... tree | commitdiff
2020-05-28 Andrew ReynoldsFix term registry for constant case, simplify. (#4538) tree | commitdiff
2020-05-23 Andrew ReynoldsRefactor operator elimination in arithmetic (#4519) tree | commitdiff
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) tree | commitdiff
2020-05-21 Andrew ReynoldsDisable re-elim by default (#4508) tree | commitdiff
2020-05-20 Aina NiemetzCegqiBv: Clean up after renaming options. (#4487) tree | commitdiff
2020-05-20 Andrew ReynoldsUse debug-check-model to enable internal debugging... tree | commitdiff
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207) tree | commitdiff
2020-05-19 Andrew ReynoldsUpdate enum and option names for sygus languages (... tree | commitdiff
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... tree | commitdiff
2020-04-21 Andrew ReynoldsFix for parse options related to binary name (#4368) tree | commitdiff
2020-04-21 Andrew ReynoldsMake option names related to CEGQI consistent (#4316) tree | commitdiff
2020-04-17 Mathias PreinerSyGuS instantiation quantifiers module (#3910) tree | commitdiff
2020-04-15 Andrew ReynoldsChange option names --default-dag-thresh and --default... tree | commitdiff
2020-04-14 Andrew ReynoldsRemove a few options (#4295) tree | commitdiff
2020-04-14 Andrew ReynoldsRemove early type check option (#4234) tree | commitdiff
2020-04-14 Andrew ReynoldsRemove argument extender (#4223) tree | commitdiff
2020-04-14 Andrew ReynoldsFix dump-unsat-cores-full (#4303) tree | commitdiff
2020-04-09 Andrew ReynoldsSplit ProcessAssertions module from SmtEngine (#4210) tree | commitdiff
2020-04-06 Andrew ReynoldsRemove links field in all toml files (#4201) tree | commitdiff
2020-04-02 Andres NoetzliRemove undocumented/uncommon aliases (#4177) tree | commitdiff
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) tree | commitdiff
2020-03-30 Andrew ReynoldsRemove ref skolem datatype option (#4185) tree | commitdiff
2020-03-26 AmaleeAdded unit-cube-like test for branch and bound (#3922) tree | commitdiff
2020-03-19 Andrew ReynoldsAlways enable cbqi literal dependency (#4116) tree | commitdiff
2020-03-13 Andrew ReynoldsRemoving a few deprecated options (#4052) tree | commitdiff
next