Roméo 3.3.1

May 16, 2017 on 1:28 pm | In Releases | Comments Off

This release fixes some potential segfaults when using the split method for costs.
It also uses again normal computations when no cost is specified.

It also introduces syntax highlighting and experimental support for const and typedef in the data sections.

Get it in the Downloads section.

Roméo v3.3.0

May 9, 2017 on 2:10 pm | In Releases | Comments Off

Roméo 3.3 is a new major version introducing experimental support for cost minimisation.

Transitions can be annotated with a discrete cost paid each time a transition fired. A global cost rate, depending on the marking, also gives the rate at which cost increases each time unit.

A new query has been introduced, called mincost, that computes the minimum cost (and a trace) to reach some marking.

Get this new version in the Downloads section.

Update (2017-05-12): added macos binary distribution.

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^