Age | Commit message (Expand) | Author |
---|---|---|
2021-09-22 | Remove CVC language support (#7219) | Mathias Preiner |
2017-09-10 | Ensure that expand definitions is called on all non-variable expressi… (#1070) | Andrew Reynolds |
2017-03-22 | Minor fix for bounded integers. | ajreynol |