Generic Instantiation Release History
From Event-B
Jump to navigationJump to search
Version 1.1.0
27th February 2025
This release fixes compatibility issues with Rodin.
Version compatible with Rodin 3.8 and 3.9.
Version 1.0.1
05th March 2013
Version compatible with Rodin 2.7.x and 2.8.x
- Bugs
- Dependency problem to Refactoring Framework (1.2.2) (fixed)
Version 1.0.0
21th January 2013
- Initial prototype release for Rodin 2.7.
