git.libre-soc.org Git - cvc5.git/history - src/util/integer_gmp

[cvc5.git] / src / util / integer_gmp_imp.h

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-19	Aina Niemetz	BitVector: Change setBit to set the bit in place. ...	blob \| commitdiff \| raw \| diff to current
2021-03-16	Mathias Preiner	cmake: Generate cvc4_export.h and set visibility to...	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-03-03	Gereon Kremer	More cleanup of includes to reduce compilation times...	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-10-19	Aina Niemetz	Integer: CLN: Move implementation of member functions...	blob \| commitdiff \| raw \| diff to current
2020-10-05	Aina Niemetz	Integer: GMP: Move implementation of member functions...	blob \| commitdiff \| raw \| diff to current
2020-10-01	Aina Niemetz	BitVector: Extend interface of setBit to set it to...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-06-22	Aina Niemetz	get-authors: Add alias for nafur. (#4646)	blob \| commitdiff \| raw \| diff to current
2020-06-22	nafur	Allow for better interaction of Integer/Rational with...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	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
2017-11-09	Aina Niemetz	Add modular arithmetic operators. (#1321)	blob \| commitdiff \| raw \| diff to current
2017-11-06	Aina Niemetz	Add getValue() for Rational and Integer (GMP and CLN...	blob \| commitdiff \| raw \| diff to current
2017-08-24	Andrew Reynolds	Merge pull request #191 from timothy-king/cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-08-04	Aina Niemetz	Fix typos in comments	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-03	Tim King	Removing the throw specifiers from Cardinality.	blob \| commitdiff \| raw \| diff to current
2016-08-24	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-08-19	Clark Barrett	Added fitsSignedLong and fitsUnsignedLong	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-24	Tim King	Miscellaneous fixes	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-05-01	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-30	Tim King	T-entailment work, and QCF (quant conflict find) work...	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-04-01	Tim King	Fixing bug 552. There was a bug when integers are...	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
2013-04-01	Morgan Deters	Merging some cleanup work:	blob \| commitdiff \| raw \| diff to current
2013-03-29	Dejan Jovanović	Merge branch 'master' of github.com:CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-03-27	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-27	lianah	added model generation for bv subtheories and bv-inequa...	blob \| commitdiff \| raw \| diff to current
2013-03-22	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-21	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-21	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-21	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	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-02-02	lianah	merged master into branch	blob \| commitdiff \| raw \| diff to current
2012-12-15	Tim King	Merging in patch from branch '1.0.x'.	blob \| commitdiff \| raw \| diff to current
2012-12-15	Tim King	Merge remote-tracking branch 'main-repo/1.0.x' into...	blob \| commitdiff \| raw \| diff to current
2012-12-15	Tim King	Changing the rewriter to use Boute's Euclidean definiti...	blob \| commitdiff \| raw \| diff to current
2012-12-11	Liana Hadarean	ported my bv-core branch from svn to git	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-25	Morgan Deters	fix some Mac issues	blob \| commitdiff \| raw \| diff to current
2012-08-14	Morgan Deters	Fixes to integer wrapper classes:	blob \| commitdiff \| raw \| diff to current
2012-08-07	Morgan Deters	Some items from the CVC4 public interface review:	blob \| commitdiff \| raw \| diff to current
2012-07-07	Morgan Deters	Various fixes to documentation---typos, some incomplete...	blob \| commitdiff \| raw \| diff to current
2012-05-18	Tim King	This commit adds TypeNode::leastCommonTypeNode(). ...	blob \| commitdiff \| raw \| diff to current
2012-04-17	Tim King	Merges branches/arithmetic/atom-database r2979 through...	blob \| commitdiff \| raw \| diff to current
2012-03-22	Liana Hadarean	Merged updated version of the bitvector theory:	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw \| diff to current
2012-02-15	Tim King	This commit merges into trunk the branch branches/arith...	blob \| commitdiff \| raw \| diff to current
2011-11-02	Morgan Deters	better Integer asserts when there's overflow on convers...	blob \| commitdiff \| raw \| diff to current
2011-10-31	Morgan Deters	fixes to assertions in GMP to match CLN behavior	blob \| commitdiff \| raw \| diff to current
2011-09-28	Morgan Deters	CVC4::Integer was not marked CVC4_PUBLIC, causing dynam...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Partial merge of integers work; this is simple B&B...	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Weekend work. The main points:	blob \| commitdiff \| raw \| diff to current
2010-11-15	Morgan Deters	Pretty-printer infrastructure created (in src/printer...	blob \| commitdiff \| raw \| diff to current
2010-11-09	Dejan Jovanović	Lemmas on demand work, push-pop, some cleanup.	blob \| commitdiff \| raw \| diff to current
2010-10-04	Morgan Deters	remove/shuffle some #include dependencies; fix some...	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-09-20	Dejan Jovanović	bitvector rewriting for the core theory and testcases	blob \| commitdiff \| raw \| diff to current
2010-07-03	Morgan Deters	With this commit come a number of changes to build...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Tim King	Merges the cln-test branch into the main branch.	blob \| commitdiff \| raw \| diff to current

RSS Atom