search

awslabs / LibMLKEM

Apache License 2.0
15 stars 1 forks source link

Upgrade from cvc4 to cvc5 #2

Closed UlysseDurand closed 3 months ago

UlysseDurand commented 3 months ago

This makes a reference to the issue #1.

I made gnatprove use cvc5 and added one Assert to make it prove everything (with my computer, cvc5 failed to prove the assertion line 1614).

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

yannickmoy commented 3 months ago

some explanation for you @rod-chapman: @UlysseDurand accidenntally deleted the source branch for this PR, which closed it. He's going to recreate the branch and the PR.