Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,842 workflow runs
1,842 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix nil intf receiver for mpred test #6855: Pull request #1094 synchronize by ArquintL
3m 19s intf-fold-no-impls
intf-fold-no-impls
3m 19s
Fix nil intf receiver for mpred license-check #2691: Pull request #1094 synchronize by ArquintL
11s intf-fold-no-impls
intf-fold-no-impls
11s
Update InterfaceEncoding.scala test #6854: Commit 26405a3 pushed by ArquintL
2m 57s intf-fold-no-impls
intf-fold-no-impls
2m 57s
Fix nil intf receiver for mpred test #6853: Pull request #1094 synchronize by ArquintL
21m 31s intf-fold-no-impls
intf-fold-no-impls
21m 31s
Fix nil intf receiver for mpred license-check #2690: Pull request #1094 synchronize by ArquintL
10s intf-fold-no-impls
intf-fold-no-impls
10s
implements Joao's CR suggestions test #6852: Commit a720e00 pushed by ArquintL
19m 0s intf-fold-no-impls
intf-fold-no-impls
19m 0s
Interpret bitwise operations over bitvectors under --interpretBitwise test #6851: Commit 3c89d3d pushed by jcp19
21m 40s claude/bitvector-bounded-integers-apzpn5
claude/bitvector-bounded-integers-apzpn5
21m 40s
Fix nil intf receiver for mpred test #6850: Pull request #1094 synchronize by ArquintL
18m 5s intf-fold-no-impls
intf-fold-no-impls
18m 5s
Fix nil intf receiver for mpred license-check #2689: Pull request #1094 synchronize by ArquintL
9s intf-fold-no-impls
intf-fold-no-impls
9s
fixes a Violation by making it a fold error when folding an mpredicat… test #6849: Commit a379deb pushed by ArquintL
21m 34s intf-fold-no-impls
intf-fold-no-impls
21m 34s
Length and capacity of nil pointers to arrays license-check #2688: Pull request #1098 opened by ArquintL
9s claude/completeness-len-of-ptr-to-array
claude/completeness-len-of-ptr-to-array
9s
Length and capacity of nil pointers to arrays test #6848: Pull request #1098 opened by ArquintL
18m 56s claude/completeness-len-of-ptr-to-array
claude/completeness-len-of-ptr-to-array
18m 56s
Encodes the length and capacity of a pointer to an array as the array… test #6847: Commit 586eb90 pushed by ArquintL
22m 11s claude/completeness-len-of-ptr-to-array
claude/completeness-len-of-ptr-to-array
22m 11s
Checks non-nilness when indexing a pointer to an array license-check #2687: Pull request #1095 synchronize by ArquintL
8s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
8s
Checks non-nilness when indexing a pointer to an array test #6846: Pull request #1095 synchronize by ArquintL
19m 21s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
19m 21s
Preserves the bounds annotation of guarded conditions and adds test c… test #6845: Commit c6691f0 pushed by ArquintL
20m 15s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
20m 15s
Encodes the length of a pointer to an array as the array type's length test #6844: Commit 8df8549 pushed by ArquintL
21m 20s claude/completeness-len-of-ptr-to-array
claude/completeness-len-of-ptr-to-array
21m 20s
Checks non-nilness when indexing a pointer to an array license-check #2686: Pull request #1095 synchronize by ArquintL
9s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
9s
Checks non-nilness when indexing a pointer to an array test #6843: Pull request #1095 synchronize by ArquintL
17m 56s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
17m 56s
Renames emitNilChecks to emitPanicChecks test #6842: Commit 1ade012 pushed by ArquintL
19m 1s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
19m 1s
Checks non-nilness when indexing a pointer to an array test #6841: Pull request #1095 synchronize by ArquintL
20m 26s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
20m 26s
Checks non-nilness when indexing a pointer to an array license-check #2685: Pull request #1095 synchronize by ArquintL
10s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
10s
Renames emitNilChecks to emitPanicAbsenceChecks test #6840: Commit 702b67b pushed by ArquintL
17m 33s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
17m 33s
Checks non-nilness when indexing a pointer to an array license-check #2684: Pull request #1095 synchronize by ArquintL
9s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
9s
Checks non-nilness when indexing a pointer to an array test #6839: Pull request #1095 synchronize by ArquintL
20m 10s claude/soundness-nil-check-ptr-to-array
claude/soundness-nil-check-ptr-to-array
20m 10s