Roméo v3.2.1

November 24, 2015 on 2:44 pm | In Releases | Comments Off

Just a few days after v3.2.0, we announce v3.2.1, which mostly contains a fix for a small regression in DBM handling possibly leading to incorrect results. We have also added a better display of variable guards and actions in the GUI.

As usual this version can be downloaded on the Downloads page.

Roméo v3.2.0

November 19, 2015 on 11:16 am | In Releases | Comments Off

We are happy to announce a new release of Roméo.

Version 3.2.0 brings a few bugfixes all around the code and a mainly a new experimental feature allowing C-like code annotations on transitions.

It can be obtained on the Downloads page.

We currently have only Linux and Mac OS X binaries but the source code is available.

Roméo 3.0

October 13, 2014 on 9:10 am | In Releases | Comments Off

We are happy to announce the release of Roméo 3.0! The highlights of this version are:

  • New Engine based on CTS structure,
  • Support for integer parameter synthesis

Download this new version in the download section

Roméo 2.10.2

April 3, 2012 on 10:03 am | In Releases | Comments Off

Roméo 2.10.2 has been released.

This is a just a bugfix release to remove a crash in the preference panel.

Download this new version in the download section.

Roméo 2.10.1

February 29, 2012 on 3:07 pm | In Releases | Comments Off

Roméo v2.10.1 has just been released.

This is a bugfix release with several problems in the GUI fixed. A few unmaintained or obsolete features have also been disabled.

Download this new version in the download section.

Roméo 2.10.0

February 13, 2012 on 2:28 pm | In Releases | Comments Off

We are happy to announce the release of Roméo 2.10.0! The highlights of this version are:

  • Support for integer parameter synthesis,
  • New marking properties for TCTL model-checking: deadlock (no transition is enabled/firable) and bounded(k) (no place contains more than k tokens)

It also features many bugfixes. Download this new version in the download section

Roméo 2.9.2

September 30, 2011 on 5:58 pm | In Releases | Comments Off

A new bugfix release of Roméo !

Version 2.9.2 fixes several bugs in the GUI and adds a default limit of 50000 tokens per place for most computations.

Download this new version in the download section

Romeo 2.9.1 : bugfix release

June 17, 2011 on 2:21 pm | In Releases | Comments Off

A new version of Roméo has been released. This mostly fixes several bugs in the GUI.

Download this new version in the download section

08/09/2011: Updated the Mac OS X version to fix a miscompilation of the UPPAAL DBM Lib producing incorrect results

Update (28/06/2011) MS Windows binaries available.

Here comes Roméo 2.9.0

March 8, 2010 on 3:29 pm | In Releases | Comments Off

A new release of Roméo is available! The highlights of this version are:

  • An unfolder for safe parametric time Petri nets, with support for guiding observations,
  • Support for tabs in the GUI

It also features many bugfixes. Download this new version in the download section (Windows version now available!)

Release of Roméo v2.8.0

October 13, 2008 on 2:12 pm | In Releases | Comments Off

A new version of Roméo has arrived!

The highlights of version 2.8.0 are:
- Support for time inhibitor arcs to handle stopwatches;
- The introduction of parameters in the model;
- A revamped TCTL model-checker, working for time Petri nets and stopwatch Petri nets possibly with parameters (in which case the result is a set of constraints on the parameters such that the property is true).

And hopefully, a fair amount of bug fixes.

You can find sources and a few binaries in the download section.

Edit (10/13/08): It seems that a few bugs are still hanging around. Fixed versions will be available by tomorrow along with the Windows binaries.
Edit (10/14/08): The bugs spotted at the last minute were swiftly eradicated, you can now proceed to the download section.
Edit (11/26/08): There was a bug when launching the simulator on some Mac OS X configurations. It has been fixed and the Mac OS X binary has been updated.

« Previous PageNext Page »

Powered by WordPress with Pool theme design by Borja Fernandez. Roméo logo design by Jean-Luc Bechennec.
Entries and comments feeds. Valid XHTML and CSS. ^Top^