projects / cvc5.git / history
| 2021-02-19 | Andrew Reynolds | Fill in missing inference ids in datatypes theory ... | blob | commitdiff | raw |
| 2021-02-19 | Gereon Kremer | Cleanup of inferences in arithmetic theory (#5927) | blob | commitdiff | raw | diff to current |
| 2021-02-18 | Gereon Kremer | Add InferenceIds for sets theory. (#5900) | blob | commitdiff | raw | diff to current |
| 2021-02-18 | Gereon Kremer | New InferenceIds for BV theory (#5909) | blob | commitdiff | raw | diff to current |
| 2021-02-18 | Andrew Reynolds | Document UF inferences (#5917) | blob | commitdiff | raw | diff to current |
| 2021-02-17 | Gereon Kremer | Use InferenceId in sep theory. (#5912) | blob | commitdiff | raw | diff to current |
| 2021-02-17 | Gereon Kremer | TheoryIds for UF theory. (#5901) | blob | commitdiff | raw | diff to current |
| 2021-02-17 | Gereon Kremer | Add InferenceIds for theory of arrays (#5910) | blob | commitdiff | raw | diff to current |
| 2021-02-11 | Gereon Kremer | Merge InferenceIds into one enum (#5892) | blob | commitdiff | raw | diff to current |