Eclipse Formal Modeling Project™

Background:

The Eclipse Formal Modeling Project™ (E-FMP for short) is based on research work that has been started at the CEA LIST in the nineties. That research focused on methods and tools to…

Project ID: modeling.efm
PMI: https://projects.eclipse.org/projects/modeling.efm
Website: https://projects.eclipse.org/projects/modeling.efm
Download CSV: Commits, Issues
Time range for commits: 2024-04-08 17:11:38 to 2024-10-10 14:40:20.

List of active repositories:

Activity - by type

This project has no activity or repository.

The EMO oversees the lifecycle of Eclipse projects, trademark and IP management, and provides a governance framework and open source best practices.

See the project’s PMI page at https://projects.eclipse.org/projects/modeling.efm

Organization Settings

GitHub organization: eclipse-efm
2FA enforced: True
Default workflow permissions: read

Branch Protections

This project has a total of 3 repositories in its associated GitHub organization eclipse-efm. The graph below outlines the percentange of repositories that have either defined a Branch Protection Rule or Repository Ruleset: