Posted
almost 13 years
ago
by
Sarah Majoul
We are pleased to announce the release of the Frama-C Development Tooling (FCDT) plug-in v1.0.
The FCDT plug-in permits Frama-C users to use the static analysis tool from directly within the Eclipse framework.
Frama-C is available on:
... [More]
http://frama-c.com/
The FCDT plug-in is available on: http://gforge.enseeiht.fr/projects/fcdt/
Release contents:
-FCDT plug-in archive file http://gforge.enseeiht.fr/frs/download.php/3282/fcdt_v1.0.zip
-Installation and usage tutorial http://gforge.enseeiht.fr/frs/download.php/3292/FCDT%20Tutorial_V1.0.pdf
-Example archive file http://gforge.enseeiht.fr/frs/download.php/3294/fcdt_v1.0_example_files.zip
FCDT Team [Less]
|
Posted
almost 13 years
ago
by
Thibault Landré
gPM 2.0.4 is now available.
You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=639
Please note that the deployment of the application has changed. In consequence, please refer to the document Deployment guide (GDM-DG-0-0130-AO.odt) in the delivery gPM-2.0.4-doc.zip, section 3.
|
Posted
about 13 years
ago
by
Vincent Hémery
Dear TOPCASED users,
TOPCASED 4.3.0 is now available.
It is based on the latest Eclipse 3.6 platform (Helios).
You can download the RCP version, features and the release note at the following link :
... [More]
http://www.topcased.org/index.php?idd_projet_pere=52&Itemid=60
You can also install TOPCASED 4.3.0 from the update-site :
http://topcased-mm.gforge.enseeiht.fr/release/topcased4.3.0/
You can find more information on the official TOPCASED website :
http://www.topcased.org/
A new section "Indicators" has been created to show statistics on some components.
* Users support:
Help is available through the 'Help > Help Contents' menu of TOPCASED.
However if you have any questions, you can get support through the TOPCASED Users mailing list: [email protected]
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: [email protected]
* 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 [email protected]. Your participation is welcome.
Kind regards,
The TOPCASED team [Less]
|
Posted
about 13 years
ago
by
Thomas Panuel
gPM 1.8.4.2 is now available.
You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=621
gPM Team
|
Posted
about 13 years
ago
by
Thomas Panuel
gPM 2.0.1 is now available.
You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=611
gPM Team
|
Posted
about 13 years
ago
by
Thomas Panuel
gPM 1.8.4.1 is now available.
You can find the release notes here:
https://gforge.enseeiht.fr/frs/shownotes.php?release_id=614
gPM Team
|
Posted
about 13 years
ago
by
Thomas Panuel
gPM 1.8.4 is now available.
You can find the release notes here:
http://gforge.enseeiht.fr/frs/shownotes.php?release_id=607
gPM Team
|
Posted
about 13 years
ago
by
Tonu Naks
We have released the version 2.4.8 of the Gene-Auto toolset.
The main functional improvements in this release include:
- "--inline" flag telling the code generator to inline all subsystems except function call targets, enabled subsystems and
... [More]
stateflow charts. If this option is on, then also the atomic subsystems are inlined, but their atomicity is preserved
- "--global-io" flag for using global variables as the interface of the top-level functions
- support for test points in the input model (a separate global variable for each test point)
- variables generated from the signals in the input model are now generated as local variables in the compute function
- improved traceability (explicit annotation of the block start and end in the generated code)
- several fixes in handling calls to external functions
- support for file paths containing spaces
In addition there are a number of changes improving the robustness of the toolset and fixing some errors. The full list of changes is included in the ReleaseNotes.txt as usual. [Less]
|
Posted
about 13 years
ago
by
Emilien PERICO
Dear TOPCASED users,
TOPCASED 4.2.1 is now available. This release contains fixes for some major bugs on the 4.2.0 release.
These fixed bugs are:
[3500] Lose stereotypes after uncontrol
[3506] [Activity diagram] Regression - Pin and
... [More]
ExternalNode label visibility
[3512] bug for trace elements
[3513] Return Parameters of operations and functions are created twice
[3514] Class Cast Exception when using annotations as stereotypes
You are now able to update your TOPCASED 4.2.0 platform to the 4.2.1 through the update-site.
Please, look at the installation guide to know how to update your platform
http://topcased-mm.gforge.enseeiht.fr/release/topcased4.2.1/
You can also download the RCP version, installation guide and the release note at the following link :
http://www.topcased.org/index.php?idd_projet_pere=52&Itemid=60
Kind regards,
The TOPCASED team. [Less]
|
Posted
over 13 years
ago
by
Emilien PERICO
Dear TOPCASED users,
TOPCASED 4.2.0 is now available !
You can download the RCP version, installation guide and the release note at the following link :
http://www.topcased.org/index.php?idd_projet_pere=52&Itemid=60
You can also install
... [More]
TOPCASED 4.2.0 from the update-site (please refer to the installation guide first)
http://topcased-mm.gforge.enseeiht.fr/release/topcased4.2.0
It is based on the latest Eclipse 3.6.1 platform (Helios SR1) available here:
http://www.eclipse.org/downloads/packages/eclipse-classic-361/heliossr1
Note that TOPCASED features have been refactored in order to highlight all capabilities of the TOPCASED platform.
You can find more information on the official TOPCASED website.
• Users support
If you have any questions, you can get support through the TOPCASED Users mailing list: [email protected]
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: [email protected]
• 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 [email protected]. Your participation is welcome.
Kind regards,
The TOPCASED team. [Less]
|