http://gforge.enseeiht.fr/ FusionForge Project News Highlights http://gforge.enseeiht.fr/forum/forum.php?forum_id=666 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 =============================================== 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. GForge-N7 Michel Palaffre 2013-04-26T06:13:06+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=650 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 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 FCDT Stéphane Duprat 2012-07-30T09:05:41+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=646 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 GForge-N7 Michel Palaffre 2012-07-10T12:38:12+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=645 See release notes at http://gforge.enseeiht.fr/frs/shownotes.php?release_id=683 OSATE2 Lutz Wrage 2012-06-08T07:09:33+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=643 Dear Gforge members, Wednesday, June 13, 2012 from 17:00 pm GMT on Friday, June 15 at 24:00 pm GMT, the server will be unavailable due to intervention on the filesystem. Thanks for your understanding. Regards =============================================== Chers membres de Gforge, Le serveur sera indisponible en raison d'une intervention sur le filesystem, à partir du Mercredi 13 Juin 2012 17h00, jusqu'au Vendredi 15 Juin à 12h00. Merci de votre compréhension. Cordialement. GForge-N7 Michel Palaffre 2012-06-07T10:16:14+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=642 Dear TOPCASED users, TOPCASED 5.2.0 is now available. It is based on the latest Eclipse 3.7 SR2 platform (Indigo) and requires a JRE 1.6. You can download the installer for RCP version, features and the release note at the following link : http://www.topcased.org/index.php?idd_projet_pere=52&Itemid=60 After downloading, double click on the .jar file to launch the installer. Since we are having troubles building it, the MacOSX RCP version is not available yet, but it should be shortly. You can also install TOPCASED 5.2.0 from the update-site by importing this bookmarks file in the update sites preferences : http://gforge.enseeiht.fr/scm/viewvc.php/releng/org.topcased.releng/topcasedBookmarks.xml?root=topcased-mm&view=markup You can find more information on the official TOPCASED website: http://www.topcased.org/ If you have any questions, you should get support through the TOPCASED Users mailing list: topcased-users@lists.gforge.enseeiht.fr To be able to use the mailing-list, don't forget to subscribe to it, first. Developers support: You may find information on the dedicated developers page of the TOPCASED official website. If you have any questions, you can also use the TOPCASED developers mailing list and sending your questions to: topcased-devel@lists.gforge.enseeiht.fr Report a bug: To report a bug against TOPCASED, create a new entry on our bug tracker. You need to be logged on the site to be able to create an entry. * Ask for a new feature To ask for a new feature on TOPCASED, create a new entry on our feature tracker. You need to be logged on the site to be able to create an entry. TOPCASED Contact TOPCASED is a collaborative project: if you are interested in helping in some aspects of our technical roadmap (or in extending it), you may contact us at topcased-contact@list.gforge.enseeiht.fr Your participation is welcome. Kind regards, The TOPCASED team TOPCASED Anne HAUGOMMARD 2012-04-13T12:53:08+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=641 You can find the release notes here: http://gforge.enseeiht.fr/frs/shownotes.php?release_id=677 gPM Thibault Landré 2012-03-25T16:04:49+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=638 gPM 2.1.3 is now available You can find the release notes here: http://gforge.enseeiht.fr/frs/shownotes.php?release_id=666 gPM Thibault Landré 2012-02-06T10:52:34+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=634 You can find the release notes here: http://gforge.enseeiht.fr/frs/shownotes.php?release_id=659 gPM Thibault Landré 2012-01-05T09:26:35+00:00 http://gforge.enseeiht.fr/forum/forum.php?forum_id=630 gPM 2.1.1 has been released You can find the release notes here: http://gforge.enseeiht.fr/frs/shownotes.php?release_id=654 gPM Thibault Landré 2011-12-09T14:35:36+00:00