Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Subject: [Frama-c-discuss] Frama-C: GUI's response time
From: julien.signoles at cea.fr (Julien Signoles)
Date: Thu, 02 Apr 2009 16:44:24 +0200
In-reply-to: <3d13dcfc0904020731y7bfae28fo750d100e0fbccf40@mail.gmail.com>
References: <A6FD74D4A6DA4247AD801E3943634063034C343A@sctex002.st-cloud.dassault-avion.fr> <5030C1BB-9A4C-458A-B0CB-DA49C3EABB13@cea.fr> <1238682330.7692.339.camel@localhost> <3d13dcfc0904020731y7bfae28fo750d100e0fbccf40@mail.gmail.com>

Le jeudi 02 avril 2009 ? 16:31 +0200, David MENTRE a ?crit :
> Please stop this teasing about the Next Release(tm)!! ;-)

Actually this GUI issue was the only reason why I chose to use the
latest Frama-C svn version in my demos at the last Frama-C training
session. So I know how bothered this issue can be ;-).

--
Julien

Follow-Ups:
- [Frama-c-discuss] "\at(var, Pre)" before a loop
  - From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)

References:
- [Frama-c-discuss] Frama-C: GUI's response time
  - From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
- [Frama-c-discuss] Frama-C: GUI's response time
  - From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
- [Frama-c-discuss] Frama-C: GUI's response time
  - From: julien.signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Frama-C: GUI's response time
  - From: dmentre at linux-france.org (David MENTRE)

Prev by Date: [Frama-c-discuss] Frama-C: GUI's response time
Next by Date: [Frama-c-discuss] "\at(var, Pre)" before a loop
Previous by thread: [Frama-c-discuss] Frama-C: GUI's response time
Next by thread: [Frama-c-discuss] "\at(var, Pre)" before a loop
Index(es):
- Date
- Thread