Skip to content

Actions: viperproject/VerifiedSCION

Actions

Verify bitwise operations in Dafny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dafny.yml
1,132 workflow runs
1,132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Share scripts for managing Gobra installations and verifying scion Verify bitwise operations in Dafny #75: Pull request #229 opened by jcp19
October 12, 2023 11:41 28s joao-scripts
joao-scripts
October 12, 2023 11:41 28s
Refactor Mem permissions for Paths Verify bitwise operations in Dafny #74: Pull request #228 synchronize by jcp19
October 12, 2023 00:00 28s joao-simplify-ub
joao-simplify-ub
October 12, 2023 00:00 28s
Refactor Mem permissions for Paths Verify bitwise operations in Dafny #73: Pull request #228 opened by jcp19
October 11, 2023 22:59 33s joao-simplify-ub
joao-simplify-ub
October 11, 2023 22:59 33s
Dataplane: verify most of prepareSCMP and necessary lemmas Verify bitwise operations in Dafny #72: Pull request #210 synchronize by jcp19
October 11, 2023 20:13 28s joao-packscmp
joao-packscmp
October 11, 2023 20:13 28s
Dataplane: verify most of prepareSCMP and necessary lemmas Verify bitwise operations in Dafny #71: Pull request #210 synchronize by jcp19
October 11, 2023 19:05 40s joao-packscmp
joao-packscmp
October 11, 2023 19:05 40s
drop trusted annotation (#227) Verify bitwise operations in Dafny #70: Commit 2282872 pushed by jcp19
October 10, 2023 13:53 32s master
master
October 10, 2023 13:53 32s
Drop trusted loop Verify bitwise operations in Dafny #69: Pull request #227 opened by jcp19
October 10, 2023 13:02 29s decoded_trusted
decoded_trusted
October 10, 2023 13:02 29s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.