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

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

2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Gereon Kremer	ICP-based solver for nonlinear arithmetic (#5017)	blob \| commitdiff \| raw \| diff to current
2020-09-10	Andrew Reynolds	Use state and inference manager in UF CardinalityExtens...	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-04	Gereon Kremer	Use arith::InferenceManager for CAD lemmas (#5015)	blob \| commitdiff \| raw \| diff to current
2020-09-04	Mathias Preiner	Split lazy bit-vector solver from TheoryBV (#5009)	blob \| commitdiff \| raw \| diff to current
2020-09-04	Andrew Reynolds	Add interfaces for making trust nodes in TheoryInferenc...	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	Andrew Reynolds	Minor updates to theory inference manager (#5004)	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-31	Andrew Reynolds	Basic proof support in inference manager (#4975)	blob \| commitdiff \| raw \| diff to current
2020-08-28	Andrew Reynolds	Add the buffered inference manager (#4954)	blob \| commitdiff \| raw \| diff to current
2020-08-27	Andrew Reynolds	Add the theory inference manager (#4948)	blob \| commitdiff \| raw \| diff to current

RSS Atom