git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/fmf/model

[cvc5.git] / src / theory / quantifiers / fmf / model_builder.cpp

2021-01-27	Andrew Reynolds	Use standard conflict mechanism in quantifiers state...	blob \| commitdiff \| raw
2021-01-26	Andrew Reynolds	Refactor quantifiers engine initialization (#5813)	blob \| commitdiff \| raw \| diff to current
2020-09-24	Andrew Reynolds	Function definition fmf preprocessing pass (#5064)	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
2020-04-14	Andrew Reynolds	Remove a few options (#4295)	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2019-09-16	Andrew Reynolds	Move specific attributes out of term util (#3279)	blob \| commitdiff \| raw \| diff to current
2019-09-12	Andrew Reynolds	Rename UF with cardinality extension (#3241)	blob \| commitdiff \| raw \| diff to current
2019-09-12	Andrew Reynolds	Refactoring finite bounds in Quantifiers Engine (#3261)	blob \| commitdiff \| raw \| diff to current
2019-08-05	Andrew Reynolds	Remove forward declarations in quantifiers engine ...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-12-11	Andrew Reynolds	Remove alternate versions of mbqi (#2742)	blob \| commitdiff \| raw \| diff to current
2018-08-24	Andrew Reynolds	Fix more simple coverity warnings (#2372)	blob \| commitdiff \| raw \| diff to current
2018-08-21	Andrew Reynolds	More unused code elimination (#2339)	blob \| commitdiff \| raw \| diff to current
2018-08-08	Andrew Reynolds	Move uf model code from uf to quantifiers (#2095)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	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
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current

RSS Atom