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

[cvc5.git] / src / theory / sort_inference.cpp

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-09-01	Haniel Barbosa	Removes old proof code (#4964)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-22	Andrew Reynolds	Sort inference does not handle APPLY_UF when higher...	blob \| commitdiff \| raw \| diff to current
2020-03-10	Andrew Reynolds	Fix sort inference for top-level Boolean variables...	blob \| commitdiff \| raw \| diff to current
2020-03-10	Andrew Reynolds	Fix assertion failure in sort inference for Boolean...	blob \| commitdiff \| raw \| diff to current
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-08-28	Andrew Reynolds	Fix sort inference for quantified variables of interpre...	blob \| commitdiff \| raw \| diff to current
2018-08-17	Andrew Reynolds	Fix spurious warning in sort inference (#2331)	blob \| commitdiff \| raw \| diff to current
2018-08-15	Andrew Reynolds	Make sort inference a preprocessing pass (#2309)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-04-30	Andrew Reynolds	Remove subsort symmetry breaking (#1807)	blob \| commitdiff \| raw \| diff to current
2017-09-25	Andrew Reynolds	Fix bug related to sort inference + subtypes. (#1125)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-03-10	ajreynol	Faster conditional rewriting for and/or beneath quantif...	blob \| commitdiff \| raw \| diff to current
2015-12-17	ajreynol	Minor	blob \| commitdiff \| raw \| diff to current
2015-12-15	ajreynol	Add option uf-ss-fair-monotone. Minor cleanup and impro...	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current

RSS Atom