Formal checks

TODO

time cargo kani --no-default-checks --no-overflow-checks

Name		Name	Last commit message	Last commit date
Latest commit History 78 Commits
asm-output		asm-output
benchmark		benchmark
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
test		test
test-targets		test-targets
update-asm		update-asm

Navigation Menu