GitHub - wrwei/acme-new

Note:

This is the out-dated version of ACME created using GMF, new version will be announced soon.

LoC count: git ls-files | xargs cat | wc -l

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
files		files
my.example		my.example
org.eclipse.acme.diagram.extension.execution		org.eclipse.acme.diagram.extension.execution
org.eclipse.acme.diagram.extension		org.eclipse.acme.diagram.extension
org.eclipse.acme.diagram.gsn		org.eclipse.acme.diagram.gsn
org.eclipse.acme.dt		org.eclipse.acme.dt
org.eclipse.acme.evaluation.framework		org.eclipse.acme.evaluation.framework
org.eclipse.acme.gmf.model		org.eclipse.acme.gmf.model
org.eclipse.acme.hazardlog		org.eclipse.acme.hazardlog
org.eclipse.acme.isabelle		org.eclipse.acme.isabelle
org.eclipse.acme.model.edit		org.eclipse.acme.model.edit
org.eclipse.acme.model.editor		org.eclipse.acme.model.editor
org.eclipse.acme.model		org.eclipse.acme.model
org.eclipse.acme.sacm.diagram.argumentation		org.eclipse.acme.sacm.diagram.argumentation
org.eclipse.acme.sacm.diagram.artifact		org.eclipse.acme.sacm.diagram.artifact
org.eclipse.acme.sacm.diagram.assurancecase		org.eclipse.acme.sacm.diagram.assurancecase
org.eclipse.acme.sacm.edit		org.eclipse.acme.sacm.edit
org.eclipse.acme.sacm.editor		org.eclipse.acme.sacm.editor
org.eclipse.acme.sacm.tests		org.eclipse.acme.sacm.tests
org.eclipse.acme.sacm		org.eclipse.acme.sacm
org.eclipse.acme.target.platform		org.eclipse.acme.target.platform
scala-isabelle-api-build		scala-isabelle-api-build
.DS_Store		.DS_Store
.gitignore		.gitignore
README.md		README.md

wrwei/acme-new