Skip to content

Actions: viperproject/VerifiedSCION

Actions

Verify bitwise operations in Dafny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dafny.yml
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test strengthening specs of BatchConn Verify bitwise operations in Dafny #1354: Pull request #413 opened by jcp19
39s strengthen-spec-sends
strengthen-spec-sends
39s
Remove ghost Mutex, use invariants instead Verify bitwise operations in Dafny #1353: Pull request #412 opened by jcp19
38s invariants
invariants
38s
Formalize Authoritative RA from SCION in terms of RA from the gobra-l… Verify bitwise operations in Dafny #1352: Commit fdec91c pushed by jcp19
38s master
master
38s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1351: Pull request #411 synchronize by jcp19
42s use-ra-formalization
use-ra-formalization
42s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1350: Pull request #411 synchronize by jcp19
41s use-ra-formalization
use-ra-formalization
41s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1349: Pull request #411 synchronize by jcp19
35s use-ra-formalization
use-ra-formalization
35s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1348: Pull request #411 synchronize by jcp19
34s use-ra-formalization
use-ra-formalization
34s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1347: Pull request #411 synchronize by jcp19
34s use-ra-formalization
use-ra-formalization
34s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1346: Pull request #411 opened by jcp19
40s use-ra-formalization
use-ra-formalization
40s
Delete old CI file; adapt to the latest version of gobra (#410) Verify bitwise operations in Dafny #1345: Commit dfbb562 pushed by jcp19
40s master
master
40s
Delete old CI file; adapt to the latest version of gobra Verify bitwise operations in Dafny #1344: Pull request #410 synchronize by jcp19
42s run-ci
run-ci
42s
Delete old CI file; adapt to the latest version of gobra Verify bitwise operations in Dafny #1343: Pull request #410 synchronize by jcp19
39s run-ci
run-ci
39s
Delete old CI file; adapt to the latest version of gobra Verify bitwise operations in Dafny #1342: Pull request #410 synchronize by jcp19
38s run-ci
run-ci
38s
Delete old CI file; adapt to the latest version of gobra Verify bitwise operations in Dafny #1341: Pull request #410 synchronize by jcp19
40s run-ci
run-ci
40s
Delete old CI file; adapt to the latest version of gobra Verify bitwise operations in Dafny #1340: Pull request #410 opened by jcp19
33s run-ci
run-ci
33s
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1339: Pull request #399 synchronize by henriman
47s henriman:mac-assumption
henriman:mac-assumption
47s
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1338: Pull request #399 synchronize by henriman
35s henriman:mac-assumption
henriman:mac-assumption
35s
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1337: Pull request #399 synchronize by henriman
42s henriman:mac-assumption
henriman:mac-assumption
42s
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1336: Pull request #399 synchronize by henriman
40s henriman:mac-assumption
henriman:mac-assumption
40s
[WIP] SIF Verify bitwise operations in Dafny #1335: Pull request #394 synchronize by henriman
36s henriman:sif-io-spec
henriman:sif-io-spec
36s
Adapt to use the new integer type and to pass stricter overflow checks Verify bitwise operations in Dafny #1334: Pull request #407 synchronize by jcp19
34s fix-overflow-checks
fix-overflow-checks
34s
Adapt to use the new integer type and to pass stricter overflow checks Verify bitwise operations in Dafny #1333: Pull request #407 synchronize by jcp19
31s fix-overflow-checks
fix-overflow-checks
31s
Adapt to use the new integer type and to pass stricter overflow checks Verify bitwise operations in Dafny #1332: Pull request #407 synchronize by jcp19
39s fix-overflow-checks
fix-overflow-checks
39s
Adapt to use the new integer type and to pass stricter overflow checks Verify bitwise operations in Dafny #1331: Pull request #407 synchronize by jcp19
40s fix-overflow-checks
fix-overflow-checks
40s
Adapt to use the new integer type and to pass stricter overflow checks Verify bitwise operations in Dafny #1330: Pull request #407 synchronize by jcp19
38s fix-overflow-checks
fix-overflow-checks
38s