Romeo 2.9.1 : bugfix release
June 17, 2011 on 2:21 pm | In Releases |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
No Comments yet
Sorry, the comment form is closed at this time.
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^