--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on April 2009 ---
Hello Julien, On Thu, Apr 2, 2009 at 16:25, Julien Signoles <julien.signoles at cea.fr> wrote: > In addition to Pascal' and Benjamin's answers, a major efficiency issue > in the GUI has also been fixed last Monday which may appear when the > value analysis is computed and you select an individual function in the > tree view. Please stop this teasing about the Next Release(tm)!! ;-) d.