Skip to content
Verify bitwise operations in Dafny

Formalize Authoritative RA from SCION in terms of RA from the gobra-l… #1352

Sign in to view logs

Formalize Authoritative RA from SCION in terms of RA from the gobra-l…

Formalize Authoritative RA from SCION in terms of RA from the gobra-l… #1352

Triggered via push January 2, 2026 20:10
@jcp19jcp19
pushed fdec91c
master
Status Success
Total duration 38s
Artifacts –

dafny.yml

on: push
verify
34s
verify
Fit to window
Zoom out
Zoom in