summaryrefslogtreecommitdiff
path: root/src/theory/inference_manager_buffered.h
AgeCommit message (Expand)Author
2021-10-22Refactor theory inference manager constructor (#7457)Andrew Reynolds
2021-09-07Use `EnvObj` methods instead of `Theory` methods (#7144)Andres Noetzli
2021-07-05Make buffered inference manager more robust to backtracking (#6833)Andrew Reynolds
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
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