Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
801 workflow run results
801 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve SV-COMP conf for no-data-race semgrep #8007: Pull request #1207 opened by sim642
October 5, 2023 14:46 57s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 57s
Improve SV-COMP conf for no-data-race coverage #608: Pull request #1207 opened by sim642
October 5, 2023 14:46 19m 40s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 19m 40s
Improve SV-COMP conf for no-data-race locked #8616: Pull request #1207 opened by sim642
October 5, 2023 14:46 38m 42s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 38m 42s
Improve SV-COMP conf for no-data-race options #6336: Pull request #1207 opened by sim642
October 5, 2023 14:46 22s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 22s
Improve SV-COMP conf for no-data-race indentation #8317: Pull request #1207 opened by sim642
October 5, 2023 14:46 3s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 3s
Add option ana.race.call locked #8615: Commit 94307d0 pushed by sim642
October 5, 2023 14:28 39m 21s svcomp24-conf
svcomp24-conf
October 5, 2023 14:28 39m 21s
Add option ana.race.call options #6335: Commit 94307d0 pushed by sim642
October 5, 2023 14:28 29s svcomp24-conf
svcomp24-conf
October 5, 2023 14:28 29s
Add option ana.race.call indentation #8316: Commit 94307d0 pushed by sim642
October 5, 2023 14:28 7m 1s svcomp24-conf
svcomp24-conf
October 5, 2023 14:28 7m 1s
Add option ana.race.call semgrep #8006: Commit 94307d0 pushed by sim642
October 5, 2023 14:28 49s svcomp24-conf
svcomp24-conf
October 5, 2023 14:28 49s
Organize some general modules into dune libraries locked #8614: Pull request #1206 opened by sim642
October 5, 2023 13:35 32m 25s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 32m 25s
Organize some general modules into dune libraries semgrep #8005: Pull request #1206 opened by sim642
October 5, 2023 13:35 56s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 56s
Organize some general modules into dune libraries indentation #8315: Pull request #1206 opened by sim642
October 5, 2023 13:35 2s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 2s
Organize some general modules into dune libraries coverage #607: Pull request #1206 opened by sim642
October 5, 2023 13:35 20m 11s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 20m 11s
Organize some general modules into dune libraries options #6334: Pull request #1206 opened by sim642
October 5, 2023 13:35 23s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 23s
SV-COMP "Memory Safety" benchmark additions indentation #8314: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 6m 54s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 6m 54s
SV-COMP "Memory Safety" benchmark additions semgrep #8004: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 48s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 48s
SV-COMP "Memory Safety" benchmark additions coverage #606: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 28m 17s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 28m 17s
SV-COMP "Memory Safety" benchmark additions locked #8613: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 34m 7s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 34m 7s
SV-COMP "Memory Safety" benchmark additions options #6333: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 30s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 30s
Extract widely used modules to common dune library options #6332: Commit d723fde pushed by sim642
October 5, 2023 12:48 23s goblint-dune-libs
goblint-dune-libs
October 5, 2023 12:48 23s
Extract widely used modules to common dune library semgrep #8003: Commit d723fde pushed by sim642
October 5, 2023 12:48 51s goblint-dune-libs
goblint-dune-libs
October 5, 2023 12:48 51s
Extract widely used modules to common dune library indentation #8313: Commit d723fde pushed by sim642
October 5, 2023 12:48 4m 11s goblint-dune-libs
goblint-dune-libs
October 5, 2023 12:48 4m 11s
Extract widely used modules to common dune library locked #8612: Commit d723fde pushed by sim642
October 5, 2023 12:48 34m 51s goblint-dune-libs
goblint-dune-libs
October 5, 2023 12:48 34m 51s
SV-COMP "Memory Safety" benchmark additions coverage #605: Pull request #1201 synchronize by mrstanb
October 5, 2023 12:04 26m 22s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 12:04 26m 22s
SV-COMP "Memory Safety" benchmark additions locked #8611: Pull request #1201 synchronize by mrstanb
October 5, 2023 12:04 31m 26s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 12:04 31m 26s