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

[cvc5.git] / src / theory / uf / theory_uf_model.cpp

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	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-12-11	Andrew Reynolds	Remove alternate versions of mbqi (#2742)	blob \| commitdiff \| raw \| diff to current
2018-08-21	Andrew Reynolds	More unused code elimination (#2339)	blob \| commitdiff \| raw \| diff to current
2018-08-08	Andrew Reynolds	Move uf model code from uf to quantifiers (#2095)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-11-01	Andrew Reynolds	(Refactor) Split term util (#1303)	blob \| commitdiff \| raw \| diff to current
2017-10-27	Andrew Reynolds	Refactor theory model (#1236)	blob \| commitdiff \| raw \| diff to current
2017-10-10	Andrew Reynolds	Split term database (#1206)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	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
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-19	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-27	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-18	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-17	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-09	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-08	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-03	Andrew Reynolds	Added support for proof production in Equality Engine...	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-07	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-06	Andrew Reynolds	Bug fixes for bounded integer quantification. Current...	blob \| commitdiff \| raw \| diff to current
2013-11-06	Andrew Reynolds	Bug fixes for bounded integer quantification. Current...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-07-16	Morgan Deters	"Tabular"-style function definitions in models with...	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	Add --no-condense-function-values option for explicit...	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-29	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-09	Kshitij Bansal	Merge branch 'master' of ssh://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-05-09	Andrew Reynolds	Add new method for checking candidate models, --fmf...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-29	Andrew Reynolds	more updates and minor bug fixes for fmf/inst-gen quant...	blob \| commitdiff \| raw \| diff to current
2012-10-23	Andrew Reynolds	more updates to inst gen: fixed partial instantiations...	blob \| commitdiff \| raw \| diff to current
2012-10-16	Andrew Reynolds	first draft of new inst gen method (still with bugs...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Clark Barrett	New model code, mostly workin	blob \| commitdiff \| raw \| diff to current
2012-09-26	Andrew Reynolds	updates to model generation : do not modify equality...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Morgan Deters	Adding model assertions after SAT responses.	blob \| commitdiff \| raw \| diff to current
2012-08-31	Andrew Reynolds	merge from fmf-devel branch. more updates to models...	blob \| commitdiff \| raw \| diff to current
2012-07-27	Morgan Deters	Minor cleanup after today's commits:	blob \| commitdiff \| raw \| diff to current
2012-07-27	Andrew Reynolds	merging fmf-devel branch, includes refactored datatype...	blob \| commitdiff \| raw \| diff to current
2012-07-12	Andrew Reynolds	merged fmf-devel branch, includes support for SMT2...	blob \| commitdiff \| raw \| diff to current

RSS Atom