Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
58 workflow run results
58 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1210 from goblint/longjmp-top options #6394: Commit 2125370 pushed by sim642
October 16, 2023 14:44 21s master
master
October 16, 2023 14:44 21s
Fix longjmp crash on Uninitialized options #6393: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 23s longjmp-top
longjmp-top
October 16, 2023 14:37 23s
Mark longjmp-top reachability test as TODO options #6392: Commit 5948ca4 pushed by sim642
October 16, 2023 14:37 24s longjmp-top
longjmp-top
October 16, 2023 14:37 24s
Add AnalysisStateUtil to goblint_lib.ml (#1201) options #6391: Commit fe36915 pushed by michael-schwarz
October 14, 2023 09:04 21s master
master
October 14, 2023 09:04 21s
Merge pull request #1201 from mrstanb/svcomp-memsafety-benchmarks options #6390: Commit ca6fcba pushed by michael-schwarz
October 14, 2023 07:44 22s master
master
October 14, 2023 07:44 22s
Add Freiburg case_distinction_with_ghosts example options #6389: Commit b49bd3e pushed by sim642
October 13, 2023 14:29 28s priv-atomic-disjunctive
priv-atomic-disjunctive
October 13, 2023 14:29 28s
TUM Practical Course Summer 2023: Termination Analyses options #6388: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 23s serenita:master
serenita:master
October 12, 2023 15:05 23s
TUM Practical Course Summer 2023: Termination Analyses options #6387: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 24s serenita:master
serenita:master
October 12, 2023 14:55 24s
TUM Practical Course Summer 2023: Termination Analyses options #6386: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 30s serenita:master
serenita:master
October 12, 2023 14:42 30s
TUM Practical Course Summer 2023: Termination Analyses options #6385: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:39 19s serenita:master
serenita:master
October 12, 2023 14:39 19s
fix chromedriver version to avoid url not found error options #6384: Commit 2739567 pushed by stilscher
October 12, 2023 14:16 25s improve-gobview-build
improve-gobview-build
October 12, 2023 14:16 25s
Add some hacky atomic privatizations options #6383: Pull request #1216 opened by sim642
October 12, 2023 14:13 19s priv-atomic
priv-atomic
October 12, 2023 14:13 19s
Add hacky atomic relation mutex-meet privatization options #6382: Commit b60e836 pushed by sim642
October 12, 2023 13:48 24s priv-atomic
priv-atomic
October 12, 2023 13:48 24s
TUM Practical Course Summer 2023: Termination Analyses options #6381: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 13:42 21s serenita:master
serenita:master
October 12, 2023 13:42 21s
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