Vericert 1.0.0
·
762 commits
to master
since this release
b4aa578
This commit was signed with the committer’s verified signature.
The key has expired.
ymherklotz
Yann Herklotz
First release of a fully verified version of Vericert with support for the translation of many C constructs to Verilog.
Feature Support
- Most int instructions and operators.
- Non-recursive function calls.
- Local arrays, structs and unions of type int.
- Pointer arithmetic with int.