| T | Key | Summary | Assignee | Reporter | P | Status | Resolution | Created | Updated | Due |
|---|---|---|---|---|---|---|---|---|---|---|
| |
LOGIC-52 | Bug in finite domains (+fd, infd) | David Nolen | naeg | |
|
Completed |