--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C: GUI's response time



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.