Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
1,114 workflow run results
1,114 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1274 from goblint/base-invariant-abs-cleanup options #6820: Commit db49fe9 pushed by sim642
November 29, 2023 15:00 19s master
master
November 29, 2023 15:00 19s
Add test case for issue #1267 options #6819: Commit f6addb9 pushed by jerhard
November 29, 2023 14:33 18s issue_1267
issue_1267
November 29, 2023 14:33 18s
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
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 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 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
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
More precise abstractions of trigonometric functions using c-stubs options #6813: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 21s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 21s
Fix return type of function in test case. options #6812: Commit 0715d32 pushed by jerhard
November 29, 2023 10:16 15s modular_function_summaries
modular_function_summaries
November 29, 2023 10:16 15s
Fix test case. options #6811: Commit 5a8ae91 pushed by jerhard
November 29, 2023 10:04 19s modular_function_summaries
modular_function_summaries
November 29, 2023 10:04 19s
Null Byte Array Domain options #6810: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 26s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 26s
Null Byte Array Domain options #6809: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 19s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 19s
Remove unit statement from MemLeak options #6808: Commit 7fa7bfd pushed by sim642
November 29, 2023 08:27 24s master
master
November 29, 2023 08:27 24s
Simplify match in MemLeak options #6807: Commit 30daf27 pushed by sim642
November 29, 2023 08:26 27s master
master
November 29, 2023 08:26 27s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.