Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add expression location to return options #7592: Commit c743366 pushed by sim642
February 14, 2024 15:19 24s fix-locations
fix-locations
February 14, 2024 15:19 24s
Small output readability improvements options #7591: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:55 23s issue-1192
issue-1192
February 14, 2024 11:55 23s
Merge branch 'master' into issue-1192 options #7590: Commit f4d5a45 pushed by karoliineh
February 14, 2024 11:55 18s issue-1192
issue-1192
February 14, 2024 11:55 18s
Update dbg.full-output description in options.schema.json options #7588: Commit 24b6664 pushed by karoliineh
February 14, 2024 11:39 16s issue-1192
issue-1192
February 14, 2024 11:39 16s
Small output readability improvements options #7589: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:39 18s issue-1192
issue-1192
February 14, 2024 11:39 18s
Small output readability improvements options #7587: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:38 24s issue-1192
issue-1192
February 14, 2024 11:38 24s
tID #top -> ⊤ and change cram tests accordingly options #7586: Commit cfd6b0e pushed by karoliineh
February 14, 2024 11:38 24s issue-1192
issue-1192
February 14, 2024 11:38 24s
Add "Fix indentation in various non-legacy code" to .git-blame-ignore… options #7585: Commit 24e33cc pushed by sim642
February 14, 2024 10:55 22s master
master
February 14, 2024 10:55 22s
Merge branch 'master' into issue-1192 options #7584: Commit 0ad7f6f pushed by karoliineh
February 14, 2024 10:15 22s issue-1192
issue-1192
February 14, 2024 10:15 22s
Small output readability improvements options #7583: Pull request #1312 synchronize by karoliineh
February 14, 2024 10:15 23s issue-1192
issue-1192
February 14, 2024 10:15 23s
Simplify show in threadIdDomain options #7582: Commit a9d5358 pushed by karoliineh
February 14, 2024 10:07 22s issue-1192
issue-1192
February 14, 2024 10:07 22s
Modular analysis: Fix collect_graph algorithm. options #7581: Commit 1db7abe pushed by jerhard
February 14, 2024 10:00 23s modular_function_summaries
modular_function_summaries
February 14, 2024 10:00 23s
Add cram tests for CFGs options #7580: Pull request #1360 synchronize by sim642
February 14, 2024 08:28 18s cfg-test
cfg-test
February 14, 2024 08:28 18s
Update GobView for moved compute_cfg options #7579: Commit d146e9b pushed by sim642
February 14, 2024 08:28 19s cfg-test
cfg-test
February 14, 2024 08:28 19s
Use graph-guided algorithm for finding possibly modified params. options #7578: Commit ac46db1 pushed by jerhard
February 13, 2024 17:19 21s modular_function_summaries
modular_function_summaries
February 13, 2024 17:19 21s
Indentation options #7577: Commit cc689ce pushed by karoliineh
February 13, 2024 16:46 18s issue-1192
issue-1192
February 13, 2024 16:46 18s
Use dbg.full-output option in intDomain options #7576: Commit 1148df3 pushed by karoliineh
February 13, 2024 16:40 25s issue-1192
issue-1192
February 13, 2024 16:40 25s
Add cram tests for CFGs options #7575: Pull request #1360 synchronize by sim642
February 13, 2024 15:55 24s cfg-test
cfg-test
February 13, 2024 15:55 24s
Install graph-easy only on Ubuntu in CI options #7574: Commit 15e8ca3 pushed by sim642
February 13, 2024 15:55 21s cfg-test
cfg-test
February 13, 2024 15:55 21s
Add cram tests for CFGs options #7573: Pull request #1360 synchronize by sim642
February 13, 2024 15:33 19s cfg-test
cfg-test
February 13, 2024 15:33 19s
Install graph-easy manually in CI because nothing works options #7572: Commit ae5b2cf pushed by sim642
February 13, 2024 15:33 23s cfg-test
cfg-test
February 13, 2024 15:33 23s
Add cram tests for CFGs options #7571: Pull request #1360 synchronize by sim642
February 13, 2024 15:15 23s cfg-test
cfg-test
February 13, 2024 15:15 23s
Try to pin using with-test in CI via hack options #7570: Commit 4b58d45 pushed by sim642
February 13, 2024 15:15 21s cfg-test
cfg-test
February 13, 2024 15:15 21s
Add cram tests for CFGs options #7569: Pull request #1360 synchronize by sim642
February 13, 2024 15:02 19s cfg-test
cfg-test
February 13, 2024 15:02 19s
Try to pin using with-test in CI via opam-depext-flags options #7568: Commit d48e85e pushed by sim642
February 13, 2024 15:02 18s cfg-test
cfg-test
February 13, 2024 15:02 18s