Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
476 workflow run results
476 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses options #6380: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 13:37 27s serenita:master
serenita:master
October 12, 2023 13:37 27s
TUM Practical Course Summer 2023: Termination Analyses options #6379: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 12:53 22s serenita:master
serenita:master
October 12, 2023 12:53 22s
SV-COMP "Memory Safety" benchmark additions options #6378: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:50 21s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:50 21s
Fix scripts/goblint-lib-modules.py options #6377: Commit 7ebf97e pushed by sim642
October 12, 2023 12:39 24s master
master
October 12, 2023 12:39 24s
SV-COMP "Memory Safety" benchmark additions options #6376: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:32 23s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:32 23s
Merge pull request #1206 from goblint/goblint-dune-libs options #6375: Commit 75b3883 pushed by sim642
October 12, 2023 12:20 22s master
master
October 12, 2023 12:20 22s
Organize some general modules into dune libraries options #6374: Pull request #1206 synchronize by sim642
October 12, 2023 12:18 18s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 18s
Merge branch 'master' into goblint-dune-libs options #6373: Commit 51b15c2 pushed by sim642
October 12, 2023 12:18 25s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 25s
Improve GobView build options #6372: Pull request #1215 opened by stilscher
October 12, 2023 11:30 17s improve-gobview-build
improve-gobview-build
October 12, 2023 11:30 17s
update gobview submodule options #6371: Commit 292262a pushed by stilscher
October 12, 2023 11:24 19s improve-gobview-build
improve-gobview-build
October 12, 2023 11:24 19s
Add hacky atomic protection privatization options #6370: Commit 1d05f0f pushed by sim642
October 12, 2023 10:01 22s priv-atomic
priv-atomic
October 12, 2023 10:01 22s
Top indices in mutex analysis options #6369: Commit a00ee57 pushed by sim642
October 12, 2023 09:11 22s mutex-top-indices
mutex-top-indices
October 12, 2023 09:11 22s
Use goblint library documentation page in Readthedocs options #6368: Commit 47cce4f pushed by sim642
October 12, 2023 08:41 20s goblint-dune-libs
goblint-dune-libs
October 12, 2023 08:41 20s
Use batteries.unthreaded everywhere to avoid Gobview exception options #6367: Commit 59462c3 pushed by sim642
October 12, 2023 07:52 23s goblint-dune-libs
goblint-dune-libs
October 12, 2023 07:52 23s
Temporarily reintroduce old unqualified directory structure inside co… options #6366: Commit 3281c74 pushed by sim642
October 11, 2023 14:55 19s goblint-dune-libs
goblint-dune-libs
October 11, 2023 14:55 19s
SV-COMP "Memory Safety" benchmark additions options #6365: Pull request #1201 synchronize by mrstanb
October 11, 2023 14:52 26s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 11, 2023 14:52 26s
Add names to region analysis domains options #6364: Commit d9afd55 pushed by sim642
October 11, 2023 12:09 25s master
master
October 11, 2023 12:09 25s
Fix library function duplicate check indentation (PR #1213) options #6363: Commit 5cc4811 pushed by sim642
October 10, 2023 14:47 18s master
master
October 10, 2023 14:47 18s
Add missing library functions for large Concrat benchmarks options #6362: Pull request #1212 synchronize by sim642
October 10, 2023 14:45 29s libfuns-concrat
libfuns-concrat
October 10, 2023 14:45 29s
Merge branch 'master' into libfuns-concrat options #6361: Commit a457854 pushed by sim642
October 10, 2023 14:45 24s libfuns-concrat
libfuns-concrat
October 10, 2023 14:45 24s
Merge pull request #1213 from goblint/libfuns-duplicate options #6360: Commit 7f631c6 pushed by sim642
October 10, 2023 14:38 19s master
master
October 10, 2023 14:38 19s
Merge pull request #1205 from goblint/libfuns-zstd options #6359: Commit c8019b8 pushed by sim642
October 10, 2023 14:37 29s master
master
October 10, 2023 14:37 29s
Fix memOutOfBounds indentation options #6358: Commit b96c010 pushed by sim642
October 10, 2023 14:37 26s master
master
October 10, 2023 14:37 26s
Add some missing library functions for concrat/sysbench options #6357: Commit 85ce4b2 pushed by sim642
October 10, 2023 11:53 21s libfuns-concrat
libfuns-concrat
October 10, 2023 11:53 21s
Null Byte Array Domain options #6356: Pull request #1076 synchronize by nathanschmidt
October 9, 2023 17:07 29s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
October 9, 2023 17:07 29s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.