Poussin proof assistant - Bugs: bug #23764, wrong detection of non-termination
bug #23764: wrong detection of non-termination
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2008-07-06 | alalme | Status | None | Fixed |
Powered by Savane 3.13-4448.
Corresponding source code