git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/bv

[cvc5.git] / src / theory / quantifiers / bv_inverter.h

2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-05-19	mudathirmahgoub	Renamed operator CHOICE to WITNESS (#4207)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-15	Andrew Reynolds	Disable solving non-linear BV literals by default ...	blob \| commitdiff \| raw \| diff to current
2018-02-08	Tim King	Adding virtual destructors on classes with virtual...	blob \| commitdiff \| raw \| diff to current
2018-02-06	Aina Niemetz	Updated copyright header for bv_inverter.(cpp\|h).	blob \| commitdiff \| raw \| diff to current
2018-01-08	Andrew Reynolds	Improvements to quant+BV/Bool variable elimination...	blob \| commitdiff \| raw \| diff to current
2017-12-21	Aina Niemetz	Add explicit disequality handling when generating side...	blob \| commitdiff \| raw \| diff to current
2017-12-08	Aina Niemetz	Fixed side conditions for CBQI BV, added unit tests...	blob \| commitdiff \| raw \| diff to current
2017-11-01	Andrew Reynolds	CBQI BV choice expressions (#1296)	blob \| commitdiff \| raw \| diff to current
2017-10-25	Aina Niemetz	CBQI BV: Add handling for missing operators. (#1274)	blob \| commitdiff \| raw \| diff to current
2017-10-24	Aina Niemetz	CBQI BV: Add ULT/SLT inverse handling. (#1268)	blob \| commitdiff \| raw \| diff to current
2017-10-02	Mathias Preiner	Address comments from PR #1164. (#1174)	blob \| commitdiff \| raw \| diff to current
2017-09-29	Mathias Preiner	Move BvInverter class into separate file. (#1173)	blob \| commitdiff \| raw \| diff to current

RSS Atom