News

Choose a News item and you can browse, search, and post messages.

Server maintenance

Michel Palaffre - 2013-04-26 08:13 - GForge-N7

Dear Gforge members,

0 Comment Read More/Comment

Frama-C Development Tooling (FCDT) plug-in V1.2 Release

Stéphane Duprat - 2012-07-30 11:05 - FCDT

Dear all,

0 Comment Read More/Comment

Enseeiht electrical network maintenance

Michel Palaffre - 2012-07-10 14:38 - GForge-N7

Dear gforge members,

0 Comment Read More/Comment

OSATE2 Snapshot Release 2.0.0.2012006051541

Lutz Wrage - 2012-06-08 09:09 - OSATE2

See release notes at http://gforge.enseeiht.fr/frs/shownotes.php?release_id=683

1 Comment Read More/Comment

Server maintenance

Michel Palaffre - 2012-06-07 12:16 - GForge-N7

Dear Gforge members,

0 Comment Read More/Comment

TOPCASED 5.2.0 has been released

Anne HAUGOMMARD - 2012-04-13 14:53 - TOPCASED

Dear TOPCASED users,

0 Comment Read More/Comment

gPM 2.2.1 is now available

Thibault Landré - 2012-03-25 18:04 - gPM

You can find the release notes here:

0 Comment Read More/Comment

gPM 2.1.3 has been released

Thibault Landré - 2012-02-06 11:52 - gPM

gPM 2.1.3 is now available

0 Comment Read More/Comment

gPM 2.1.2 is now available

Thibault Landré - 2012-01-05 10:26 - gPM

You can find the release notes here:

0 Comment Read More/Comment

gPM 2.1.1 is now available

Thibault Landré - 2011-12-09 15:35 - gPM

gPM 2.1.1 has been released

0 Comment Read More/Comment

OSATE2 Snapshot for Mac OSX

2011-11-14 15:15

OSATE2 Snapshot Release 2.0.0 201111071742

2011-11-14 15:15

Gene-Auto 2.4.9

2011-10-14 17:42

Topcased 5.1.0 has been released

2011-10-14 17:42

gPM 2.1.0 is now available

2011-09-28 13:19

OSATE2 Snapshot Release 2.0.0 20110811427

2011-09-12 11:23

TOPCASED 5.0.0 has been released

2011-08-16 10:47

gPM 2.0.5 is now available

2011-08-16 10:47

Enseeiht electrical network maintenance

2011-07-20 14:06

Frama-C Development Tooling (FCDT) 1.0 has been released

2011-05-26 14:48

gPM 2.0.4 has been released

2011-05-26 14:47

TOPCASED 4.3.0 has been released

2011-02-13 14:54

gPM 1.8.4.2 is now available

2011-02-13 14:54

gPM 2.0.1 is now available

2011-01-03 14:45

gPM 1.8.4.1 is now available

2011-01-03 14:45

gPM 1.8.4 is now available

2011-01-03 14:45

Gene-Auto 2.4.8

2011-01-03 14:44

Topcased 4.2.1 has been released

2011-01-03 14:44

TOPCASED 4.2.0 has been released

2010-12-06 16:20

Odyssey 0.6 has been released

2010-11-28 11:39

gPM 1.8.3 Patch 4

2010-11-10 09:58

gPM 2.0 is now available

2010-10-09 11:22

TOPCASED 4.1.0 has been released

2010-10-01 09:48

Gene-Auto paper published in the SIA automotive magazine

2010-09-09 14:39

TOPCASED 4.0.0 has been released

2010-07-23 23:27

Gene-Auto Eclipse UI 1.0.1

2010-07-21 12:42

Enseeiht electrical network maintenance

2010-07-09 19:32

Gene-Auto release 2.4.7 with new Eclipse tooling 1.0.0

2010-07-05 13:54

TOPCASED 3.4.1 has been released

2010-06-21 14:08

gPM 1.8.3-rc1 is available

2010-06-07 10:47

TOPCASED 3.4.0 has been released

2010-06-02 16:17

Network Maintenance

2010-04-06 18:53

gPM 1.8.1 Patch 4

2010-03-31 17:46

gPM 1.8.x : Documentation update

2010-03-22 18:49

TOPCASED 3.3.0 has been released

2010-03-22 18:48

New SSL certificat

2010-03-16 14:02

Server maintenance

2010-02-09 17:16

gPM 1.8.1 patch 1

2010-02-05 16:46

gPM 1.8.1 is available

2010-02-05 16:46

gPM 1.8 is available

2010-01-04 13:42

gPM 1.7.4 is available.

2009-12-07 11:59

TOPCASED 3.2.0 has been released

2009-12-03 13:31

topPROCESS Modeler 0.4 is available

2009-11-16 18:11

Release 2.4.5 available

2009-11-13 11:15

Enseeiht electrical network maintenance

2009-10-23 15:33

TOPCASED 3.1.0 has been released

2009-09-28 11:15

gPM 1.7.3 is available

2009-09-07 10:05

topPROCESS Modeler 0.3 is available

2009-07-29 13:27

TOPCASED 3.0.0 & 2.6.0 have been released

2009-07-27 09:49

gPM v1.7.1 is available

2009-07-01 11:23

gPM 1.7 : Documentation

2009-05-29 14:17

TOPCASED 2.5.0 has been released

2009-05-07 14:59

