Skip to content
hax

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

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. #68

Triggered via pull request November 29, 2023 16:44
@xvzcfxvzcf
synchronize #138
goutam/more-kyber
Status Failure
Total duration 15m 20s
Artifacts –

hax.yml

on: pull_request
hax
15m 11s
hax
Fit to window
Zoom out
Zoom in

Annotations

1 error
hax
Process completed with exit code 1.