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
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_PlatformBut all I could find is
rodin-3.2.0.201506220911-ecacdcb-linux.gtk.x86.tar.gz
relise for my platform (global search fororg.rodinp.dev-3.2.0.201506220911-ecacdcb.zip
returns nothing).So I clone git repository
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?
Last edit: Krikun Gosha 2017-02-28
The place for this kind of requests is on the rodin-b-sharp-devel mailing list.