summaryrefslogtreecommitdiff
path: root/src/theory/inference_manager_buffered.cpp
AgeCommit message (Expand)Author
2021-07-05Make buffered inference manager more robust to backtracking (#6833)Andrew Reynolds
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-02Clean up includes to reduce compile times (#6031)Gereon Kremer
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-11Add InferenceId member to TheoryInference, adapt all derived classes. (#5894)Gereon Kremer
2021-02-08Use quantifiers inference manager for lemma management (#5867)Andrew Reynolds
2020-10-19Safer version of pending lemma processing in inference manager buffered (#5286)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-04Add asLemma flag to theory inference process (#5030)Andrew Reynolds
2020-09-03Update sets inference manager to inherit from InferenceManagerBuffered (#5007)Andrew Reynolds
2020-09-02Minor updates to theory inference manager (#5004)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