Event-B EMF

EMF based support for modelling in Event-B

Name		Name	Last commit message	Last commit date
Latest commit History 274 Commits
.github/workflows		.github/workflows
.mvn		.mvn
org.eventb.emf.compare		org.eventb.emf.compare
org.eventb.emf.core.edit		org.eventb.emf.core.edit
org.eventb.emf.core		org.eventb.emf.core
org.eventb.emf.feature		org.eventb.emf.feature
org.eventb.emf.formulas		org.eventb.emf.formulas
org.eventb.emf.persistence.tests		org.eventb.emf.persistence.tests
org.eventb.emf.persistence		org.eventb.emf.persistence
org.eventb.emf.releng		org.eventb.emf.releng
org.eventb.emf.sdk		org.eventb.emf.sdk
.gitignore		.gitignore
README.md		README.md
pom.xml		pom.xml

Provide feedback