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,030 workflow runs
1,030 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement security policy Verify bitwise operations in Dafny #1259: Pull request #394 synchronize by henriman
February 26, 2025 23:08 Action required henriman:sif-io-spec
henriman:sif-io-spec
February 26, 2025 23:08 Action required
Upstream Verify bitwise operations in Dafny #1258: Pull request #383 synchronize by aaronbojarski
February 24, 2025 12:32 26s aaronbojarski:upstream
aaronbojarski:upstream
February 24, 2025 12:32 26s
Use ghost struct types (#398) Verify bitwise operations in Dafny #1257: Commit 74d17fd pushed by jcp19
February 21, 2025 16:30 33s master
master
February 21, 2025 16:30 33s
Use ghost struct types Verify bitwise operations in Dafny #1256: Pull request #398 synchronize by jcp19
February 21, 2025 14:16 30s jcp19-adapt-ghost-structs
jcp19-adapt-ghost-structs
February 21, 2025 14:16 30s
Use ghost struct types Verify bitwise operations in Dafny #1255: Pull request #398 synchronize by jcp19
February 21, 2025 09:07 25s jcp19-adapt-ghost-structs
jcp19-adapt-ghost-structs
February 21, 2025 09:07 25s
Add MWE for proving SIF Verify bitwise operations in Dafny #1254: Pull request #386 synchronize by henriman
February 19, 2025 15:17 Action required henriman:master
henriman:master
February 19, 2025 15:17 Action required
Use ghost struct types Verify bitwise operations in Dafny #1253: Pull request #398 synchronize by jcp19
February 18, 2025 19:11 23s jcp19-adapt-ghost-structs
jcp19-adapt-ghost-structs
February 18, 2025 19:11 23s
Use ghost struct types Verify bitwise operations in Dafny #1252: Pull request #398 opened by jcp19
February 18, 2025 18:56 25s jcp19-adapt-ghost-structs
jcp19-adapt-ghost-structs
February 18, 2025 18:56 25s
Upstream Verify bitwise operations in Dafny #1251: Pull request #383 synchronize by aaronbojarski
February 7, 2025 10:39 21s aaronbojarski:upstream
aaronbojarski:upstream
February 7, 2025 10:39 21s
Disable wildcard optimization in the CI (#397) Verify bitwise operations in Dafny #1250: Commit a6638e1 pushed by jcp19
February 4, 2025 15:23 28s master
master
February 4, 2025 15:23 28s
Disable wildcard optimization in the CI Verify bitwise operations in Dafny #1249: Pull request #397 opened by jcp19
February 4, 2025 14:15 29s jcp19-patch-2
jcp19-patch-2
February 4, 2025 14:15 29s
Add MWE for proving SIF Verify bitwise operations in Dafny #1248: Pull request #386 synchronize by jcp19
February 3, 2025 23:07 31s henriman:master
henriman:master
February 3, 2025 23:07 31s
Drop specific permission amounts in pure functions's preconditions (#… Verify bitwise operations in Dafny #1247: Commit 946fe03 pushed by jcp19
February 3, 2025 23:07 22s master
master
February 3, 2025 23:07 22s
Add MWE for proving SIF Verify bitwise operations in Dafny #1246: Pull request #386 synchronize by jcp19
February 3, 2025 22:16 Action required henriman:master
henriman:master
February 3, 2025 22:16 Action required
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1245: Pull request #387 synchronize by jcp19
February 3, 2025 20:34 22s drop_fractions_functions
drop_fractions_functions
February 3, 2025 20:34 22s
Disable chopper and parallelizeBranches in the CI (#396) Verify bitwise operations in Dafny #1244: Commit efc749f pushed by jcp19
February 3, 2025 20:33 27s master
master
February 3, 2025 20:33 27s
Disable chopper and parallelizeBranches in the CI Verify bitwise operations in Dafny #1243: Pull request #396 opened by jcp19
February 3, 2025 17:08 23s jcp19-patch-2
jcp19-patch-2
February 3, 2025 17:08 23s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1242: Pull request #387 synchronize by jcp19
February 3, 2025 13:32 45s drop_fractions_functions
drop_fractions_functions
February 3, 2025 13:32 45s
Fix doXover on the new semantics Verify bitwise operations in Dafny #1241: Pull request #395 synchronize by jcp19
February 2, 2025 22:57 23s fix-doxover
fix-doxover
February 2, 2025 22:57 23s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1240: Pull request #387 synchronize by jcp19
February 2, 2025 22:57 29s drop_fractions_functions
drop_fractions_functions
February 2, 2025 22:57 29s
Fix doXover on the new semantics Verify bitwise operations in Dafny #1239: Pull request #395 synchronize by jcp19
February 2, 2025 22:56 26s fix-doxover
fix-doxover
February 2, 2025 22:56 26s
Reenable chopper (#379) Verify bitwise operations in Dafny #1238: Commit 3b903bf pushed by jcp19
February 2, 2025 22:19 36s master
master
February 2, 2025 22:19 36s
Fix doXover on the new semantics Verify bitwise operations in Dafny #1237: Pull request #395 synchronize by jcp19
February 2, 2025 22:18 21s fix-doxover
fix-doxover
February 2, 2025 22:18 21s
Fix doXover on the new semantics Verify bitwise operations in Dafny #1236: Pull request #395 synchronize by jcp19
February 2, 2025 22:10 20s fix-doxover
fix-doxover
February 2, 2025 22:10 20s
Fix doXover on the new semantics Verify bitwise operations in Dafny #1235: Pull request #395 synchronize by jcp19
February 2, 2025 21:36 29s fix-doxover
fix-doxover
February 2, 2025 21:36 29s