Skip to content

CBMC: Prove polyvecl_uniform_gamma1 #115

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

Jump to bottom
Closed
mkannwischer opened this issue Apr 9, 2025 · 0 comments · Fixed by #253
Closed

CBMC: Prove polyvecl_uniform_gamma1 #115

mkannwischer opened this issue Apr 9, 2025 · 0 comments · Fixed by #253
Assignees
@jakemas
Labels
cbmc

Comments

@mkannwischer
Copy link
Contributor

No description provided.

@jakemas jakemas assigned jakemas and unassigned jakemas May 7, 2025
@jakemas jakemas self-assigned this May 16, 2025
@jakemas jakemas mentioned this issue May 16, 2025
Closed
mkannwischer added a commit that referenced this issue May 18, 2025
@mkannwischer
CBMC: Add proof and spec for polyvecl_uniform_gamma1
c3283a9 
Resolves #115
Adapted from #250.

Signed-off-by: Matthias J. Kannwischer <[email protected]>
@mkannwischer mkannwischer mentioned this issue May 18, 2025
Merged
rod-chapman pushed a commit that referenced this issue May 20, 2025
@mkannwischer @rod-chapman
CBMC: Add proof and spec for polyvecl_uniform_gamma1
878c846 
Resolves #115
Adapted from #250.

Signed-off-by: Matthias J. Kannwischer <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jakemas jakemas

Labels
cbmc
Projects
None yet
Milestone
No milestone
2 participants
@mkannwischer @jakemas