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 · GitHub

Name		Name	Last commit message	Last commit date
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

About

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

c code-generation emf event-b metamodel metamodel-to-metamodel-translation

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages