git.libre-soc.org Git - cvc5.git/history - src/theory/arith/nl/nl_lemma

[cvc5.git] / src / theory / arith / nl / nl_lemma_utils.cpp

2021-10-05	Gereon Kremer	First round of refactoring on NlModel (#7255)	blob \| commitdiff \| raw
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-02-19	Andrew Reynolds	Refactoring theory inference process (#5920)	blob \| commitdiff \| raw \| diff to current
2021-02-19	Gereon Kremer	Cleanup of inferences in arithmetic theory (#5927)	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-09-04	Andrew Reynolds	Add asLemma flag to theory inference process (#5030)	blob \| commitdiff \| raw \| diff to current
2020-09-02	Gereon Kremer	Add ArithLemma and arith::InferenceManager (#4960)	blob \| commitdiff \| raw \| diff to current
2020-07-28	Andrew Reynolds	Use lemma property enum for OutputChannel::lemma (...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-06	Andrew Reynolds	Use NlLemma utility for all lemmas in non-linear. ...	blob \| commitdiff \| raw \| diff to current
2020-06-01	Andrew Reynolds	Move non-linear files to src/theory/arith/nl (#4548)	blob \| commitdiff \| raw \| diff to current

RSS Atom