Age | Commit message (Expand) | Author |
---|---|---|
2021-02-23 | Add interface to TheoryState for sort inference and facts (#5967) | Andrew Reynolds |
2021-02-13 | Moving methods from quantifiers engine to quantifiers state (#5881) | Andrew Reynolds |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
2020-08-20 | Add TheoryState objects to each Theory (#4920) | Andrew Reynolds |