Eclipse Formal Modeling Project

Primary tabs

Source Repositories: 
You can use the code from these repositories to experiment, test, build, create patches, issue pull requests, etc. This project uses Gerrit Code Review; please see contributing via Gerrit.
efm/efm -

Clone: https://git.eclipse.org/r/efm/efm

efm/org.eclipse.efm-modeling -

Clone: https://git.eclipse.org/r/efm/org.eclipse.efm-modeling

efm/org.eclipse.efm-symbex -

Clone: https://git.eclipse.org/r/efm/org.eclipse.efm-symbex