Repository moved to https://github.com/eclipse-efm/efm-modelling

Clone this repo:
  1. fdde1ed Bug 514634 General Improvement by Arnault Lapitre · 3 years, 3 months ago master
  2. 57c07ba Bug 514634 General Improvement by Arnault Lapitre · 3 years, 10 months ago
  3. 2bfbc77 Bug 514634 General Improvement by Arnault Lapitre · 4 years, 8 months ago
  4. 62dc540 Bug 514634 General Improvement by Arnault Lapitre · 4 years, 8 months ago
  5. 97bc482 Bug 514634 General Improvement by Arnault Lapitre · 4 years, 9 months ago

EFM : Eclipse Formal Modeling