DynSem
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
dynsem.eclipse
dynsem.metainterpreter
dynsem
dynsem2coq.eclipse
dynsem2coq
metaborg-sl @ 24d833c
org.metaborg.meta.interpreter.framework
org.metaborg.meta.lang.dynsem.interpreter
.gitmodules
.travis.yml
LICENSE
NOTICE
readme.md
travis-build.sh

readme.md

DynSem Build Status

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