Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
High Activity
14

News

  Analyzed 11 days ago based on code collected 11 days ago.
 
Server maintenance
Posted 26 days 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 ... [More] 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. [Less]
Frama-C Development Tooling (FCDT) plug-in V1.2 Release
Posted 10 months 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 ... [More] 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 [Less]
Enseeiht electrical network maintenance
Posted 11 months 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
OSATE2 Snapshot Release 2.0.0.2012006051541
Posted 12 months ago by Lutz Wrage
See release notes at http://gforge.enseeiht.fr/frs/shownotes.php?release_id=683
Server maintenance
Posted 12 months ago by Michel Palaffre
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 ... [More] 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. [Less]
TOPCASED 5.2.0 has been released
Posted about 1 year ago by Anne HAUGOMMARD
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 ... [More] 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 [Less]
gPM 2.2.1 is now available
Posted about 1 year ago by Thibault Landré
You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=677
gPM 2.1.3 has been released
Posted over 1 year ago by Thibault Landré
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 2.1.2 is now available
Posted over 1 year ago by Thibault Landré
You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=659
gPM 2.1.1 is now available
Posted over 1 year ago by Thibault Landré
gPM 2.1.1 has been released

You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=654
 

 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.