Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
70 workflow run results
70 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1255 from goblint/autotune_termination_spec docs #175: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 7m 55s master
master
November 19, 2023 17:01 7m 55s
unlocked: Only test termination in config with Apron (References #1093) docs #174: Commit 116916a pushed by michael-schwarz
November 19, 2023 15:14 7m 54s master
master
November 19, 2023 15:14 7m 54s
Avoid creating unneeded Task module which may not be set in `is_error… docs #173: Commit 1f4d8be pushed by michael-schwarz
November 19, 2023 00:30 8m 6s master
master
November 19, 2023 00:30 8m 6s
Merge pull request #1093 from serenita/master docs #172: Commit a40f2cf pushed by michael-schwarz
November 18, 2023 09:00 7m 39s master
master
November 18, 2023 09:00 7m 39s
Merge pull request #1240 from goblint/yaml-witness-2.0 docs #171: Commit 97ab0b6 pushed by sim642
November 17, 2023 12:09 8m 2s master
master
November 17, 2023 12:09 8m 2s
Merge pull request #1247 from goblint/region-escape-svcomp docs #170: Commit ca46852 pushed by sim642
November 17, 2023 12:07 1m 57s master
master
November 17, 2023 12:07 1m 57s
Merge pull request #1234 from goblint/path_sens_memleak docs #169: Commit 03e17b6 pushed by michael-schwarz
November 9, 2023 10:21 11m 56s master
master
November 9, 2023 10:21 11m 56s
Merge pull request #1242 from goblint/issue_1239 docs #168: Commit d47e429 pushed by michael-schwarz
November 9, 2023 10:20 1m 14s master
master
November 9, 2023 10:20 1m 14s
Merge pull request #1236 from goblint/issue-1235 docs #167: Commit 3fd60ec pushed by sim642
November 6, 2023 15:10 12m 28s master
master
November 6, 2023 15:10 12m 28s
Merge pull request #1187 from goblint/issue_843 docs #166: Commit 5f4f94b pushed by michael-schwarz
November 2, 2023 09:08 7m 59s master
master
November 2, 2023 09:08 7m 59s
Merge pull request #1230 from goblint/issue_1223 docs #165: Commit 808e91d pushed by michael-schwarz
November 2, 2023 09:05 3m 48s master
master
November 2, 2023 09:05 3m 48s
Refactor Access.may_race with match docs #164: Commit c42ec6b pushed by sim642
November 2, 2023 09:03 1m 45s master
master
November 2, 2023 09:03 1m 45s
Merge pull request #1228 from goblint/sv-comp-multiproperty docs #163: Commit 417d5d3 pushed by sim642
November 2, 2023 08:06 11m 6s master
master
November 2, 2023 08:06 11m 6s
Merge pull request #1226 from goblint/sv-comp-yaml docs #162: Commit 8aaa9d0 pushed by sim642
November 2, 2023 08:02 4m 44s master
master
November 2, 2023 08:02 4m 44s
Separate memsafetySpecification autotuner and enable in svcomp conf docs #161: Commit 6131273 pushed by sim642
October 31, 2023 14:10 11m 29s master
master
October 31, 2023 14:10 11m 29s
Don't output trivial congruence invariant (closes #1218) docs #160: Commit a2a4fa2 pushed by sim642
October 30, 2023 15:11 11m 34s master
master
October 30, 2023 15:11 11m 34s
Fix accident in 20 10 test docs #159: Commit 2c0a08f pushed by karoliineh
October 29, 2023 18:14 10m 10s master
master
October 29, 2023 18:14 10m 10s
Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c docs #158: Commit 6899d44 pushed by karoliineh
October 27, 2023 12:14 9m 52s master
master
October 27, 2023 12:14 9m 52s
Merge pull request #1212 from goblint/libfuns-concrat docs #157: Commit 5a35656 pushed by sim642
October 26, 2023 08:18 12m 39s master
master
October 26, 2023 08:18 12m 39s
Merge pull request #1222 from goblint/dependabot/github_actions/actio… docs #156: Commit 03131eb pushed by sim642
October 26, 2023 08:12 7m 12s master
master
October 26, 2023 08:12 7m 12s
Fix smtprc-tid unsoundness docs #155: Commit 2a958bd pushed by sim642
October 26, 2023 07:29 11m 13s master
master
October 26, 2023 07:29 11m 13s
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