Home

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Rodin Wiki page: http://wiki.event-b.org

Main window (version 0.5.4)

---

Project Admins:

• Laurent Voisin
• Son Hoang
• Colin Snook
• Guillaume Verdier
• AIT SADOUNE Idir

[Krikun Gosha]

Hello!

I've been looking for org.rodinp.dev-X.Y.Z-<git-commit>.zip archive, as described http://wiki.event-b.org/index.php/Using_Rodin_as_Target_Platform

But all I could find is rodin-3.2.0.201506220911-ecacdcb-linux.gtk.x86.tar.gz relise for my platform (global search for org.rodinp.dev-3.2.0.201506220911-ecacdcb.zip returns nothing).

So I clone git repository

git clone https://git.code.sf.net/p/rodin-b-sharp/rodincore rodin-b-sharp-rodincore

master branch locally and tried to define target platform as Directory instead Software Site, try same with local installation of Rodin, try create archives with source code and configure as Software Site and another variations... But all I've get is "Error creating target file".

I don't know where to write, sorry if this is not that place, but ask you for help, please.

---

Sorry, nevermind, find it at https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/

---

Is there any way to remove my silly question?

[Laurent Voisin]

The place for this kind of requests is on the rodin-b-sharp-devel mailing list.