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

CBMC: Add spec + proof for `polyvec_basemul_acc_montgomery_cached` + `poly_add` #306

Merged

mkannwischer merged 2 commits into main from polyvec_add

Nov 5, 2024

Merged

CBMC: Add spec + proof for `polyvec_basemul_acc_montgomery_cached` + `poly_add` #306

CBMC: Add spec + proof for polyvec_basemul_acc_montgomery_cached

DCO-2 / DCO succeeded Nov 5, 2024 in 0s

Check passed!

All commits are signed off, the check passed.

Summary

	Sha	Message	Pass or fail reason
🟢	d4fb3a7	CBMC: Add spec + proof for `poly_add()`	`Valid sign-off found`
🟢	af5daa9	CBMC: Add spec + proof for polyvec_basemul_acc_mon...	`Valid sign-off found`

View more details on DCO-2