Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add test case for issue #1267 locked #9154: Commit f6addb9 pushed by jerhard
November 29, 2023 14:33 22m 53s issue_1267
issue_1267
November 29, 2023 14:33 22m 53s
Fix test annotation. options #6818: Commit 57eac77 pushed by jerhard
November 29, 2023 14:24 25s modular_function_summaries
modular_function_summaries
November 29, 2023 14:24 25s
Fix test annotation. semgrep #8486: Commit 57eac77 pushed by jerhard
November 29, 2023 14:24 47s modular_function_summaries
modular_function_summaries
November 29, 2023 14:24 47s
Fix test annotation. indentation #8799: Commit 57eac77 pushed by jerhard
November 29, 2023 14:24 3m 12s modular_function_summaries
modular_function_summaries
November 29, 2023 14:24 3m 12s
Fix test annotation. locked #9153: Commit 57eac77 pushed by jerhard
November 29, 2023 14:24 32m 34s modular_function_summaries
modular_function_summaries
November 29, 2023 14:24 32m 34s
Add some hacky atomic privatizations options #6817: Pull request #1216 synchronize by sim642
November 29, 2023 13:58 18s priv-atomic
priv-atomic
November 29, 2023 13:58 18s
Add some hacky atomic privatizations semgrep #8485: Pull request #1216 synchronize by sim642
November 29, 2023 13:58 47s priv-atomic
priv-atomic
November 29, 2023 13:58 47s
Add some hacky atomic privatizations indentation #8798: Pull request #1216 synchronize by sim642
November 29, 2023 13:58 2m 48s priv-atomic
priv-atomic
November 29, 2023 13:58 2m 48s
Add some hacky atomic privatizations locked #9152: Pull request #1216 synchronize by sim642
November 29, 2023 13:58 32m 40s priv-atomic
priv-atomic
November 29, 2023 13:58 32m 40s
Add some hacky atomic privatizations coverage #893: Pull request #1216 synchronize by sim642
November 29, 2023 13:58 13m 39s priv-atomic
priv-atomic
November 29, 2023 13:58 13m 39s
Add nondet_inc_with_ghosts with globalization options #6816: Commit 69dd788 pushed by sim642
November 29, 2023 13:58 16s priv-atomic
priv-atomic
November 29, 2023 13:58 16s
Add nondet_inc_with_ghosts with globalization locked #9151: Commit 69dd788 pushed by sim642
November 29, 2023 13:58 27m 29s priv-atomic
priv-atomic
November 29, 2023 13:58 27m 29s
Add nondet_inc_with_ghosts with globalization semgrep #8484: Commit 69dd788 pushed by sim642
November 29, 2023 13:58 56s priv-atomic
priv-atomic
November 29, 2023 13:58 56s
Add nondet_inc_with_ghosts with globalization indentation #8797: Commit 69dd788 pushed by sim642
November 29, 2023 13:58 2m 53s priv-atomic
priv-atomic
November 29, 2023 13:58 2m 53s
Add some hacky atomic privatizations coverage #892: Pull request #1216 synchronize by sim642
November 29, 2023 12:37 12m 52s priv-atomic
priv-atomic
November 29, 2023 12:37 12m 52s
Add some hacky atomic privatizations locked #9150: Pull request #1216 synchronize by sim642
November 29, 2023 12:37 30m 59s priv-atomic
priv-atomic
November 29, 2023 12:37 30m 59s
Add some hacky atomic privatizations semgrep #8483: Pull request #1216 synchronize by sim642
November 29, 2023 12:37 37s priv-atomic
priv-atomic
November 29, 2023 12:37 37s
Add some hacky atomic privatizations options #6815: Pull request #1216 synchronize by sim642
November 29, 2023 12:37 19s priv-atomic
priv-atomic
November 29, 2023 12:37 19s
Add some hacky atomic privatizations indentation #8796: Pull request #1216 synchronize by sim642
November 29, 2023 12:37 2m 49s priv-atomic
priv-atomic
November 29, 2023 12:37 2m 49s
Revert "Try to make two Mukerjee tests more precise with strengthening" indentation #8795: Commit a3f531b pushed by sim642
November 29, 2023 12:37 3m 7s priv-atomic
priv-atomic
November 29, 2023 12:37 3m 7s
Revert "Try to make two Mukerjee tests more precise with strengthening" semgrep #8482: Commit a3f531b pushed by sim642
November 29, 2023 12:37 43s priv-atomic
priv-atomic
November 29, 2023 12:37 43s
Revert "Try to make two Mukerjee tests more precise with strengthening" options #6814: Commit a3f531b pushed by sim642
November 29, 2023 12:37 24s priv-atomic
priv-atomic
November 29, 2023 12:37 24s
Revert "Try to make two Mukerjee tests more precise with strengthening" locked #9149: Commit a3f531b pushed by sim642
November 29, 2023 12:37 35m 0s priv-atomic
priv-atomic
November 29, 2023 12:37 35m 0s
More precise abstractions of trigonometric functions using c-stubs coverage #891: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 12m 42s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 12m 42s
More precise abstractions of trigonometric functions using c-stubs indentation #8794: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 2s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 2s