DynSem

DynSem is a DSL for declarative specification of dynamic semantics of languages. Read about using DynSem in the DynSem documentation.

Name		Name	Last commit message	Last commit date
Latest commit History 2,595 Commits
dynsem.eclipse		dynsem.eclipse
dynsem.metainterpreter		dynsem.metainterpreter
dynsem		dynsem
dynsem2coq.eclipse		dynsem2coq.eclipse
dynsem2coq		dynsem2coq
metaborg-sl @ 833ec61		metaborg-sl @ 833ec61
org.metaborg.meta.interpreter.framework		org.metaborg.meta.interpreter.framework
org.metaborg.meta.lang.dynsem.interpreter		org.metaborg.meta.lang.dynsem.interpreter
.gitmodules		.gitmodules
.travis.yml		.travis.yml
Jenkinsfile		Jenkinsfile
LICENSE		LICENSE
NOTICE		NOTICE
readme.md		readme.md
travis-build.sh		travis-build.sh

Provide feedback