Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
26 workflow run results
26 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use opam 2.0 compatible switch create (closes #1133) docs #90: Commit ee31392 pushed by sim642
September 12, 2023 11:19 10m 15s master
master
September 12, 2023 11:19 10m 15s
Merge pull request #1160 from goblint/benchmarking-docs docs #89: Commit 256ca95 pushed by sim642
September 12, 2023 11:05 10m 35s master
master
September 12, 2023 11:05 10m 35s
Merge pull request #1154 from goblint/issue_1153 docs #88: Commit 037e9ce pushed by michael-schwarz
September 12, 2023 07:53 19m 11s master
master
September 12, 2023 07:53 19m 11s
Merge pull request #1138 from goblint/libfuns-silver-searcher docs #87: Commit 834782e pushed by sim642
September 12, 2023 07:47 6m 12s master
master
September 12, 2023 07:47 6m 12s
Merge pull request #1136 from goblint/access-distr-outer docs #86: Commit 8c8fd28 pushed by sim642
September 12, 2023 07:45 1m 43s master
master
September 12, 2023 07:45 1m 43s
Fix Calloc indentation in base docs #85: Commit 70cd4e8 pushed by sim642
September 12, 2023 07:36 9m 38s master
master
September 12, 2023 07:36 9m 38s
Merge pull request #1157 from edwintorok/bounds docs #84: Commit e7aacc1 pushed by sim642
September 11, 2023 14:58 17m 13s master
master
September 11, 2023 14:58 17m 13s
Fix deprecated File.exists? in update_suite.rb docs #83: Commit 1128aba pushed by sim642
September 11, 2023 12:30 10m 29s master
master
September 11, 2023 12:30 10m 29s
Add CHANGELOG for v2.2.0 docs #82: Commit f2b002d pushed by sim642
September 11, 2023 11:31 12m 14s master
master
September 11, 2023 11:31 12m 14s
Add missing thread-unsafe functions to LibraryFunctions (closes #723) docs #81: Commit d3ec617 pushed by sim642
September 11, 2023 08:50 12m 15s master
master
September 11, 2023 08:50 12m 15s
Fix YAML witness unassume indentation (PR #1124) docs #80: Commit d97504b pushed by sim642
September 7, 2023 13:13 7m 57s master
master
September 7, 2023 13:13 7m 57s
Merge pull request #1124 from goblint/yaml-witness-unassume-bench docs #79: Commit b80c7d3 pushed by sim642
September 5, 2023 10:37 8m 7s master
master
September 5, 2023 10:37 8m 7s
Merge pull request #1149 from goblint/dependabot/github_actions/actio… docs #78: Commit fdc79a6 pushed by sim642
September 5, 2023 08:36 8m 39s master
master
September 5, 2023 08:36 8m 39s
Fix semgrep 1.38 compatibility docs #77: Commit b55afa6 pushed by sim642
September 1, 2023 10:05 8m 13s master
master
September 1, 2023 10:05 8m 13s
Merge pull request #1139 from mrstanb/detect-deallocation-at-offset docs #76: Commit 1da8e97 pushed by michael-schwarz
August 22, 2023 12:01 9m 24s master
master
August 22, 2023 12:01 9m 24s
Add goblint-lib-modules.py to docs workflow docs #75: Commit a135dea pushed by sim642
August 18, 2023 09:55 7m 38s master
master
August 18, 2023 09:55 7m 38s
Merge pull request #1127 from mrstanb/memleak-analysis docs #74: Commit 69ee716 pushed by michael-schwarz
August 16, 2023 08:49 7m 43s master
master
August 16, 2023 08:49 7m 43s
Merge pull request #1082 from goblint/thread-unsafe-funs docs #73: Commit b52da13 pushed by sim642
August 15, 2023 07:45 8m 2s master
master
August 15, 2023 07:45 8m 2s
Add local widen/narrow example from A²I paper docs #72: Commit b1b710e pushed by sim642
August 14, 2023 07:57 10m 14s master
master
August 14, 2023 07:57 10m 14s
Merge pull request #1135 from mrstanb/support-quick-exit docs #71: Commit 1be70e1 pushed by michael-schwarz
August 11, 2023 06:34 9m 20s master
master
August 11, 2023 06:34 9m 20s
Merge pull request #1125 from mrstanb/fix-blobsize docs #70: Commit f47d983 pushed by michael-schwarz
August 10, 2023 06:28 10m 9s master
master
August 10, 2023 06:28 10m 9s
Fix FloatDomain whitespace (PR #1041) docs #69: Commit f2b7d1c pushed by sim642
August 4, 2023 14:24 8m 5s master
master
August 4, 2023 14:24 8m 5s
Merge pull request #1041 from FelixKrayer/tmpSpecial docs #68: Commit 5614dd3 pushed by michael-schwarz
August 4, 2023 12:08 8m 6s master
master
August 4, 2023 12:08 8m 6s
Merge pull request #1079 from goblint/libfuns-spec docs #67: Commit babc881 pushed by sim642
August 3, 2023 12:14 9m 6s master
master
August 3, 2023 12:14 9m 6s
Merge pull request #1099 from mrstanb/handle-free-of-stack-mem docs #66: Commit d85c72e pushed by michael-schwarz
July 31, 2023 07:59 7m 52s master
master
July 31, 2023 07:59 7m 52s