Skip to content
Checks

Added some more preconditions using hax::implies and hax::forall and slight refactoring. #183

Sign in to view logs

Added some more preconditions using hax::implies and hax::forall and slight refactoring.

Added some more preconditions using hax::implies and hax::forall and slight refactoring. #183

Triggered via pull request November 30, 2023 00:20
@xvzcfxvzcf
synchronize #138
goutam/more-kyber
Status Success
Total duration 12s
Artifacts –

checks.yml

on: pull_request
fmt
4s
fmt
Fit to window
Zoom out
Zoom in