Skip to content
Verify bitwise operations in Dafny

Add MWE for proving SIF #1254

Sign in to view logs

Add MWE for proving SIF

Add MWE for proving SIF #1254

This workflow is awaiting approval from a maintainer in #386
Triggered via pull request February 19, 2025 15:17
@henrimanhenriman
synchronize #386
henriman:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #386

dafny.yml

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