GitHub - Jaddison011/C4EventB: Code generation project of C code from Event-B formal models. Including C metamodel files, C XText files, and Event-B to C translation rules

Jaddison011 / C4EventB Public

Code generation project of C code from Event-B formal models. Including C metamodel files, C XText files, and Event-B to C translation rules

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
ac.soton.eventb.c.edit		ac.soton.eventb.c.edit
ac.soton.eventb.c.editor		ac.soton.eventb.c.editor
ac.soton.eventb.c.generator		ac.soton.eventb.c.generator
ac.soton.eventb.c		ac.soton.eventb.c
ac.soton.xtext.c		ac.soton.xtext.c
.project		.project