Minor Program Verification Fixes + Cargo.lock Enforcement

rauljordan released this 30 Aug 22:32

· 80 commits to main since this release

72f931c

What's Changed

Update install instructions by @chrisco512 in #90
Enforced Cargo.lock and Version in Cargo.toml for User Projects by @rauljordan in #91
Bump to v0.5.1 Fix by @rauljordan in #92
Remove Windows badge by @chrisco512 in #89

Contributors

chrisco512 and rauljordan

Assets 2