3.0.0
Andy Oertel's avatar
Andy Oertel
@aoer
38b33af6 · Merge branch 'change/publishing-crate' into 'main' ·
Release: 3.0.0 
First release of VeriPB rewritten in Rust.