Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,449 workflow runs
1,449 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 issue 1045 (#1047) test #6545: Commit 448ffb3 pushed by AndreaKe
In progress keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
In progress
Fix issue #841 license-check #2573: Pull request #919 synchronize by jcp19
9s fix-841
fix-841
9s
Fix issue #841 test #6544: Pull request #919 synchronize by jcp19
In progress fix-841
fix-841
In progress
Check pure-member termination measures uniformly in wellDefIfPureSpec test #6543: Commit e14daf0 pushed by jcp19
In progress fix-841
fix-841
In progress
Fix issue #841 license-check #2572: Pull request #919 synchronize by jcp19
10s fix-841
fix-841
10s
Fix issue #841 test #6542: Pull request #919 synchronize by jcp19
15m 30s fix-841
fix-841
15m 30s
Add unit tests for the termination-measure requirement on pure interf… test #6541: Commit d1bda4f pushed by jcp19
14m 45s fix-841
fix-841
14m 45s
Fix issue #841 license-check #2571: Pull request #919 synchronize by jcp19
10s fix-841
fix-841
10s
Fix issue #841 test #6540: Pull request #919 synchronize by jcp19
22m 28s fix-841
fix-841
22m 28s
Restrict issue #841 regression test to always-checked rules; fix embe… test #6539: Commit 83074a8 pushed by jcp19
18m 54s fix-841
fix-841
18m 54s
Fix issue #841 test #6538: Pull request #919 synchronize by jcp19
18m 2s fix-841
fix-841
18m 2s
Fix issue #841 license-check #2570: Pull request #919 synchronize by jcp19
11s fix-841
fix-841
11s
Merge branch 'master' into fix-841 test #6537: Commit 06f6a04 pushed by jcp19
18m 24s fix-841
fix-841
18m 24s
Map auto-generated impl proofs to their implements clause in dependency analysis license-check #2569: Pull request #1049 opened by jcp19
9s claude/gobra-issue-1042-ix9p2e
claude/gobra-issue-1042-ix9p2e
9s
Map auto-generated impl proofs to their implements clause in dependency analysis test #6536: Pull request #1049 opened by jcp19
43m 19s claude/gobra-issue-1042-ix9p2e
claude/gobra-issue-1042-ix9p2e
43m 19s
Map auto-generated impl proofs to their implements clause in depend… test #6535: Commit 25d519f pushed by jcp19
44m 22s claude/gobra-issue-1042-ix9p2e
claude/gobra-issue-1042-ix9p2e
44m 22s
Fixes parsing of magic wands (#1044) test #6534: Commit 4ccdf62 pushed by ArquintL
22m 3s master
master
22m 3s
Fix issue 1045 (#1047) test #6533: Commit 2e5dc06 pushed by jcp19
18m 54s master
master
18m 54s
Fixes parsing of magic wands license-check #2568: Pull request #1044 synchronize by ArquintL
11s issue-1043
issue-1043
11s
Fixes parsing of magic wands test #6532: Pull request #1044 synchronize by ArquintL
21m 0s issue-1043
issue-1043
21m 0s
implements CR suggestions by Joao test #6531: Commit 32cf3c9 pushed by ArquintL
21m 28s issue-1043
issue-1043
21m 28s
atomic methods and invariants license-check #2567: Pull request #983 synchronize by jcp19
10s atomicAndInvs
atomicAndInvs
10s
atomic methods and invariants test #6530: Pull request #983 synchronize by jcp19
17m 47s atomicAndInvs
atomicAndInvs
17m 47s
Reject unstructured control flow inside critical regions (#1048) test #6529: Commit 3a9205d pushed by jcp19
23m 5s atomicAndInvs
atomicAndInvs
23m 5s
Reject unstructured control flow inside critical regions license-check #2566: Pull request #1048 synchronize by jcp19
14s claude/gobra-atomics-soundness-bwfbid
claude/gobra-atomics-soundness-bwfbid
14s