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

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

2020-10-22	mudathirmahgoub	Fix issue 5309 (#5327)	blob \| commitdiff \| raw
2020-10-16	Andrew Reynolds	Refactor SMT-level model object (#5277)	blob \| commitdiff \| raw \| diff to current
2020-09-24	Aina Niemetz	SyGuS: Add default grammar for FP. (#5133)	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-08-26	Andrew Reynolds	Connect combination engine to theory engine (#4940)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-05-20	Andrew Reynolds	Use debug-check-model to enable internal debugging...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2020-02-29	Andrew Reynolds	Fix assertion related to assignability in the model...	blob \| commitdiff \| raw \| diff to current
2020-02-16	Andrew Reynolds	Disable regression (#3761)	blob \| commitdiff \| raw \| diff to current
2020-01-30	Andrew Reynolds	Do not debug check model for models with approximations...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Andrew Reynolds	Extend model construction with assignment exclusion...	blob \| commitdiff \| raw \| diff to current
2019-12-12	Andrew Reynolds	Use the node-level datatypes API (#3556)	blob \| commitdiff \| raw \| diff to current
2019-11-01	Andrew Reynolds	Fix non-termination in datatype type enumerator (#3369)	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-10-27	Andrew Reynolds	Fix collect model info for higher-order (#3409)	blob \| commitdiff \| raw \| diff to current
2019-09-17	Andrew Reynolds	Avoid computing cardinality when constructing models...	blob \| commitdiff \| raw \| diff to current
2019-08-28	Andrew Reynolds	Removing comments related to issues (#3232)	blob \| commitdiff \| raw \| diff to current
2019-08-03	Andrew Reynolds	Fix printing issue related to nested quotes (#3154)	blob \| commitdiff \| raw \| diff to current
2019-04-17	Andrew Reynolds	More use of isClosure (#2959)	blob \| commitdiff \| raw \| diff to current
2019-04-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-04-01	Andres Noetzli	FP: Fix wrong model due to partial assignment (#2910)	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-06-02	Andrew Reynolds	Fix assertion involving unassigned Boolean eqc in...	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andrew Reynolds	Add notions of evaluated kinds in TheoryModel (#1947)	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-30	Andrew Reynolds	Fixes for issue 1404 (#1409)	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