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,093 workflow runs
1,093 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 #1170: Pull request #387 synchronize by jcp19
December 2, 2024 16:11 28s drop_fractions_functions
drop_fractions_functions
December 2, 2024 16:11 28s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1169: Pull request #387 synchronize by jcp19
December 2, 2024 13:11 26s drop_fractions_functions
drop_fractions_functions
December 2, 2024 13:11 26s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1168: Pull request #387 synchronize by jcp19
December 2, 2024 13:10 31s drop_fractions_functions
drop_fractions_functions
December 2, 2024 13:10 31s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1167: Pull request #387 opened by jcp19
December 2, 2024 10:59 26s drop_fractions_functions
drop_fractions_functions
December 2, 2024 10:59 26s
Add MWE for proving SIF Verify bitwise operations in Dafny #1166: Pull request #386 opened by henriman
November 26, 2024 15:06 36s henriman:master
henriman:master
November 26, 2024 15:06 36s
Add initial configs for gobrago Verify bitwise operations in Dafny #1165: Pull request #381 synchronize by jcp19
November 19, 2024 10:13 25s gobrago
gobrago
November 19, 2024 10:13 25s
Script for counting lines of annotation Verify bitwise operations in Dafny #1164: Pull request #375 synchronize by jcp19
November 19, 2024 10:11 24s temp
temp
November 19, 2024 10:11 24s
Add initial configs for gobrago Verify bitwise operations in Dafny #1163: Pull request #381 synchronize by jcp19
November 18, 2024 18:24 33s gobrago
gobrago
November 18, 2024 18:24 33s
Add initial configs for gobrago Verify bitwise operations in Dafny #1162: Pull request #381 synchronize by jcp19
November 18, 2024 14:16 34s gobrago
gobrago
November 18, 2024 14:16 34s
Specify package-level invariants Verify bitwise operations in Dafny #1161: Pull request #380 synchronize by jcp19
November 16, 2024 10:36 28s minit
minit
November 16, 2024 10:36 28s
Specify package-level invariants Verify bitwise operations in Dafny #1160: Pull request #380 synchronize by jcp19
November 15, 2024 14:24 21s minit
minit
November 15, 2024 14:24 21s
Specify package-level invariants Verify bitwise operations in Dafny #1159: Pull request #380 synchronize by jcp19
November 15, 2024 14:24 25s minit
minit
November 15, 2024 14:24 25s
Specify package-level invariants Verify bitwise operations in Dafny #1158: Pull request #380 synchronize by jcp19
November 15, 2024 14:18 32s minit
minit
November 15, 2024 14:18 32s
Specify package-level invariants Verify bitwise operations in Dafny #1157: Pull request #380 synchronize by jcp19
November 15, 2024 13:58 25s minit
minit
November 15, 2024 13:58 25s
Specify package-level invariants Verify bitwise operations in Dafny #1156: Pull request #380 synchronize by jcp19
November 15, 2024 12:51 1m 18s minit
minit
November 15, 2024 12:51 1m 18s
Specify package-level invariants Verify bitwise operations in Dafny #1155: Pull request #380 synchronize by jcp19
November 15, 2024 12:24 22s minit
minit
November 15, 2024 12:24 22s
Specify package-level invariants Verify bitwise operations in Dafny #1154: Pull request #380 synchronize by jcp19
November 15, 2024 10:00 30s minit
minit
November 15, 2024 10:00 30s
Specify package-level invariants Verify bitwise operations in Dafny #1153: Pull request #380 synchronize by jcp19
November 15, 2024 04:37 31s minit
minit
November 15, 2024 04:37 31s
Specify package-level invariants Verify bitwise operations in Dafny #1152: Pull request #380 synchronize by jcp19
November 14, 2024 16:26 22s minit
minit
November 14, 2024 16:26 22s
Specify package-level invariants Verify bitwise operations in Dafny #1151: Pull request #380 synchronize by jcp19
November 14, 2024 14:19 30s minit
minit
November 14, 2024 14:19 30s
Specify package-level invariants Verify bitwise operations in Dafny #1150: Pull request #380 synchronize by jcp19
November 14, 2024 13:55 23s minit
minit
November 14, 2024 13:55 23s
Specify package-level invariants Verify bitwise operations in Dafny #1149: Pull request #380 synchronize by jcp19
November 14, 2024 13:39 28s minit
minit
November 14, 2024 13:39 28s
Reenable chopper Verify bitwise operations in Dafny #1148: Pull request #379 synchronize by jcp19
November 14, 2024 10:53 31s jcp19-patch-2
jcp19-patch-2
November 14, 2024 10:53 31s
Reenable chopper Verify bitwise operations in Dafny #1147: Pull request #379 synchronize by jcp19
November 14, 2024 09:53 30s jcp19-patch-2
jcp19-patch-2
November 14, 2024 09:53 30s
Add benchmarking script Verify bitwise operations in Dafny #1146: Pull request #317 synchronize by jcp19
November 13, 2024 10:09 27s joao-scripts2
joao-scripts2
November 13, 2024 10:09 27s