Poussin proof assistant - Bugs: Browse Items
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.14-8aba.
Corresponding source code