summaryrefslogtreecommitdiff
path: root/src/theory/inference_manager_buffered.h
AgeCommit message (Expand)Author
2021-03-09Some more cleanup of includes (#6083)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-02-19Refactoring theory inference process (#5920)Andrew Reynolds
2021-02-18Add statistic for InferenceId to TheoryInferenceManager. (#5913)Gereon Kremer
2021-02-17Add InferenceId to buffered inference manager (#5911)Gereon Kremer
2021-02-08Use quantifiers inference manager for lemma management (#5867)Andrew Reynolds
2020-10-06Process pending inferences at the beginning of datatypes post check (#5213)Andrew Reynolds
2020-09-23Modify lemma vs fact policy for datatype equalities (#5115)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-03Update sets inference manager to inherit from InferenceManagerBuffered (#5007)Andrew Reynolds
2020-09-02Use std::unique_ptr instead of std::shared_ptr for inference manager (#5003)Gereon Kremer
2020-09-02Add ArithLemma and arith::InferenceManager (#4960)Gereon Kremer
2020-09-01Add TheoryInference base class (#4990)Andrew Reynolds
2020-08-31Add the inference manager for datatypes (#4968)Andrew Reynolds
2020-08-27Add the buffered inference manager (#4954)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback