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

[cvc5.git] / src / theory / bv / bv_subtheory_algebraic.cpp

2018-08-27	Mathias Preiner	Use std:unique_ptr instead of raw pointers in theory...	blob \| commitdiff \| raw
2018-08-16	Andres Noetzli	Move node algorithms to separate file (#2311)	blob \| commitdiff \| raw \| diff to current
2018-08-03	Aina Niemetz	Add timer for BV inequality solver. (#2265)	blob \| commitdiff \| raw \| diff to current
2018-03-07	Mathias Preiner	Make statistics output consistent. (#1647)	blob \| commitdiff \| raw \| diff to current
2018-02-13	Aina Niemetz	Moved (unrecursified) bv::utils::collectVars. (#1602)	blob \| commitdiff \| raw \| diff to current
2018-02-10	Aina Niemetz	Remove mkNode from bv::utils (#1587)	blob \| commitdiff \| raw \| diff to current
2017-12-08	Andrew Reynolds	Make collect model info return a Bool (#1421)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	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-20	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Support for separation logic. Enable cbqi by default...	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
2016-02-01	Tim King	Fixing a memory leak in bv_subtheory_algebraic.cpp...	blob \| commitdiff \| raw \| diff to current
2016-01-09	Tim King	Removing StatisticsRegistry's static functions current...	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-09-02	Kshitij Bansal	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2015-08-20	Liana Hadarean	fix to bug659 due to algebraic solver model building	blob \| commitdiff \| raw \| diff to current
2015-03-14	Tianyi Liang	Bug fix for BV	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-19	Kshitij Bansal	Merge pull request #70 from kbansal/sets-for-merge...	blob \| commitdiff \| raw \| diff to current
2014-11-18	Liana Hadarean	clear model cache in BVQuickCheck clearSolver() (fixes...	blob \| commitdiff \| raw \| diff to current
2014-11-17	Liana Hadarean	Resource-limiting work.	blob \| commitdiff \| raw \| diff to current
2014-08-05	lianah	fixed bug575 for bv models	blob \| commitdiff \| raw \| diff to current
2014-08-05	lianah	fixed bug575 for bv models	blob \| commitdiff \| raw \| diff to current
2014-07-11	Kshitij Bansal	Merge pull request #48 from kbansal/segfaultfix	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-04	Kshitij Bansal	initialize variables	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-06-15	lianah	fixed fuzzer assertion failures for bv	blob \| commitdiff \| raw \| diff to current
2014-06-10	lianah	Merging CAV14 paper bit-vector work.	blob \| commitdiff \| raw \| diff to current

RSS Atom