Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
908 workflow run results
908 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'priv-atomic' into priv-atomic-disjunctive locked #9675: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 11m 6s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 11m 6s
Merge pull request #1335 from goblint/issue-1249 locked #9674: Commit c0e151d pushed by sim642
January 25, 2024 14:30 24m 34s master
master
January 25, 2024 14:30 24m 34s
Support for inline assembler & goto instructions in inline assembler locked #9673: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 30m 42s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 30m 42s
Add some hacky atomic privatizations locked #9671: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 21m 35s priv-atomic
priv-atomic
January 25, 2024 11:53 21m 35s
Make mutex-meet-tid-atomic more precise for no-write unlocks locked #9670: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 21m 56s priv-atomic
priv-atomic
January 25, 2024 11:53 21m 56s
Add some hacky atomic privatizations locked #9669: Pull request #1216 synchronize by sim642
January 25, 2024 11:19 29m 52s priv-atomic
priv-atomic
January 25, 2024 11:19 29m 52s
Add case_distinction_with_ghosts variant where reads publish to unpro… locked #9668: Commit 45555ad pushed by sim642
January 25, 2024 11:19 25m 0s priv-atomic
priv-atomic
January 25, 2024 11:19 25m 0s
Support for inline assembler & goto instructions in inline assembler locked #9664: Pull request #1326 synchronize by N0W0RK
January 25, 2024 09:58 11m 27s N0W0RK:master
N0W0RK:master
January 25, 2024 09:58 11m 27s
locked locked #9661: Scheduled
January 25, 2024 02:10 2h 8m 33s master
master
January 25, 2024 02:10 2h 8m 33s
Fix NullPtr assignment crash in relation analysis locked #9660: Pull request #1335 opened by sim642
January 24, 2024 15:20 31m 17s issue-1249
issue-1249
January 24, 2024 15:20 31m 17s
Fix NullPtr assignment crash in relation analysis locked #9659: Commit 0c72edd pushed by sim642
January 24, 2024 15:16 24m 2s issue-1249
issue-1249
January 24, 2024 15:16 24m 2s
Exclude Goblint stubs from YAML witnesses locked #9658: Pull request #1334 opened by sim642
January 24, 2024 12:42 21m 2s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 21m 2s
Exclude Goblint stubs from YAML witnesses locked #9657: Commit 20c500f pushed by sim642
January 24, 2024 12:32 24m 1s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 24m 1s
Merge pull request #1308 from goblint/issue-1266 locked #9656: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 24m 55s master
master
January 24, 2024 11:04 24m 55s
Merge pull request #1332 from goblint/unassume-artifact locked #9655: Commit d82f710 pushed by sim642
January 24, 2024 11:01 25m 3s master
master
January 24, 2024 11:01 25m 3s
Merge pull request #1233 from goblint/concrat-both-branches locked #9654: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 24m 44s master
master
January 24, 2024 10:59 24m 44s
Use incr in CilCfg.countLoopsVisitor locked #9653: Commit 96a57a2 pushed by sim642
January 24, 2024 10:22 25m 52s master
master
January 24, 2024 10:22 25m 52s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9652: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:11 1h 21m 23s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:11 1h 21m 23s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9651: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:01 1h 36m 53s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:01 1h 36m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9650: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:56 1h 32m 59s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:56 1h 32m 59s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9649: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:55 1h 37m 56s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:55 1h 37m 56s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9648: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:52 1h 31m 9s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:52 1h 31m 9s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9647: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:51 1h 28m 26s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:51 1h 28m 26s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9646: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:49 1h 32m 46s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:49 1h 32m 46s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9645: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:42 1h 40m 5s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:42 1h 40m 5s