Skip to content
Back to pull request #138

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

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

Triggered via pull request December 1, 2023 09:56
@franziskuskieferfranziskuskiefer
synchronize #138
goutam/more-kyber
Status Success
Total duration 16m 47s
Artifacts –

hax.yml

on: pull_request
hax
16m 17s
hax
Fit to window
Zoom out
Zoom in