12
I Use This!
Activity Not Available

News

Analyzed 6 months ago. based on code collected over 2 years ago.
Posted about 2 years ago by Michel Palaffre
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]
Posted over 2 years ago by Michel Palaffre
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
Posted over 2 years ago by Michel Palaffre
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
Posted over 3 years ago by Michel Palaffre
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]
Posted over 3 years ago by Michel Palaffre
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]
Posted over 3 years ago by Michel Palaffre
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]
Posted over 4 years ago by Stéphane Duprat
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]
Posted over 4 years ago by Stéphane Duprat
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]
Posted over 4 years ago by Stéphane Duprat
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]
Posted over 4 years ago by Michel Palaffre
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