Google Git
Sign in
eclipse/gerrit/efm/org.eclipse.efm-modeling/f22afbfd1b6a98d39978d44ab12be0090fcc0253
commit
f22afbfd1b6a98d39978d44ab12be0090fcc0253
[log]
author
Arnault Lapitre <arnault.lapitre@cea.fr>
Mon May 13 18:21:15 2019 +0200
committer
Arnault Lapitre <arnault.lapitre@cea.fr>
Mon May 13 18:21:15 2019 +0200
tree
e38259c302eda68b4e203318246970dc41cd25aa
parent
fd0e2874f7ccc52094cd12364d74fcd1db9c938f [diff]
Bug 514634 General Improvement

[UPDATE] Show Symbex Conformance Verdict in Spider
[UPDATE] Improve MoCC to xLIA model transformation


Change-Id: I21da3f2242a4f9f37abaacb08101648bb868f8a4
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>
50 files changed
tree: e38259c302eda68b4e203318246970dc41cd25aa
  1. codegen/
  2. core/
  3. diagram/
  4. doc/
  5. editor/
  6. execution/
  7. features/
  8. gui/
  9. releng/
  10. src/
  11. targetplatform/
  12. tutorial/
  13. .gitignore
  14. .project
  15. about.html
  16. CHANGELOG.md
  17. CONTRIBUTING.md
  18. pom.xml
  19. README.md
  20. ROADMAP.md
  21. TODO.md
README.md

EFM : Eclipse Formal Modeling