Age | Commit message (Expand) | Author |
---|---|---|
2020-06-29 | Make ExprManager constructor private (#4669) | Andres Noetzli |
2020-06-16 | Update copyright headers. | Aina Niemetz |
2020-04-01 | Initialize theory rewriters in theories (#4197) | Andres Noetzli |
2019-08-29 | Infer conflicts based on regular expression inclusion (#3234) | Andres Noetzli |