--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on May 2010 ---
Hello Claude, Claude Marche a ?crit : > And for me, with Boron+Why 2.26, it is 100% proved by any prover below > > Alt-Ergo 0.91 It is not 100% proven by Alt-Ergo 0.9: Alt-Ergo 0.91 is better than Alt-Ergo 0.9 on this example :o). However it seems that Alt-Ergo 0.91 is not yet available on http://ergo.lri.fr. -- Julien