Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,919 workflow run results
5,919 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear Two-Variable Equalities Analysis locked #9537: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 28m 10s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 28m 10s
Linear Two-Variable Equalities Analysis options #7159: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 18s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 18s
Merge branch 'master' into priv-atomic options #7158: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 23s priv-atomic
priv-atomic
January 11, 2024 15:04 23s
Merge branch 'master' into priv-atomic semgrep #8817: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 34s priv-atomic
priv-atomic
January 11, 2024 15:04 34s
Merge branch 'master' into priv-atomic indentation #9139: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 2m 57s priv-atomic
priv-atomic
January 11, 2024 15:04 2m 57s
Merge branch 'master' into priv-atomic locked #9536: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 29m 34s priv-atomic
priv-atomic
January 11, 2024 15:04 29m 34s
Add some hacky atomic privatizations options #7157: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 23s priv-atomic
priv-atomic
January 11, 2024 15:04 23s
Add some hacky atomic privatizations semgrep #8816: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 38s priv-atomic
priv-atomic
January 11, 2024 15:04 38s
Add some hacky atomic privatizations indentation #9138: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 2m 58s priv-atomic
priv-atomic
January 11, 2024 15:04 2m 58s
Add some hacky atomic privatizations coverage #1087: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 11m 20s priv-atomic
priv-atomic
January 11, 2024 15:04 11m 20s
Add some hacky atomic privatizations locked #9535: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 20m 55s priv-atomic
priv-atomic
January 11, 2024 15:04 20m 55s
Comment out atomic mutex protecting everything again options #7156: Commit 696a35f pushed by sim642
January 11, 2024 14:58 21s priv-atomic
priv-atomic
January 11, 2024 14:58 21s
Comment out atomic mutex protecting everything again semgrep #8815: Commit 696a35f pushed by sim642
January 11, 2024 14:58 41s priv-atomic
priv-atomic
January 11, 2024 14:58 41s
Comment out atomic mutex protecting everything again locked #9534: Commit 696a35f pushed by sim642
January 11, 2024 14:58 41m 1s priv-atomic
priv-atomic
January 11, 2024 14:58 41m 1s
Comment out atomic mutex protecting everything again indentation #9137: Commit 696a35f pushed by sim642
January 11, 2024 14:58 2m 52s priv-atomic
priv-atomic
January 11, 2024 14:58 2m 52s
Add __goblint_globalize special function indentation #9136: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 2m 49s priv-atomic
priv-atomic
January 11, 2024 14:53 2m 49s
Add __goblint_globalize special function options #7155: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 18s priv-atomic
priv-atomic
January 11, 2024 14:53 18s
Add __goblint_globalize special function semgrep #8814: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 41s priv-atomic
priv-atomic
January 11, 2024 14:53 41s
Add __goblint_globalize special function locked #9533: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 37m 28s priv-atomic
priv-atomic
January 11, 2024 14:53 37m 28s
Delete duplicate priv-atomic tests locked #9532: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 32m 55s priv-atomic
priv-atomic
January 11, 2024 14:44 32m 55s
Delete duplicate priv-atomic tests indentation #9135: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 3m 7s priv-atomic
priv-atomic
January 11, 2024 14:44 3m 7s
Delete duplicate priv-atomic tests options #7154: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 19s priv-atomic
priv-atomic
January 11, 2024 14:44 19s
Delete duplicate priv-atomic tests semgrep #8813: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 41s priv-atomic
priv-atomic
January 11, 2024 14:44 41s
Separate relation mutex-meet-tid with atomic support options #7153: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 26s priv-atomic
priv-atomic
January 11, 2024 14:34 26s
Separate relation mutex-meet-tid with atomic support semgrep #8812: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 39s priv-atomic
priv-atomic
January 11, 2024 14:34 39s