Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
801 workflow run results
801 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1279 from goblint/printable_either3 options #6845: Commit e678d0e pushed by michael-schwarz
December 4, 2023 08:37 18s master
master
December 4, 2023 08:37 18s
Merge pull request #1280 from goblint/fix_setjmpname options #6844: Commit 456b287 pushed by michael-schwarz
December 4, 2023 08:28 26s master
master
December 4, 2023 08:28 26s
Bump batteries to 3.5.1 & Remove hacks options #6843: Pull request #1282 synchronize by michael-schwarz
December 1, 2023 20:42 23s batteries_bump
batteries_bump
December 1, 2023 20:42 23s
Require batteries >=3.5.1 options #6842: Commit aa7a8bb pushed by michael-schwarz
December 1, 2023 20:42 17s batteries_bump
batteries_bump
December 1, 2023 20:42 17s
Bump batteries to 3.5.1 & Remove hacks options #6841: Pull request #1282 opened by michael-schwarz
December 1, 2023 20:37 19s batteries_bump
batteries_bump
December 1, 2023 20:37 19s
Remove some workarounds not needed with batteries >=3.5.1 options #6840: Commit 8104b3e pushed by michael-schwarz
December 1, 2023 20:36 21s batteries_bump
batteries_bump
December 1, 2023 20:36 21s
RFC: Remove spec & file analyses options #6839: Pull request #1281 synchronize by michael-schwarz
December 1, 2023 20:06 20s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 20s
Rm: Mainspec options #6838: Commit 9e0ef1c pushed by michael-schwarz
December 1, 2023 20:06 25s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 25s
RFC: Remove spec & file analyses options #6837: Pull request #1281 opened by michael-schwarz
December 1, 2023 19:49 21s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:49 21s
RFC: Remove spec & file analysis options #6836: Commit 89698bc pushed by michael-schwarz
December 1, 2023 19:45 22s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:45 22s
Fix name of modifiedSinceSetjmp options #6835: Pull request #1280 opened by michael-schwarz
December 1, 2023 19:25 19s fix_setjmpname
fix_setjmpname
December 1, 2023 19:25 19s
Fix name of modifiedSinceSetjmp options #6834: Commit 11516b1 pushed by michael-schwarz
December 1, 2023 19:23 24s fix_setjmpname
fix_setjmpname
December 1, 2023 19:23 24s
Introduce Printable.Either3 options #6833: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 22s printable_either3
printable_either3
December 1, 2023 19:16 22s
Introduce Printable.Either3 options #6832: Commit 71489df pushed by michael-schwarz
December 1, 2023 19:12 23s printable_either3
printable_either3
December 1, 2023 19:12 23s
Add global invariant to maylocksdigest options #6831: Commit 21e0644 pushed by sim642
December 1, 2023 08:47 25s lock-digest
lock-digest
December 1, 2023 08:47 25s
Add MayLocksDigest query options #6830: Commit 90f1a62 pushed by sim642
November 30, 2023 13:45 20s lock-digest
lock-digest
November 30, 2023 13:45 20s
Fix lock-digest test options #6829: Commit 8e557ca pushed by sim642
November 30, 2023 13:06 22s lock-digest
lock-digest
November 30, 2023 13:06 22s
Add going multithreaded to lock-digest test options #6828: Commit 3f8c5d3 pushed by sim642
November 30, 2023 13:04 19s lock-digest
lock-digest
November 30, 2023 13:04 19s
Add lock-digest example from more-traces options #6827: Commit 78a8484 pushed by sim642
November 30, 2023 13:01 27s lock-digest
lock-digest
November 30, 2023 13:01 27s
Generalize mutex-meet-tid privatization to arbitrary digest options #6826: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 18s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 18s
Avoid MustJoinedThreads query in ThreadDigest if not needed options #6825: Commit 05198f9 pushed by sim642
November 30, 2023 11:35 21s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 21s
Generalize mutex-meet-tid privatization to arbitrary digest options #6824: Pull request #1278 opened by sim642
November 30, 2023 11:05 19s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 19s
Generalize mutex-meet-tid privatization to arbitrary digest options #6823: Commit a392323 pushed by sim642
November 30, 2023 11:01 23s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:01 23s
Generalize mutex-meet-tid privatization to arbitrary digest options #6822: Commit 5a7ea92 pushed by sim642
November 30, 2023 10:58 21s priv-atomic-digest
priv-atomic-digest
November 30, 2023 10:58 21s
More precise abstractions of trigonometric functions using c-stubs options #6821: Pull request #1277 synchronize by FelixKrayer
November 29, 2023 15:34 19s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 15:34 19s
ProTip! You can narrow down the results and go further in time using created:<2023-11-29 or the other filters available.