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

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

2015-04-26	ajreynol	Bug fixes and improvements for mbqi with theory symbols...	blob \| commitdiff \| raw
2015-04-23	Clark Barrett	Merge branch 'master' into google	blob \| commitdiff \| raw \| diff to current
2015-04-21	Clark Barrett	Changes needed to compile at Google, plus some bug...	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Minor clean up	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Improved string performance, thanks to Peter's benchmarks.	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Improved string performance, thanks to Peter's benchmarks.	blob \| commitdiff \| raw \| diff to current
2015-01-07	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-12-27	Dejan Jovanovic	Adding an option to the equality engine constructor...	blob \| commitdiff \| raw \| diff to current
2014-12-22	Tianyi Liang	bug fix for constant regular expression model building	blob \| commitdiff \| raw \| diff to current
2014-12-22	Tianyi Liang	bug fix for constant regular expression model building	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-08	ajreynol	Fix bug with incremental+datatypes. Minor cleanup...	blob \| commitdiff \| raw \| diff to current
2014-11-08	Clark Barrett	Fixed bug in model builder with subtypes	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	ajreynol	Properly distinguish which EQC to assign values in...	blob \| commitdiff \| raw \| diff to current
2014-11-05	ajreynol	Fix model bug in --mbqi=fmc. Minor cleanup in datatypes.	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-02	Clark Barrett	Added cache to getModelValue	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-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-19	lianah	fixed merge conflict	blob \| commitdiff \| raw \| diff to current
2014-06-19	lianah	added model generation to eager bit-blasting and turned...	blob \| commitdiff \| raw \| diff to current
2014-05-17	Kshitij Bansal	Merge pull request #26 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-05-16	Kshitij Bansal	sets: fix a bug in model building, another in handling...	blob \| commitdiff \| raw \| diff to current
2014-05-12	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-05-11	Andrew Reynolds	More preparation for CASC proofs. Minor fix for sort...	blob \| commitdiff \| raw \| diff to current
2014-04-30	Morgan Deters	Mostly resolves bug #561 memory leaks, and more.	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-10	Andrew Reynolds	Expand definitions in theory datatypes, now has the...	blob \| commitdiff \| raw \| diff to current
2014-04-06	Tim King	Merge pull request #21 from pcc/ite-fix	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-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	cleanup	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	fix for sets/mar2014/..317minimized..	blob \| commitdiff \| raw \| diff to current
2014-03-20	Kshitij Bansal	fix a sharing issues with sets	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-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-27	Morgan Deters	General pre-release cleanup commit	blob \| commitdiff \| raw \| diff to current

RSS Atom