Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
821 workflow run results
821 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'priv-atomic' into priv-atomic-disjunctive options #7283: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 25s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 25s
Merge pull request #1335 from goblint/issue-1249 options #7282: Commit c0e151d pushed by sim642
January 25, 2024 14:30 23s master
master
January 25, 2024 14:30 23s
Support for inline assembler & goto instructions in inline assembler options #7281: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 20s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 20s
Add some hacky atomic privatizations options #7279: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 18s priv-atomic
priv-atomic
January 25, 2024 11:53 18s
Make mutex-meet-tid-atomic more precise for no-write unlocks options #7278: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 22s priv-atomic
priv-atomic
January 25, 2024 11:53 22s
Add some hacky atomic privatizations options #7277: Pull request #1216 synchronize by sim642
January 25, 2024 11:19 29s priv-atomic
priv-atomic
January 25, 2024 11:19 29s
Add case_distinction_with_ghosts variant where reads publish to unpro… options #7276: Commit 45555ad pushed by sim642
January 25, 2024 11:19 24s priv-atomic
priv-atomic
January 25, 2024 11:19 24s
Support for inline assembler & goto instructions in inline assembler options #7272: Pull request #1326 synchronize by N0W0RK
January 25, 2024 09:58 22s N0W0RK:master
N0W0RK:master
January 25, 2024 09:58 22s
Fix NullPtr assignment crash in relation analysis options #7269: Pull request #1335 opened by sim642
January 24, 2024 15:20 22s issue-1249
issue-1249
January 24, 2024 15:20 22s
Fix NullPtr assignment crash in relation analysis options #7268: Commit 0c72edd pushed by sim642
January 24, 2024 15:16 26s issue-1249
issue-1249
January 24, 2024 15:16 26s
Exclude Goblint stubs from YAML witnesses options #7267: Pull request #1334 opened by sim642
January 24, 2024 12:42 19s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 19s
Exclude Goblint stubs from YAML witnesses options #7266: Commit 20c500f pushed by sim642
January 24, 2024 12:32 23s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 23s
Merge pull request #1308 from goblint/issue-1266 options #7265: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 19s master
master
January 24, 2024 11:04 19s
Merge pull request #1332 from goblint/unassume-artifact options #7264: Commit d82f710 pushed by sim642
January 24, 2024 11:01 20s master
master
January 24, 2024 11:01 20s
Merge pull request #1233 from goblint/concrat-both-branches options #7263: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 20s master
master
January 24, 2024 10:59 20s
Use incr in CilCfg.countLoopsVisitor options #7262: Commit 96a57a2 pushed by sim642
January 24, 2024 10:22 26s master
master
January 24, 2024 10:22 26s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7261: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:11 18s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:11 18s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7260: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:01 19s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:01 19s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7259: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:56 18s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:56 18s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7258: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:55 22s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:55 22s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7257: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:52 18s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:52 18s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7256: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:51 19s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:51 19s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7255: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:49 25s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:49 25s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7254: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:42 22s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:42 22s
Enhance detection of buffer overflows by introducing variable for length of array/blob options #7253: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:10 12m 42s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:10 12m 42s