Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
365 workflow run results
365 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add simpler case_distinction tests locked #8696: Commit 4e7312b pushed by sim642
October 20, 2023 08:47 33m 19s priv-atomic
priv-atomic
October 20, 2023 08:47 33m 19s
Add some hacky atomic privatizations locked #8695: Pull request #1216 synchronize by sim642
October 20, 2023 08:39 41m 1s priv-atomic
priv-atomic
October 20, 2023 08:39 41m 1s
Fix relational mutex-meet atomic unlock locked #8694: Commit cca87be pushed by sim642
October 20, 2023 08:39 40m 38s priv-atomic
priv-atomic
October 20, 2023 08:39 40m 38s
Fix relational mutex-meet atomic unlock locked #8693: Commit cca87be pushed by sim642
October 20, 2023 08:37 40m 0s priv-atomic-mutex
priv-atomic-mutex
October 20, 2023 08:37 40m 0s
locked locked #8692: Scheduled
October 20, 2023 02:01 2h 15m 15s master
master
October 20, 2023 02:01 2h 15m 15s
locked locked #8691: Scheduled
October 19, 2023 02:01 2h 8m 33s master
master
October 19, 2023 02:01 2h 8m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.