Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
74 workflow run results
74 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve names of some global constraint variables docs #154: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 11m 56s master
master
October 20, 2023 10:39 11m 56s
Merge pull request #1186 from goblint/issue_1005 docs #153: Commit 53858f2 pushed by michael-schwarz
October 18, 2023 05:43 11m 28s master
master
October 18, 2023 05:43 11m 28s
Merge pull request #1210 from goblint/longjmp-top docs #152: Commit 2125370 pushed by sim642
October 16, 2023 14:44 11m 30s master
master
October 16, 2023 14:44 11m 30s
Add AnalysisStateUtil to goblint_lib.ml (#1201) docs #151: Commit fe36915 pushed by michael-schwarz
October 14, 2023 09:04 10m 10s master
master
October 14, 2023 09:04 10m 10s
Merge pull request #1201 from mrstanb/svcomp-memsafety-benchmarks docs #150: Commit ca6fcba pushed by michael-schwarz
October 14, 2023 07:44 21s master
master
October 14, 2023 07:44 21s
Fix scripts/goblint-lib-modules.py docs #149: Commit 7ebf97e pushed by sim642
October 12, 2023 12:38 10m 29s master
master
October 12, 2023 12:38 10m 29s
Merge pull request #1206 from goblint/goblint-dune-libs docs #148: Commit 75b3883 pushed by sim642
October 12, 2023 12:20 21s master
master
October 12, 2023 12:20 21s
Add names to region analysis domains docs #147: Commit d9afd55 pushed by sim642
October 11, 2023 12:09 14m 0s master
master
October 11, 2023 12:09 14m 0s
Fix library function duplicate check indentation (PR #1213) docs #146: Commit 5cc4811 pushed by sim642
October 10, 2023 14:47 13m 57s master
master
October 10, 2023 14:47 13m 57s
Merge pull request #1213 from goblint/libfuns-duplicate docs #145: Commit 7f631c6 pushed by sim642
October 10, 2023 14:38 9m 41s master
master
October 10, 2023 14:38 9m 41s
Merge pull request #1205 from goblint/libfuns-zstd docs #144: Commit c8019b8 pushed by sim642
October 10, 2023 14:37 48s master
master
October 10, 2023 14:37 48s
Fix memOutOfBounds indentation docs #143: Commit b96c010 pushed by sim642
October 10, 2023 14:37 30s master
master
October 10, 2023 14:37 30s
docs docs #142: by sim642
October 9, 2023 14:20 12m 51s master
master
October 9, 2023 14:20 12m 51s
Fix too broad try block in BaseInvariant docs #141: Commit 8468a5a pushed by sim642
October 9, 2023 09:13 10m 31s master
master
October 9, 2023 09:13 10m 31s
Extract cpp special path regex construction docs #140: Commit 093eb5e pushed by sim642
October 4, 2023 12:52 10m 22s master
master
October 4, 2023 12:52 10m 22s
Merge pull request #1202 from goblint/long_double_constant_warning docs #139: Commit 475f3bb pushed by michael-schwarz
October 4, 2023 11:52 13m 9s master
master
October 4, 2023 11:52 13m 9s
Port ~50 library specifications to the new system (#1200) docs #138: Commit a9f2bae pushed by michael-schwarz
October 4, 2023 09:17 10m 48s master
master
October 4, 2023 09:17 10m 48s
Add final message for exp.single-threaded docs #137: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 10m 26s master
master
October 2, 2023 14:05 10m 26s
Revert "Disable pins for v2.2.0 release" docs #136: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 11m 16s master
master
October 2, 2023 13:40 11m 16s
Merge pull request #1198 from goblint/race-ignorable docs #135: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 5m 12s master
master
October 2, 2023 13:35 5m 12s
Fix incorrect unlock in witness/tm-inv-transfer tests docs #134: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 1m 43s master
master
October 2, 2023 13:34 1m 43s
Simplify is_not_heap_alloc_var and add TODO docs #133: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 12m 14s master
master
October 2, 2023 07:37 12m 14s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check docs #132: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 10m 10s master
master
October 1, 2023 19:22 10m 10s
Merge pull request #1179 from mrstanb/stack-allocating-functions-prec… docs #131: Commit 55594a7 pushed by michael-schwarz
October 1, 2023 16:49 10m 3s master
master
October 1, 2023 16:49 10m 3s
Merge pull request #1123 from mrstanb/improve-uaf-analysis docs #130: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 10m 10s master
master
September 29, 2023 10:41 10m 10s