| T | Key | Summary | Assignee | Reporter | P | Status | Resolution | Created | Updated | Due |
|---|---|---|---|---|---|---|---|---|---|---|
| |
LOGIC-64 | Support inequalities in finite domain sugar | David Nolen | Brandon Bloom | |
|
Completed | |||
| |
LOGIC-44 | ex* could expand macros in patterns | David Nolen | Joe Osborn | |
|
Unresolved |