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

[cvc5.git] / src / theory / theory_model_builder.h

2020-10-16	Andrew Reynolds	Refactor SMT-level model object (#5277)	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-08-28	Andrew Reynolds	Replace Theory::Set with TheoryIdSet (#4959)	blob \| commitdiff \| raw \| diff to current
2020-08-26	Andrew Reynolds	Connect combination engine to theory engine (#4940)	blob \| commitdiff \| raw \| diff to current
2020-08-22	Andrew Reynolds	Remove unecessary theory model builder base class ...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-12-16	Andrew Reynolds	Extend model construction with assignment exclusion...	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-04	Andrew Reynolds	Minor improvements to theory model builder interface...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	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-11-01	Andrew Reynolds	(Move-only) Refactor and document theory model part...	blob \| commitdiff \| raw \| diff to current

RSS Atom