Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,467 workflow run results
2,467 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Suppress no-cmx-file warning docs #199: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 5m 42s master
master
November 28, 2023 11:01 5m 42s
Suppress no-cmx-file warning indentation #8784: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 2m 51s master
master
November 28, 2023 11:01 2m 51s
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
Add some hacky atomic privatizations coverage #886: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 17m 14s priv-atomic
priv-atomic
November 28, 2023 10:48 17m 14s
Add some hacky atomic privatizations semgrep #8470: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 47s priv-atomic
priv-atomic
November 28, 2023 10:48 47s
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
Add some hacky atomic privatizations indentation #8783: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 2m 52s priv-atomic
priv-atomic
November 28, 2023 10:48 2m 52s
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
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
Fix unsoundness in per-mutex-tid which is revealed by strengthening semgrep #8469: Commit b3af798 pushed by sim642
November 28, 2023 10:48 45s priv-atomic
priv-atomic
November 28, 2023 10:48 45s
Fix unsoundness in per-mutex-tid which is revealed by strengthening indentation #8782: Commit b3af798 pushed by sim642
November 28, 2023 10:48 3m 21s priv-atomic
priv-atomic
November 28, 2023 10:48 3m 21s
Re-enable sem.unknown_function.spawn by default. indentation #8781: Commit 872799f pushed by jerhard
November 28, 2023 10:20 2m 50s modular_function_summaries
modular_function_summaries
November 28, 2023 10:20 2m 50s
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
Re-enable sem.unknown_function.spawn by default. semgrep #8468: Commit 872799f pushed by jerhard
November 28, 2023 10:20 43s modular_function_summaries
modular_function_summaries
November 28, 2023 10:20 43s
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 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 test case for branching on unions for union-map-domain. semgrep #8467: Commit e58e7f6 pushed by jerhard
November 28, 2023 09:56 39s modular_function_summaries
modular_function_summaries
November 28, 2023 09:56 39s
Add test case for branching on unions for union-map-domain. indentation #8780: Commit e58e7f6 pushed by jerhard
November 28, 2023 09:56 2m 56s modular_function_summaries
modular_function_summaries
November 28, 2023 09:56 2m 56s
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
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
Add is_modular function back to fix compilation semgrep #8466: Commit 18a87f6 pushed by jerhard
November 28, 2023 09:52 51s modular_function_summaries
modular_function_summaries
November 28, 2023 09:52 51s
Add is_modular function back to fix compilation indentation #8779: Commit 18a87f6 pushed by jerhard
November 28, 2023 09:52 2m 51s modular_function_summaries
modular_function_summaries
November 28, 2023 09:52 2m 51s
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