Age | Commit message (Expand) | Author |
---|---|---|
2020-12-07 | Do not expand theory definitions at the beginning of preprocessing (#5544) | Andrew Reynolds |
2020-05-22 | Refactor operator elimination in arithmetic (#4519) | Andrew Reynolds |
2020-01-22 | Fix subtyping for instantiations where internal representatives are chosen (#... | Andrew Reynolds |