Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,406 workflow run results
3,406 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add unknown functions from SV-COMP locked #9045: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 31m 39s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 31m 39s
Add unknown functions from SV-COMP indentation #8698: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 3s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 3s
Add unknown functions from SV-COMP options #6717: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 16s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 16s
Add unknown functions from SV-COMP coverage #842: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 12m 47s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 12m 47s
Add unknown functions from SV-COMP semgrep #8387: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 40s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 40s
Add fun defs for wprintf, iswxdigit and .*wscanf #1239 options #6716: Commit 7159875 pushed by karoliineh
November 22, 2023 11:47 18s svcomp24-funs
svcomp24-funs
November 22, 2023 11:47 18s
Add fun defs for wprintf, iswxdigit and .*wscanf #1239 locked #9044: Commit 7159875 pushed by karoliineh
November 22, 2023 11:47 26m 52s svcomp24-funs
svcomp24-funs
November 22, 2023 11:47 26m 52s
Add fun defs for wprintf, iswxdigit and .*wscanf #1239 semgrep #8386: Commit 7159875 pushed by karoliineh
November 22, 2023 11:47 36s svcomp24-funs
svcomp24-funs
November 22, 2023 11:47 36s
Add fun defs for wprintf, iswxdigit and .*wscanf #1239 indentation #8697: Commit 7159875 pushed by karoliineh
November 22, 2023 11:47 2m 51s svcomp24-funs
svcomp24-funs
November 22, 2023 11:47 2m 51s
Add missing fun defs from sv-benchmarks #1239 locked #9043: Commit 4fa70bd pushed by karoliineh
November 22, 2023 11:11 33m 16s svcomp24-funs
svcomp24-funs
November 22, 2023 11:11 33m 16s
Add missing fun defs from sv-benchmarks #1239 indentation #8696: Commit 4fa70bd pushed by karoliineh
November 22, 2023 11:11 2s svcomp24-funs
svcomp24-funs
November 22, 2023 11:11 2s
Add missing fun defs from sv-benchmarks #1239 options #6715: Commit 4fa70bd pushed by karoliineh
November 22, 2023 11:11 21s svcomp24-funs
svcomp24-funs
November 22, 2023 11:11 21s
Add missing fun defs from sv-benchmarks #1239 semgrep #8385: Commit 4fa70bd pushed by karoliineh
November 22, 2023 11:11 40s svcomp24-funs
svcomp24-funs
November 22, 2023 11:11 40s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned options #6714: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 15s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 15s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9042: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 29m 33s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 29m 33s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #841: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 13m 10s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 13m 10s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned indentation #8695: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 3m 22s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 3m 22s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned semgrep #8384: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 42s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 42s
Revert spurious changes to base.ml options #6713: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 19s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 19s
Revert spurious changes to base.ml locked #9041: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 25m 25s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 25m 25s
Revert spurious changes to base.ml indentation #8694: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 3m 7s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 3m 7s
Revert spurious changes to base.ml semgrep #8383: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 44s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 44s
Account for allocated heap memory which is unreachable from globals locked #9040: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 31m 18s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 31m 18s
Account for allocated heap memory which is unreachable from globals options #6712: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 21s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 21s
Account for allocated heap memory which is unreachable from globals indentation #8693: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 2m 52s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 2m 52s