Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
2,452 workflow runs
2,452 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add tests for #1273. Closes #1273 docs #548: Commit 525a70a pushed by michael-schwarz
April 3, 2024 19:50 5m 27s master
master
April 3, 2024 19:50 5m 27s
Add -opaque to trace profile flags docs #547: Commit e3bf084 pushed by sim642
April 3, 2024 09:22 6m 32s master
master
April 3, 2024 09:22 6m 32s
Remove some loop unrolling CFG debugging docs #546: Commit 4a7863d pushed by sim642
April 3, 2024 08:40 5m 36s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 3, 2024 08:40 5m 36s
Record statement copies during loop unrolling docs #545: Pull request #1403 synchronize by sim642
April 3, 2024 08:40 5m 22s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 3, 2024 08:40 5m 22s
Record statement copies during loop unrolling docs #544: Pull request #1403 synchronize by sim642
April 3, 2024 07:59 5m 36s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 3, 2024 07:59 5m 36s
Exclude ConfigDatetime from Goblint_lib documentation check docs #543: Commit 8df759b pushed by sim642
April 3, 2024 07:32 5m 34s master
master
April 3, 2024 07:32 5m 34s
Merge pull request #1320 from goblint/ack-zulip docs #542: Commit b3711ff pushed by michael-schwarz
April 2, 2024 21:46 5m 43s master
master
April 2, 2024 21:46 5m 43s
Add Zulip badge and acknowledgement docs #541: Pull request #1320 synchronize by michael-schwarz
April 2, 2024 21:38 5m 35s ack-zulip
ack-zulip
April 2, 2024 21:38 5m 35s
Record statement copies during loop unrolling docs #540: Pull request #1403 synchronize by sim642
April 2, 2024 15:01 5m 19s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 2, 2024 15:01 5m 19s
Record statement copies during loop unrolling docs #539: Pull request #1403 synchronize by sim642
April 2, 2024 14:31 5m 22s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 2, 2024 14:31 5m 22s
Record statement copies during loop unrolling docs #538: Pull request #1403 synchronize by sim642
April 2, 2024 12:20 6m 34s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 2, 2024 12:20 6m 34s
Record statement copies during loop unrolling docs #537: Pull request #1403 opened by sim642
April 2, 2024 12:13 7m 24s yaml-witness-unrolled-loop
yaml-witness-unrolled-loop
April 2, 2024 12:13 7m 24s
mutex-meet ghost invariants are maybe unsound docs #536: Commit 01c9b98 pushed by sim642
April 2, 2024 11:56 5m 38s yaml-witness-ghost
yaml-witness-ghost
April 2, 2024 11:56 5m 38s
Add cram test for witness ghosts with multiple protecting locks docs #535: Commit 7992462 pushed by sim642
April 2, 2024 10:42 5m 21s yaml-witness-ghost
yaml-witness-ghost
April 2, 2024 10:42 5m 21s
Add cram test for privatized witness ghosts docs #534: Commit b018265 pushed by sim642
April 2, 2024 09:19 5m 12s yaml-witness-ghost
yaml-witness-ghost
April 2, 2024 09:19 5m 12s
Merge branch 'yaml-witness-test' into yaml-witness-ghost docs #533: Commit 7951588 pushed by sim642
April 2, 2024 08:53 5m 36s yaml-witness-ghost
yaml-witness-ghost
April 2, 2024 08:53 5m 36s
Merge branch 'yaml-witness-test' into yaml-witness-ghost docs #532: Commit 5694838 pushed by sim642
April 2, 2024 08:35 5m 33s yaml-witness-ghost
yaml-witness-ghost
April 2, 2024 08:35 5m 33s
Disable SV-COMP syntactic loop unrolling docs #531: Pull request #1402 opened by sim642
April 2, 2024 07:50 5m 37s sv-comp-no-unroll
sv-comp-no-unroll
April 2, 2024 07:50 5m 37s
Add svcomp-validate conf without loop unrolling docs #530: Commit f30a1e8 pushed by sim642
April 2, 2024 07:35 5m 16s sv-comp-no-unroll
sv-comp-no-unroll
April 2, 2024 07:35 5m 16s
Merge pull request #1401 from goblint/dependabot/github_actions/actio… docs #529: Commit 97ddfab pushed by sim642
April 2, 2024 06:47 5m 35s master
master
April 2, 2024 06:47 5m 35s
Bump actions/configure-pages from 4 to 5 docs #528: Pull request #1401 opened by dependabot bot
April 1, 2024 20:28 5m 34s dependabot/github_actions/actions/configure-pages-5
dependabot/github_actions/actions/configure-pages-5
April 1, 2024 20:28 5m 34s
Bump actions/configure-pages from 4 to 5 docs #527: Commit 73440d3 pushed by dependabot bot
April 1, 2024 20:28 5m 34s dependabot/github_actions/actions/configure-pages-5
dependabot/github_actions/actions/configure-pages-5
April 1, 2024 20:28 5m 34s
Change YAML witness columns to 1-indexed docs #526: Pull request #1400 opened by sim642
April 1, 2024 15:04 5m 23s yaml-witness-column
yaml-witness-column
April 1, 2024 15:04 5m 23s
Change YAML witness columns to 1-indexed docs #525: Commit 8cc300c pushed by sim642
April 1, 2024 15:02 5m 35s yaml-witness-column
yaml-witness-column
April 1, 2024 15:02 5m 35s
Avoid base invariant fallback not understood message on reflexive pointer literal equality docs #524: Pull request #1396 synchronize by michael-schwarz
March 28, 2024 13:40 5m 17s issue-1374-2
issue-1374-2
March 28, 2024 13:40 5m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-03-28 or the other filters available.