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

[cvc5.git] / src / theory / arith / tableau.cpp

2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	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-16	Aina Niemetz	Update copyright headers.	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-06-25	Aina Niemetz	Updated copyright headers.	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
2015-05-12	barrettcw	Merge pull request #74 from finnhaedicke/namespace_minisat	blob \| commitdiff \| raw \| diff to current
2015-04-22	Kshitij Bansal	Merge pull request #73 from kbansal/parser-dont-tokenize	blob \| commitdiff \| raw \| diff to current
2015-04-18	Tim King	Farkas proof coefficients.	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
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merging branch 'soiquickexplain'.	blob \| commitdiff \| raw \| diff to current
2013-05-03	Tim King	Merge branch 'fcexplanations'	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	fixed merge conflicts	blob \| commitdiff \| raw \| diff to current
2013-04-30	Tim King	Adding has bound counts and tracking for rows.	blob \| commitdiff \| raw \| diff to current
2013-04-26	Tim King	FCSimplex branch merge	blob \| commitdiff \| raw \| diff to current
2012-04-27	Tim King	This merges in the branch cvc4/branches/arithmetic...	blob \| commitdiff \| raw
2012-04-17	Tim King	Merges branches/arithmetic/atom-database r2979 through...	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-03-30	Tim King	Merged the branch sparse-tableau into trunk.	blob \| commitdiff \| raw \| diff to current
2011-03-07	Tim King	Merges branches/arithmetic/tableau-reset into the trunk...	blob \| commitdiff \| raw \| diff to current
2011-03-05	Tim King	- Adds PermissiveBackArithVarSet. This is very similar...	blob \| commitdiff \| raw \| diff to current
2011-03-03	Tim King	Merged the tableau-copy branch into trunk. This adds...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Commit to fix bug 241 (improper "using namespace std...	blob \| commitdiff \| raw \| diff to current
2011-02-22	Tim King	- Adds column based iterators.	blob \| commitdiff \| raw \| diff to current
2011-02-19	Tim King	Changes:	blob \| commitdiff \| raw \| diff to current
2011-02-18	Tim King	Changes:	blob \| commitdiff \| raw \| diff to current
2011-02-17	Tim King	This commit is the promised clean up after removing...	blob \| commitdiff \| raw \| diff to current
2011-02-17	Tim King	Removed ActivityMonitor from arithmetic. This was only...	blob \| commitdiff \| raw \| diff to current
2011-02-17	Tim King	Row ejection is now completely disabled. Another commit...	blob \| commitdiff \| raw \| diff to current
2011-02-16	Tim King	Overview of the changes:	blob \| commitdiff \| raw \| diff to current
2010-10-30	Tim King	Adds a hueristic from Alberto's thesis. For a fixed...	blob \| commitdiff \| raw \| diff to current
2010-10-29	Tim King	Fix for a problem caused by using a != instead of ...	blob \| commitdiff \| raw \| diff to current
2010-10-28	Tim King	The Row implementation has no been replaced by RowVecto...	blob \| commitdiff \| raw \| diff to current
2010-10-23	Tim King	Removed slack.h, and arith_activity.h. Replaced IsBasic...	blob \| commitdiff \| raw \| diff to current
2010-10-09	Morgan Deters	Model generation for arith, boolean, and uf theories via	blob \| commitdiff \| raw \| diff to current
2010-10-07	Tim King	Small tableau optimization.	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-10-02	Tim King	branches/arith-indexed-variables merged into the main...	blob \| commitdiff \| raw \| diff to current

RSS Atom