Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
533 workflow run results
533 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain options #6806: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 30s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 30s
Consider is_modular for Addr.of_mval, of_var. options #6805: Commit c40ec43 pushed by jerhard
November 28, 2023 17:43 15s modular_function_summaries
modular_function_summaries
November 28, 2023 17:43 15s
Let mallocWrapper analysis also run in modular mode. options #6804: Commit a6eab9c pushed by jerhard
November 28, 2023 17:18 25s modular_function_summaries
modular_function_summaries
November 28, 2023 17:18 25s
Suppress no-cmx-file warning options #6803: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 20s master
master
November 28, 2023 11:01 20s
Add some hacky atomic privatizations options #6802: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 25s priv-atomic
priv-atomic
November 28, 2023 10:48 25s
Fix unsoundness in per-mutex-tid which is revealed by strengthening options #6801: Commit b3af798 pushed by sim642
November 28, 2023 10:48 21s priv-atomic
priv-atomic
November 28, 2023 10:48 21s
Re-enable sem.unknown_function.spawn by default. options #6800: Commit 872799f pushed by jerhard
November 28, 2023 10:20 13s modular_function_summaries
modular_function_summaries
November 28, 2023 10:20 13s
Add test case for branching on unions for union-map-domain. options #6799: Commit e58e7f6 pushed by jerhard
November 28, 2023 09:56 16s modular_function_summaries
modular_function_summaries
November 28, 2023 09:56 16s
Add is_modular function back to fix compilation options #6798: Commit 18a87f6 pushed by jerhard
November 28, 2023 09:52 21s modular_function_summaries
modular_function_summaries
November 28, 2023 09:52 21s
Generalize and clean up abs invariant in base analysis options #6797: Pull request #1274 synchronize by sim642
November 28, 2023 09:16 16s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 28, 2023 09:16 16s
Add test for general abs refinement options #6796: Commit cdf0dee pushed by sim642
November 28, 2023 09:16 18s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 28, 2023 09:16 18s
Fix tracing call in base options #6795: Commit 6b1dce9 pushed by sim642
November 28, 2023 09:12 24s master
master
November 28, 2023 09:12 24s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety options #6794: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 17s master
master
November 27, 2023 16:19 17s
Add some hacky atomic privatizations options #6793: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 24s priv-atomic
priv-atomic
November 27, 2023 15:15 24s
Use strengthening in 36-apron/98-loc options #6792: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 19s priv-atomic
priv-atomic
November 27, 2023 15:15 19s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned options #6791: Pull request #1265 synchronize by michael-schwarz
November 27, 2023 14:19 18s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 18s
Reduce activated analsyses and add test options #6790: Commit 209a560 pushed by michael-schwarz
November 27, 2023 14:19 20s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 20s
Merge with master. options #6789: Commit 4d2783c pushed by jerhard
November 27, 2023 14:18 24s modular_function_summaries
modular_function_summaries
November 27, 2023 14:18 24s
Merge branch 'master' into priv-atomic options #6788: Commit 2beea6e pushed by sim642
November 27, 2023 14:06 18s priv-atomic
priv-atomic
November 27, 2023 14:06 18s
Add some hacky atomic privatizations options #6787: Pull request #1216 synchronize by sim642
November 27, 2023 14:06 24s priv-atomic
priv-atomic
November 27, 2023 14:06 24s
Generalize and clean up abs invariant in base analysis options #6786: Pull request #1274 opened by sim642
November 27, 2023 12:37 23s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:37 23s
Klever concurrency safety support options #6785: Pull request #688 synchronize by sim642
November 27, 2023 12:32 27s klever
klever
November 27, 2023 12:32 27s
Fix LibraryDslTest compilation options #6784: Commit 5a6362e pushed by sim642
November 27, 2023 12:32 17s klever
klever
November 27, 2023 12:32 17s
Remove BaseInvariant tmpSpecial TODOs options #6783: Commit 1730aa7 pushed by sim642
November 27, 2023 12:03 18s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:03 18s
Fix indentation in MemLeak options #6782: Commit 778d883 pushed by sim642
November 27, 2023 10:36 19s master
master
November 27, 2023 10:36 19s