Topcased

Dear Gforge members, The Forge will be unavailable to upgrade the server, from Monday November 24 2014 9:00 am, to Friday November 28 2014 until 18:00. Thanks for your understanding. Regards ... [More] =============================================== Chers membres de Gforge, La Forge sera indisponible pour upgrade du serveur, à partir du Lundi 24 Novembre 2014 9h00, jusqu'au Vendredi 28 Novembre 2014 18h00. Merci de votre compréhension. Cordialement. [Less]

Dear gforge members, From Thuesday 16 July 2014 at 18:00 am GMT to Thuesday 17 July at 18:30 pm GMT +1, the server will be unavailable due to an intervention on the electrical grid of ENSEEIHT. Thanks for your understanding. Regards

Dear gforge members, From Thuesday 16 July 2014 at 18:00 am GMT to Thuesday 17 July at 18:30 pm GMT +1, the server will be unavailable due to an intervention on the electrical grid of ENSEEIHT. Thanks for your understanding. Regards

Dear Gforge members, The server will be unavailable due to an operation on the filesystem, from Thursday, May 2, 2012 8:00 am until Thursday, May 2 at 17:00. Thanks for your understanding. Regards ... [More] =============================================== Chers membres de Gforge, Le serveur sera indisponible en raison d'une intervention sur le filesystem, à partir du Jeudi 2 Mai 2012 8h00, jusqu'au Jeudi 2 Mai à 17h00. Merci de votre compréhension. [Less]

Dear Gforge members, The server will be unavailable due to an operation on the filesystem, from Thursday, May 2, 2012 8:00 am until Thursday, May 2 at 17:00. Thanks for your understanding. Regards ... [More] =============================================== Chers membres de Gforge, Le serveur sera indisponible en raison d'une intervention sur le filesystem, à partir du Jeudi 2 Mai 2012 8h00, jusqu'au Jeudi 2 Mai à 17h00. Merci de votre compréhension. [Less]

Dear Gforge members, The server will be unavailable due to an operation on the filesystem, from Thursday, May 2, 2012 8:00 am until Thursday, May 2 at 17:00. Thanks for your understanding. Regards ... [More] =============================================== Chers membres de Gforge, Le serveur sera indisponible en raison d'une intervention sur le filesystem, à partir du Jeudi 2 Mai 2012 8h00, jusqu'au Jeudi 2 Mai à 17h00. Merci de votre compréhension. [Less]

Dear all, We are pleased to announce the new release of the Frama-C Development Tooling (FCDT) plug-in version v 1.2. The FCDT plug-in permits developers to use the static analysis tools provided by Frama-C from directly within the Eclipse ... [More] framework. This release, compatible with Eclipse Indigo and Frama-C Nitrogen, includes: --> Bug #4063 (makefile in subdir) --> Improvement of ACSL editor in C code --> New Preferences (for Codan launching mode) Setting page with dynamic update with Frama-C features (linux only) --> Frama-C configuration (for Codan launching mode) in project properties It is available on: http://gforge.enseeiht.fr/projects/fcdt/ Downloads: http://gforge.enseeiht.fr/frs/?group_id=124 Best regards FCDT Team [Less]

Dear all, We are pleased to announce the new release of the Frama-C Development Tooling (FCDT) plug-in version v 1.2. The FCDT plug-in permits developers to use the static analysis tools provided by Frama-C from directly within the Eclipse ... [More] framework. This release, compatible with Eclipse Indigo and Frama-C Nitrogen, includes: --> Bug #4063 (makefile in subdir) --> Improvement of ACSL editor in C code --> New Preferences (for Codan launching mode) Setting page with dynamic update with Frama-C features (linux only) --> Frama-C configuration (for Codan launching mode) in project properties It is available on: http://gforge.enseeiht.fr/projects/fcdt/ Downloads: http://gforge.enseeiht.fr/frs/?group_id=124 Best regards FCDT Team [Less]

Dear all, We are pleased to announce the new release of the Frama-C Development Tooling (FCDT) plug-in version v 1.2. The FCDT plug-in permits developers to use the static analysis tools provided by Frama-C from directly within the Eclipse ... [More] framework. This release, compatible with Eclipse Indigo and Frama-C Nitrogen, includes: --> Bug #4063 (makefile in subdir) --> Improvement of ACSL editor in C code --> New Preferences (for Codan launching mode) Setting page with dynamic update with Frama-C features (linux only) --> Frama-C configuration (for Codan launching mode) in project properties It is available on: http://gforge.enseeiht.fr/projects/fcdt/ Downloads: http://gforge.enseeiht.fr/frs/?group_id=124 Best regards FCDT Team [Less]

Dear gforge members, From Thuesday 17 July 2012 at 7:30 am GMT to Thuesday 17 July at 10:30 pm GMT +1, the server will be unavailable due to an intervention on the electrical grid of ENSEEIHT. Thanks for your understanding. Regards