| T | Key | Summary | Assignee | Reporter | P | Status | Resolution | Created | Updated | Due |
|---|---|---|---|---|---|---|---|---|---|---|
| |
UNIFY-4 | Vectors of different length incorrectly unify | Fogus | Thomas Winant | |
|
Completed | |||
| |
UNIFY-2 | Remove reflection warnings | Fogus | Fogus | |
|
Completed | |||
| |
LOGIC-36 | Unification bug in binding-map | David Nolen | André Thieme | |
|
Completed |