Google Git
Sign in
eclipse / efm / org.eclipse.efm-modeling / refs/heads/master / . / editor / sew
tree: e11c75aff5200297209798cf75c7f87dc100869b [path history] [tgz]
  1. .settings/
  2. org.eclipse.efm.sew.ecore/
  3. org.eclipse.efm.sew.xtext/
  4. org.eclipse.efm.sew.xtext.ide/
  5. org.eclipse.efm.sew.xtext.tests/
  6. org.eclipse.efm.sew.xtext.ui/
  7. org.eclipse.efm.sew.xtext.ui.tests/
  8. .gitignore
  9. .project
  10. pom.xml
  11. README.md
editor/sew/README.md

Eclipse Formal Modeling SEW i.e. Symbolic Execution Workflow Xtext's based Editor