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

2020-10-07	Andrew Reynolds	Process pending inferences at the beginning of datatype...	blob \| commitdiff \| raw
2020-09-24	Andrew Reynolds	Modify lemma vs fact policy for datatype equalities...	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-03	Andrew Reynolds	Update sets inference manager to inherit from Inference...	blob \| commitdiff \| raw \| diff to current
2020-09-02	Gereon Kremer	Use std::unique_ptr instead of std::shared_ptr for...	blob \| commitdiff \| raw \| diff to current
2020-09-02	Gereon Kremer	Add ArithLemma and arith::InferenceManager (#4960)	blob \| commitdiff \| raw \| diff to current
2020-09-01	Andrew Reynolds	Add TheoryInference base class (#4990)	blob \| commitdiff \| raw \| diff to current
2020-09-01	Andrew Reynolds	Add the inference manager for datatypes (#4968)	blob \| commitdiff \| raw \| diff to current
2020-08-28	Andrew Reynolds	Add the buffered inference manager (#4954)	blob \| commitdiff \| raw \| diff to current