Add CBMC scaffolding + CI and initial (trivial) `sha2_256_init` proof #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

mkannwischer merged 3 commits into main from cbmc

Jul 11, 2025

Merged

Add CBMC scaffolding + CI and initial (trivial) `sha2_256_init` proof #16

Add CBMC proofs to CI

DCO-2 / DCO succeeded Jul 10, 2025 in 0s

Check passed!

All commits are signed off, the check passed.

Summary

	Sha	Message	Pass or fail reason
🟢	7afba09	nix: Add initial setup borrowed from mlkem-native ...	`Valid sign-off found`
🟢	f9f6373	Add CBMC starter kit and initial (trivial) sha2_25...	`Valid sign-off found`
🟢	c2da259	Add CBMC proofs to CI	`Valid sign-off found`

View more details on DCO-2