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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1203: Pull request #387 synchronize by jcp19
January 9, 2025 15:26 24s drop_fractions_functions
drop_fractions_functions
January 9, 2025 15:26 24s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1202: Pull request #387 synchronize by jcp19
January 9, 2025 14:35 29s drop_fractions_functions
drop_fractions_functions
January 9, 2025 14:35 29s
Drop unnecessary param in IsValidResultOfDecoding Verify bitwise operations in Dafny #1201: Pull request #391 opened by jcp19
January 9, 2025 10:27 29s simplify-isvalidresultdecoding
simplify-isvalidresultdecoding
January 9, 2025 10:27 29s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1200: Pull request #387 synchronize by jcp19
January 8, 2025 20:47 29s drop_fractions_functions
drop_fractions_functions
January 8, 2025 20:47 29s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1199: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 20s drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 20s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1198: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 24s drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 24s
Refactor parts of scion_spec.gobra for proof stability Verify bitwise operations in Dafny #1197: Pull request #389 synchronize by jcp19
January 7, 2025 17:09 31s drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 17:09 31s
Refactor parts of scion_spec.gobra for proof stability Verify bitwise operations in Dafny #1196: Pull request #389 synchronize by jcp19
January 7, 2025 17:08 28s drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 17:08 28s
Reenable chopper Verify bitwise operations in Dafny #1195: Pull request #379 synchronize by jcp19
January 7, 2025 17:06 22s jcp19-patch-2
jcp19-patch-2
January 7, 2025 17:06 22s
Refactor parts of scion_spec.gobra for proof stability Verify bitwise operations in Dafny #1194: Pull request #389 synchronize by jcp19
January 7, 2025 16:20 22s drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 16:20 22s
simplify post of SCION.SerializeTo Verify bitwise operations in Dafny #1193: Pull request #390 opened by jcp19
January 7, 2025 15:40 25s simplify-contract-serializeTo-scion
simplify-contract-serializeTo-scion
January 7, 2025 15:40 25s
Verify bitwise operations in Dafny Verify bitwise operations in Dafny #1192: by jcp19
January 7, 2025 15:38 24s master
master
January 7, 2025 15:38 24s
Reenable chopper Verify bitwise operations in Dafny #1191: Pull request #379 synchronize by jcp19
January 7, 2025 15:31 24s jcp19-patch-2
jcp19-patch-2
January 7, 2025 15:31 24s
Verify bitwise operations in Dafny Verify bitwise operations in Dafny #1190: by jcp19
January 7, 2025 15:30 23s master
master
January 7, 2025 15:30 23s
Refactor parts of scion_spec.gobra for proof stability Verify bitwise operations in Dafny #1189: Pull request #389 opened by jcp19
January 7, 2025 15:17 34s drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 15:17 34s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1188: Pull request #387 synchronize by jcp19
January 7, 2025 10:50 24s drop_fractions_functions
drop_fractions_functions
January 7, 2025 10:50 24s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1187: Pull request #387 synchronize by jcp19
January 7, 2025 09:34 23s drop_fractions_functions
drop_fractions_functions
January 7, 2025 09:34 23s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1186: Pull request #387 synchronize by jcp19
January 6, 2025 19:55 24s drop_fractions_functions
drop_fractions_functions
January 6, 2025 19:55 24s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1185: Pull request #387 synchronize by jcp19
January 6, 2025 19:24 26s drop_fractions_functions
drop_fractions_functions
January 6, 2025 19:24 26s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1184: Pull request #387 synchronize by jcp19
January 6, 2025 18:26 27s drop_fractions_functions
drop_fractions_functions
January 6, 2025 18:26 27s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1183: Pull request #387 synchronize by jcp19
December 20, 2024 22:07 20s drop_fractions_functions
drop_fractions_functions
December 20, 2024 22:07 20s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1182: Pull request #387 synchronize by jcp19
December 20, 2024 19:11 26s drop_fractions_functions
drop_fractions_functions
December 20, 2024 19:11 26s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1181: Pull request #387 synchronize by jcp19
December 20, 2024 17:49 21s drop_fractions_functions
drop_fractions_functions
December 20, 2024 17:49 21s
Add MWE for proving SIF Verify bitwise operations in Dafny #1180: Pull request #386 synchronize by jcp19
December 19, 2024 12:37 29s henriman:master
henriman:master
December 19, 2024 12:37 29s
Reenable chopper Verify bitwise operations in Dafny #1179: Pull request #379 synchronize by jcp19
December 19, 2024 12:35 21s jcp19-patch-2
jcp19-patch-2
December 19, 2024 12:35 21s