Skip to content
Verify bitwise operations in Dafny

Concretize all abstract functions in the IO-spec #148

Sign in to view logs

Concretize all abstract functions in the IO-spec

Concretize all abstract functions in the IO-spec #148

Triggered via pull request November 15, 2023 16:13
@mlimbeckmlimbeck
synchronize #231
mlimbeck:instantiate-IO-Spec-functions
Status Success
Total duration 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

dafny.yml

on: pull_request
verify
13s
verify
Fit to window
Zoom out
Zoom in