Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
931 workflow run results
931 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c locked #8722: Commit 6899d44 pushed by karoliineh
October 27, 2023 12:14 32m 26s master
master
October 27, 2023 12:14 32m 26s
Add unknown thread ID locked #8721: Pull request #1224 opened by karoliineh
October 27, 2023 11:49 27m 42s issue-392
issue-392
October 27, 2023 11:49 27m 42s
Fix unsoundness on unknown function call with tid as argument locked #8720: Commit 2df7882 pushed by karoliineh
October 27, 2023 09:04 33m 26s issue-392
issue-392
October 27, 2023 09:04 33m 26s
locked locked #8719: Scheduled
October 27, 2023 01:59 2h 17m 11s master
master
October 27, 2023 01:59 2h 17m 11s
Use set instead of toppedSet for ThreadSet locked #8718: Commit 192108b pushed by karoliineh
October 26, 2023 18:09 31m 43s issue-392
issue-392
October 26, 2023 18:09 31m 43s
Add unknown thread ID locked #8717: Commit 0e31b8d pushed by karoliineh
October 26, 2023 17:40 27m 21s issue-392
issue-392
October 26, 2023 17:40 27m 21s
Merge pull request #1212 from goblint/libfuns-concrat locked #8715: Commit 5a35656 pushed by sim642
October 26, 2023 08:18 34m 8s master
master
October 26, 2023 08:18 34m 8s
Merge pull request #1222 from goblint/dependabot/github_actions/actio… locked #8714: Commit 03131eb pushed by sim642
October 26, 2023 08:12 33m 45s master
master
October 26, 2023 08:12 33m 45s
Fix smtprc-tid unsoundness locked #8713: Commit 2a958bd pushed by sim642
October 26, 2023 07:29 43m 1s master
master
October 26, 2023 07:29 43m 1s
locked locked #8712: Scheduled
October 26, 2023 01:59 2h 12m 29s master
master
October 26, 2023 01:59 2h 12m 29s
locked locked #8711: Scheduled
October 25, 2023 02:01 2h 14m 27s master
master
October 25, 2023 02:01 2h 14m 27s
locked locked #8710: Scheduled
October 24, 2023 02:01 1h 54m 30s master
master
October 24, 2023 02:01 1h 54m 30s
Bump actions/setup-node from 3 to 4 locked #8709: Pull request #1222 opened by dependabot bot
October 23, 2023 20:19 34m 7s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 34m 7s
Bump actions/setup-node from 3 to 4 locked #8708: Commit af904ac pushed by dependabot bot
October 23, 2023 20:19 34m 10s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 34m 10s
locked locked #8707: Scheduled
October 23, 2023 02:01 2h 3m 19s master
master
October 23, 2023 02:01 2h 3m 19s
locked locked #8706: Scheduled
October 22, 2023 02:04 2h 16m 35s master
master
October 22, 2023 02:04 2h 16m 35s
locked locked #8705: Scheduled
October 21, 2023 01:58 2h 19m 7s master
master
October 21, 2023 01:58 2h 19m 7s
Add some hacky atomic privatizations locked #8704: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 27m 50s priv-atomic
priv-atomic
October 20, 2023 15:18 27m 50s
Use relational unprotected invariant for mutex-meet-tid locked #8703: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 24m 49s priv-atomic
priv-atomic
October 20, 2023 15:18 24m 49s
Improve names of some global constraint variables locked #8702: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 29m 20s master
master
October 20, 2023 10:39 29m 20s
Add some hacky atomic privatizations locked #8701: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 46m 52s priv-atomic
priv-atomic
October 20, 2023 09:07 46m 52s
Use threshold widening in Freiburg nondet_inc_with_ghosts locked #8700: Commit e1e0813 pushed by sim642
October 20, 2023 09:07 40m 25s priv-atomic
priv-atomic
October 20, 2023 09:07 40m 25s
Add some hacky atomic privatizations locked #8699: Pull request #1216 synchronize by sim642
October 20, 2023 08:57 1h 2m 56s priv-atomic
priv-atomic
October 20, 2023 08:57 1h 2m 56s
Add Freiburg nondet_inc_with_ghosts examples locked #8698: Commit 4c54140 pushed by sim642
October 20, 2023 08:57 53m 0s priv-atomic
priv-atomic
October 20, 2023 08:57 53m 0s
Add some hacky atomic privatizations locked #8697: Pull request #1216 synchronize by sim642
October 20, 2023 08:47 32m 0s priv-atomic
priv-atomic
October 20, 2023 08:47 32m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.