MOISE/Pattern-Instanciation-On-System-Engineering-Model
1
0
Fork 0
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git synced 2025-11-26 04:17:59 +01:00
Code Issues Projects Releases Wiki Activity
Files
f45bceb670189806fb85352f1b84856ffc0171ca
Pattern-Instanciation-On-Sy…/eclipse/releng/eclipse.configuration
History
Pierre Gaufillet 79820f4433 Initial commit.
2018-12-06 14:47:05 +01:00
..
.project
Initial commit.
2018-12-06 14:47:05 +01:00
pseim_eclipse_install.p2f
Initial commit.
2018-12-06 14:47:05 +01:00
README.md
Initial commit.
2018-12-06 14:47:05 +01:00
rodin_install.p2f
Initial commit.
2018-12-06 14:47:05 +01:00

README.md

Eclipse configurations

This project contains two epf files. These files contains an export of the installation for the two version of eclipse that are used in our work:

pseim_eclipse_install.p2f

  • Eclipse Modeling Tools
  • Version: Oxygen.2 Release (4.7.2)
  • Build id: 20171218-0600

This eclipse install is used for the pseim EMF metamodel definition and the related XText and Sirius editors.

rodin_install.p2f

  • Rodin Platform
  • Version: 3.3.0-f9fbb0d

This Rodin install is used for the definition of the Event-B machines and contexts for pattern application on SEIM models.

Reference in New Issue View Git Blame Copy Permalink