Gitiles
Code Review Sign In
git.eclipse.org / efm / org.eclipse.efm-symbex / refs/heads/master / . / org.eclipse.efm.symbex
tree: 850cc339f05cee152ce788bbe2db486fea44ba94 [path history] [tgz]
  1. .antlr-eclipse
  2. .cproject
  3. .gitignore
  4. .project
  5. CHANGELOG.md
  6. CMakeLists.txt
  7. CONTRIBUTING.md
  8. README.md
  9. TODO.md
  10. about.html
  11. cmake.sh
  12. cmake/
  13. ftests/
  14. resources/
  15. src/
  16. utests/
org.eclipse.efm.symbex/README.md

EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform

Source code structure

Source Folder