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

2020-10-20	Aina Niemetz	Fix compiler warnings. (#5305)	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-12-09	Andrew Reynolds	Fix case of uninterpreted constant instantiation in...	blob \| commitdiff \| raw \| diff to current
2019-09-12	Andrew Reynolds	Refactoring finite bounds in Quantifiers Engine (#3261)	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-09-06	Andrew Reynolds	Minor improvements to interface for rep set. (#2435)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-02-05	Tim King	Cleaning up the printing of theory model representative...	blob \| commitdiff \| raw \| diff to current
2017-11-14	Andrew Reynolds	(Refactor) Decouple rep set iterator and quantifiers...	blob \| commitdiff \| raw \| diff to current
2017-10-27	Andrew Reynolds	Refactor theory model (#1236)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-01-04	Andrew Reynolds	Merge pull request #122 from 4tXJ7f/fix_lfsc_str	blob \| commitdiff \| raw \| diff to current
2017-01-04	guykatzz	Merge pull request #120 from 4tXJ7f/fix_f_pp_holes	blob \| commitdiff \| raw \| diff to current
2017-01-04	Andrew Reynolds	Merge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks	blob \| commitdiff \| raw \| diff to current
2016-12-29	Tim King	Adding a destructor to RepBoundExt.	blob \| commitdiff \| raw \| diff to current
2016-12-07	guykatzz	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-12-07	ajreynol	Refactoring, generalization of bounded inference module...	blob \| commitdiff \| raw \| diff to current
2016-12-02	Tim King	Merge pull request #95 from 4tXJ7f/fix_sierra_build	blob \| commitdiff \| raw \| diff to current
2016-12-02	Clark Barrett	Merge pull request #113 from 4tXJ7f/remove_extract_rule	blob \| commitdiff \| raw \| diff to current
2016-12-02	ajreynol	Refactor preprocessing of models in fmf. Fix options...	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-06-01	ajreynol	Initial infrastructure for bounded set quantification...	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-09-16	ajreynol	Add option --fmf-fun-rlv, remove deprecated option...	blob \| commitdiff \| raw \| diff to current
2015-06-16	ajreynol	Avoid completion for large finite types. Fix bug for...	blob \| commitdiff \| raw \| diff to current
2015-05-12	barrettcw	Merge pull request #74 from finnhaedicke/namespace_minisat	blob \| commitdiff \| raw \| diff to current
2015-04-26	ajreynol	Bug fixes and improvements for mbqi with theory symbols...	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-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-05	ajreynol	Fix model bug in --mbqi=fmc. Minor cleanup in datatypes.	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-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
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-06-26	Andrew Reynolds	Add support for interval models in bounded integers...	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Andrew Reynolds	Refactoring of model engine to separate individual...	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	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-04	Andrew Reynolds	Add partial support for MBQI with arrays when using...	blob \| commitdiff \| raw \| diff to current
2013-06-03	Morgan Deters	Merge tag 'casc24'	blob \| commitdiff \| raw \| diff to current
2013-05-29	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-22	Andrew Reynolds	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-05-22	Andrew Reynolds	Significant work on bounded integer quantification...	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-11	Andrew Reynolds	Preliminary version of finite model finding over bounde...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-03-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge pull request #6 from kbansal/decNewoptions	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Some cleanup and copyright updating	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Tim King	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-08	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Kshitij Bansal	Merge remote-tracking branch 'origin/1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Kshitij Bansal	Merge pull request #3 from kbansal/1.0.x	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	dos2unix conversion for a number of files; this avoids...	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	fixed files with DOS newlines; fixed contrib/ scripts...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Andrew Reynolds	minor bug fixes for quantifiers, added sort inference...	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-09	Andrew Reynolds	fixed datatypes rewriter to detect clashes between...	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

RSS Atom