Poussin proof assistant - Bugs: Browse Items
Display Criteria
2 matching items
| Item ID |
Summary | Status | Assigned to | Submitted |
|---|---|---|---|---|
| #23787 | wrong detection of termination | 2008-07-07 | ||
| #23764 | wrong detection of non-termination | Fixed | 2008-07-04 |
2 matching items
Open Items Priority Colors:
1
2
3
4
5
6
7
8
9
Closed Items Priority Colors:
1
2
3
4
5
6
7
8
9
Powered by Savane 3.16-11ef.
Corresponding source code
