Skip to content
hax

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

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

Triggered via pull request December 1, 2023 09:54
@franziskuskieferfranziskuskiefer
synchronize #138
goutam/more-kyber
Status Cancelled
Total duration 2m 21s
Artifacts –

hax.yml

on: pull_request
hax
2m 8s
hax
Fit to window
Zoom out
Zoom in

Annotations

2 errors
hax
Canceling since a higher priority waiting request for 'hax-refs/pull/138/merge' exists
hax
The operation was canceled.