# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Priority▾ | |
---|---|---|---|---|---|---|---|---|
4 | fold-in LTL constraints | None | open | 2008-09-30 | 2008-09-30 | 8 | ||
3 | add conventional question generation | None | open | 2008-09-30 | 2008-09-30 | 8 | ||
2 | removing the reject state and transitions from visualisation | None | open | 2008-08-04 | 2008-08-04 | 5 |