Menu
▾
▴
#118 Converting a project to be imported by an old release
It would be nice to have a converter that for a given Event-B project would produce a "semantically as close as possible" Event-B project that would be properly usable in a given old release of Rodin Platform.
Note that I am not asking for modern project files to be directly compatible with old releases of the platform.
This feature request was inspired by a project created in Rodin Platform 0.9.0 and imported by Rodin Platform 0.8.2. Regardless of cleanup and rebuild and regardless of the presence of invariants in the machines, no invariant got displayed in the obligation explorer view of Rodin Platform 0.8.2.
Kimo, I understand your concern. However, we have only limited resource and cannot provide such a feature for the Rodin platform.