Skip to content
Verify bitwise operations in Dafny

Formalize Authoritative RA from SCION in terms of RA from the gobra-libs #1346

Sign in to view logs

Formalize Authoritative RA from SCION in terms of RA from the gobra-libs

Formalize Authoritative RA from SCION in terms of RA from the gobra-libs #1346

Triggered via pull request December 31, 2025 14:14
@jcp19jcp19
opened #411
use-ra-formalization
Status Success
Total duration 40s
Artifacts –

dafny.yml

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