cargo-verify

and

Sep 10, 2021

1519a31 · Sep 10, 2021

This branch is 1 commit ahead of project-oak/rust-verification-tools:main.

Name	Name	Last commit message	Last commit date
parent directory ..
src	src	Add rudimentary support for the SMACK verifier	Sep 10, 2021
Cargo.toml	Cargo.toml	Add --replace-backend-flags to cargo-verify	Mar 22, 2021
rustfmt.toml	rustfmt.toml	(big commit) Rewrite of cargo-verify in rust.	Feb 19, 2021

Provide feedback