--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Alt-ergo 0.92.1, Frama-C/Why package on Fedora



Is alt-ergo 0.92.1 okay/safe to use with the current version of Frama-C + why + Jessie?

Running "why-config" triggers this scary warning:
 Warning: prover Alt-Ergo version 0.92.1 is not known to be supported, use it at your own risk!
and the alt-ergo changelog reports "New built-in syntax for the theory of arrays" (!).
But it *does* seem to work with current frama-c + current why, and alt-ergo 0.92.1
"Fixes a bug in the arithmetic module" (as noted elsewhere here).

I'm wrapping up packaging why+Frama-C on Fedora (along with Mark Rader), and I'd like to know which version of alt-ergo would be safe to package by default.

Thanks.

--- David A. Wheeler