gPM v1.7 available

2009-04-24 09:53

TOPCASED 2.4.0 has been released

2009-03-16 09:57

gPM 1.6.5 is available

2009-02-19 13:50

Geneauto results published

2009-02-19 13:50

Server maintenance

2009-02-04 17:29

Server maintenance

2009-02-04 17:29

CbChain 2.2.0

2009-02-03 10:24

Server maintenance

2009-01-21 18:08

Server maintenance

2009-01-19 15:50

gPM v1.7-rc2 available

2009-01-16 11:01

TOPCASED 2.3.0 has been released

2009-01-07 14:49

gPM 1.6.4 is available

2008-12-15 10:03

gPM v1.7-rc1 available

2008-12-02 22:35

gPM v1.7-beta1 available

2008-11-17 10:25

TOPCASED 2.2.0 has been released

2008-11-06 11:52

gPM 1.6.3 is available

2008-11-06 11:51

gPM 1.6.2 is available

2008-10-10 11:40

gPM 1.6.1 is available

2008-09-30 09:57

Server maintenance

2008-09-24 16:32

gPM 1.6 is available

2008-09-10 22:41

Server maintenance

2008-09-02 17:10

Server maintenance

2008-09-02 17:10

TOPCASED 2.1.0 has been released

2008-09-01 17:24

TOPCASED 2.0.0 has been released

2008-07-18 10:06

Server maintenance

2008-07-09 14:44

gPM 1.6-rc1is available

2008-06-26 18:35

Server maintenance

2008-05-26 15:38

Server maintenance

2008-05-21 18:16

Server maintenance

2008-04-30 17:47

TOPCASED 2.0.0M6 has been released

2008-04-19 14:06

Server maintenance

2008-04-15 14:40

gPM 1.5.2 available

2008-04-07 15:58

Server maintenance

2008-03-11 14:20

TOPCASED 2.0.0M5 has been released

2008-03-03 10:21

TOPCASED 1.3.0 has been released

2008-02-20 15:22

Server maintenance

2008-02-01 15:46

Topcased 2.0.0M4 dev. milestone has been released

2008-01-20 21:45

topcased-mm trackers move to topcased

2008-01-11 10:48

topcased-mm trackers move to topcased

2008-01-07 10:43

TOPCASED UML cookBook

2007-12-14 09:47

TOPCASED 1.2.0 has been released

2007-12-07 17:05

Server maintenance

2007-12-05 09:10

Server maintenance

2007-12-03 17:06

TOPCASED 2.0.0M3 dev. milestone has been released

2007-11-26 09:30

gPM 1.5 RC3 is available

2007-11-26 09:26

Server maintenance

2007-10-30 14:51

Patch for SysML profiles in the 1.1.0 TOPCASED release

2007-10-01 21:21

OSATE-BA 0.5.0 has been released

2007-09-10 18:34

gPM 1.4 is available

2007-08-14 14:33

TOPCASED 1.0.0 has been released

2007-08-11 11:00

Observer-Based Prover - OBP 0.1.0 released

2007-07-31 16:06

Server maintenance

2007-07-20 14:51

Server maintenance

2007-06-06 09:36

TOPCASED 1.0.0M4.1 has been released

2007-05-29 14:25

Integration of the SysML editor in the TOPCASED environment

2007-05-29 10:27

SysML editor 1.0.0M4 released

2007-05-29 10:26

Admin and maintenance on Friday, May 25th

2007-05-24 11:36

bug fix on the 1.0.0M3 SysML editor

2007-04-27 10:36

1.0.0M3 release of the SysML editor

2007-04-27 10:36

Server issues

2007-04-11 12:24

ModelBus and Topcased integration

2007-04-04 16:39

Metamodel of inputs languages released

2007-03-22 13:33

TOPCASED-SYSML 1.0.0 M2 released

2007-03-20 09:31

EAST-ADL editor Alpha prototype release

2007-02-07 09:15

OSATE-BA 0.4.0 has been released

2007-02-07 09:14

TOPCASED 0.11.0 has been released

2006-11-08 15:35

TOPCASED-SYSML 0.9.2 has been released

2006-11-08 11:28

OSATE-BA 0.2.0 has been released

2006-10-14 11:52

TOPCASED 0.10.0 has been released

2006-09-20 12:27

Mailing lists are now available

2006-09-14 11:34

General mailing lists failure

2006-09-13 20:19

OSATE-BA 0.1.0 has been released

2006-07-24 15:37

0.9.1 patch (JDK 1.4.2 compliance)

2006-07-16 15:46

Topcased-sysML 0.9.0 available

2006-07-06 17:17

TOPCASED 0.9.0 is available

2006-06-07 18:08

TOPCASED 0.9.0 is going to press

2006-05-24 18:37

0.8.0 SysML metamodel and editor released

2006-04-05 15:39

TOPCASED 0.8.0

2006-03-17 18:40

Server statistics

2006-02-24 17:11

Release of the TOPCASED design document

2006-02-20 17:34

TOPCASED 0.7.0

2006-01-24 15:32

The CVS server is now open to anonymous access

2005-11-30 14:58

Newsgroups bridge

2005-11-30 14:58

TOPCASED 0.6.0

2005-11-17 17:00

The users mailing list is open

2005-10-26 19:18

TOPCASED Initial Release

2005-10-11 00:09