Age | Commit message (Expand) | Author |
---|---|---|
2021-04-25 | More check models (#6439) | Andrew Reynolds |
2020-11-18 | Do not expand definitions of extended arithmetic operators (#5433) | Andrew Reynolds |
2020-03-23 | Simplify auxiliary variable handling in CEGQI (#4141) | Andrew Reynolds |