Repository navigation
This is a bugfix release. In v0.6.0, the makefile had a bug, making normal compilation (without CompCert) impossible since the source files of the synthesised code were not copied for that target anymore.
This is a bugfix release. In v0.6.0, the makefile had a bug, making normal compilation (without CompCert) impossible since the source files of the synthesised code were not copied for that target anymore.