git.libre-soc.org Git - cvc5.git/history - src/options/arith

[cvc5.git] / src / options / arith_options.toml

2021-12-13	Gereon Kremer	Improve nonlinear solver (#7787)	blob \| commitdiff \| raw
2021-11-18	Gereon Kremer	Refactor CAD option for linear model seed (#7657)	blob \| commitdiff \| raw \| diff to current
2021-11-17	Gereon Kremer	Implement aggressive pruning in CAD solver (#7650)	blob \| commitdiff \| raw \| diff to current
2021-09-15	Gereon Kremer	remove options that are no longer used (#7197)	blob \| commitdiff \| raw \| diff to current
2021-09-08	Andrew Reynolds	Add option for using bound inference for relevant asser...	blob \| commitdiff \| raw \| diff to current
2021-08-03	Gereon Kremer	Use int64_t, uint64_t or double for all numeric options...	blob \| commitdiff \| raw \| diff to current
2021-07-26	Andrew Reynolds	More updates to arithmetic in preparation for central...	blob \| commitdiff \| raw \| diff to current
2021-07-15	Andrew Reynolds	Connect the equality solver to theory arith (#6894)	blob \| commitdiff \| raw \| diff to current
2021-07-06	Gereon Kremer	Integrate Lazard into CAD module (#6812)	blob \| commitdiff \| raw \| diff to current
2021-05-19	Gereon Kremer	Generate command line options for sphinx docs (#6555)	blob \| commitdiff \| raw \| diff to current
2021-05-17	Gereon Kremer	Replace smt_name by aliases (#6541)	blob \| commitdiff \| raw \| diff to current
2021-05-17	Gereon Kremer	Improve integration of CAD with nl-Ext (#6542)	blob \| commitdiff \| raw \| diff to current
2021-05-10	Gereon Kremer	Remove header for option modules (#6514)	blob \| commitdiff \| raw \| diff to current
2021-05-10	Gereon Kremer	Remove read_only from options. (#6513)	blob \| commitdiff \| raw \| diff to current
2020-10-27	Gereon Kremer	Disable --nl-cad option by default (#5350)	blob \| commitdiff \| raw \| diff to current
2020-10-27	Gereon Kremer	Enable --nl-cad by default (#5345)	blob \| commitdiff \| raw \| diff to current
2020-10-05	Andrew Reynolds	Make sygus more robust to unknown responses in solution...	blob \| commitdiff \| raw \| diff to current
2020-10-01	Gereon Kremer	Allow to use the initial assignment for CAD (#5177)	blob \| commitdiff \| raw \| diff to current
2020-09-22	Gereon Kremer	ICP-based solver for nonlinear arithmetic (#5017)	blob \| commitdiff \| raw \| diff to current
2020-08-21	Andrew Reynolds	Connect the relevance manager to TheoryEngine and use...	blob \| commitdiff \| raw \| diff to current
2020-08-04	Gereon Kremer	Add CAD-based solver (#4834)	blob \| commitdiff \| raw \| diff to current
2020-07-14	Andrew Reynolds	Make use of options in setDefaults more consistent...	blob \| commitdiff \| raw \| diff to current
2020-06-25	Andrew Reynolds	Update option --nl-ext to enable/disable incremental...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Andrew Reynolds	(proof-new) Remove arith-snorm option. (#4591)	blob \| commitdiff \| raw \| diff to current
2020-05-23	Andrew Reynolds	Refactor operator elimination in arithmetic (#4519)	blob \| commitdiff \| raw \| diff to current
2020-04-09	Andrew Reynolds	Split ProcessAssertions module from SmtEngine (#4210)	blob \| commitdiff \| raw \| diff to current
2020-03-26	Amalee	Added unit-cube-like test for branch and bound (#3922)	blob \| commitdiff \| raw \| diff to current
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2018-08-21	Haniel Barbosa	Makes the new row propagation system default (#2335)	blob \| commitdiff \| raw \| diff to current
2018-07-30	FabianWolff	Fix several spelling errors (#2231)	blob \| commitdiff \| raw \| diff to current
2018-07-27	Mathias Preiner	Require argument description for non-{bool,void} option...	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andrew Reynolds	Generalize check-model in NonLinearExtension for quadra...	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andrew Reynolds	Option to interleave tangent plane inferences (#1833)	blob \| commitdiff \| raw \| diff to current
2018-05-01	Andrew Reynolds	Improve tangent planes for transcendental functions...	blob \| commitdiff \| raw \| diff to current
2018-04-25	Andrew Reynolds	Remove nl solve subs option. (#1803)	blob \| commitdiff \| raw \| diff to current
2018-04-10	Andres Noetzli	Remove unused arith options (#1758)	blob \| commitdiff \| raw \| diff to current
2018-03-21	Mathias Preiner	Refactor mkoptions (#1631)	blob \| commitdiff \| raw \| diff to current

RSS Atom