Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
591 workflow run results
591 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain locked #9140: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 40m 48s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 40m 48s
Consider is_modular for Addr.of_mval, of_var. locked #9139: Commit c40ec43 pushed by jerhard
November 28, 2023 17:43 21m 22s modular_function_summaries
modular_function_summaries
November 28, 2023 17:43 21m 22s
Let mallocWrapper analysis also run in modular mode. locked #9138: Commit a6eab9c pushed by jerhard
November 28, 2023 17:18 29m 29s modular_function_summaries
modular_function_summaries
November 28, 2023 17:18 29m 29s
Suppress no-cmx-file warning locked #9137: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 35m 40s master
master
November 28, 2023 11:01 35m 40s
Add some hacky atomic privatizations locked #9136: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 23m 50s priv-atomic
priv-atomic
November 28, 2023 10:48 23m 50s
Fix unsoundness in per-mutex-tid which is revealed by strengthening locked #9135: Commit b3af798 pushed by sim642
November 28, 2023 10:48 34m 51s priv-atomic
priv-atomic
November 28, 2023 10:48 34m 51s
Re-enable sem.unknown_function.spawn by default. locked #9134: Commit 872799f pushed by jerhard
November 28, 2023 10:20 19m 58s modular_function_summaries
modular_function_summaries
November 28, 2023 10:20 19m 58s
Add test case for branching on unions for union-map-domain. locked #9133: Commit e58e7f6 pushed by jerhard
November 28, 2023 09:56 21m 18s modular_function_summaries
modular_function_summaries
November 28, 2023 09:56 21m 18s
Add is_modular function back to fix compilation locked #9132: Commit 18a87f6 pushed by jerhard
November 28, 2023 09:52 25m 36s modular_function_summaries
modular_function_summaries
November 28, 2023 09:52 25m 36s
Generalize and clean up abs invariant in base analysis locked #9131: Pull request #1274 synchronize by sim642
November 28, 2023 09:16 32m 51s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 28, 2023 09:16 32m 51s
Add test for general abs refinement locked #9130: Commit cdf0dee pushed by sim642
November 28, 2023 09:16 35m 13s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 28, 2023 09:16 35m 13s
Fix tracing call in base locked #9129: Commit 6b1dce9 pushed by sim642
November 28, 2023 09:12 33m 0s master
master
November 28, 2023 09:12 33m 0s
locked locked #9128: Scheduled
November 28, 2023 02:07 2h 15m 3s master
master
November 28, 2023 02:07 2h 15m 3s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety locked #9127: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 29m 58s master
master
November 27, 2023 16:19 29m 58s
Add some hacky atomic privatizations locked #9126: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 27m 6s priv-atomic
priv-atomic
November 27, 2023 15:15 27m 6s
Use strengthening in 36-apron/98-loc locked #9125: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 33m 22s priv-atomic
priv-atomic
November 27, 2023 15:15 33m 22s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9124: Pull request #1265 synchronize by michael-schwarz
November 27, 2023 14:19 33m 35s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 33m 35s
Reduce activated analsyses and add test locked #9123: Commit 209a560 pushed by michael-schwarz
November 27, 2023 14:19 25m 49s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 25m 49s
Merge with master. locked #9122: Commit 4d2783c pushed by jerhard
November 27, 2023 14:18 13m 58s modular_function_summaries
modular_function_summaries
November 27, 2023 14:18 13m 58s
Merge branch 'master' into priv-atomic locked #9121: Commit 2beea6e pushed by sim642
November 27, 2023 14:06 28m 55s priv-atomic
priv-atomic
November 27, 2023 14:06 28m 55s
Add some hacky atomic privatizations locked #9120: Pull request #1216 synchronize by sim642
November 27, 2023 14:06 23m 57s priv-atomic
priv-atomic
November 27, 2023 14:06 23m 57s
Generalize and clean up abs invariant in base analysis locked #9119: Pull request #1274 opened by sim642
November 27, 2023 12:37 30m 26s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:37 30m 26s
Klever concurrency safety support locked #9118: Pull request #688 synchronize by sim642
November 27, 2023 12:32 31m 49s klever
klever
November 27, 2023 12:32 31m 49s
Fix LibraryDslTest compilation locked #9117: Commit 5a6362e pushed by sim642
November 27, 2023 12:32 33m 9s klever
klever
November 27, 2023 12:32 33m 9s
Remove BaseInvariant tmpSpecial TODOs locked #9116: Commit 1730aa7 pushed by sim642
November 27, 2023 12:03 27m 36s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:03 27m 36s