Skip to content

CertPCSpkr_linux v0.6

Choose a tag to compare

View all tags
@eladrion eladrion released this 23 Feb 11:17
· 7 commits to main since this release
v0.6
bc08200

This release includes the possibility to compile the synthesised portions (the event functionality and glue code) using CompCert which extends the correctness guarantees.

Assets 2
Loading