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.
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^