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

2020-11-30	Andrew Reynolds	Remove includes for old API from internal code (#5536)	blob \| commitdiff \| raw
2020-11-10	Andrew Reynolds	Add proper support for the declare-heap command for...	blob \| commitdiff \| raw \| diff to current
2020-10-28	Andrew Reynolds	Remove more uses of Expr (#5357)	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-07-14	Andrew Reynolds	Minor refactoring of subsolver initialization (#4731)	blob \| commitdiff \| raw \| diff to current
2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw \| diff to current
2020-06-29	Andres Noetzli	Make ExprManager constructor private (#4669)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2020-03-03	Andrew Reynolds	Standardize the interface for SMT engine subsolvers...	blob \| commitdiff \| raw \| diff to current