Vericert 1.2.1
3496f50
This commit was signed with the committer’s verified signature.
The key has expired.
ymherklotz
Yann Herklotz
Main release for OOPSLA'21 paper.
- Add better documentation on how to run Vericert.
- Add
Dockerfilewith instructions on how to get figures of the paper.