Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
73 workflow run results
73 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1191 from goblint/final-errors docs #129: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 11m 34s master
master
September 29, 2023 09:12 11m 34s
Fix race in race_reach test for sv-benchmarks docs #128: Commit ee6dc36 pushed by sim642
September 29, 2023 08:40 10m 5s master
master
September 29, 2023 08:40 10m 5s
Merge pull request #1196 from mrstanb/fix-blobsize-query docs #127: Commit cb500ed pushed by sim642
September 28, 2023 10:45 10m 9s master
master
September 28, 2023 10:45 10m 9s
Add reachability timing docs #126: Commit dd2a70b pushed by sim642
September 28, 2023 09:41 10m 17s master
master
September 28, 2023 09:41 10m 17s
Add MemOOB to goblint_lib.ml (PR #1094) docs #125: Commit eb674b7 pushed by michael-schwarz
September 28, 2023 08:42 12m 16s master
master
September 28, 2023 08:42 12m 16s
Merge pull request #1094 from mrstanb/mem-oob-analysis docs #124: Commit 6701f5d pushed by michael-schwarz
September 28, 2023 08:37 19s master
master
September 28, 2023 08:37 19s
Merge pull request #1144 from goblint/queries-ad-cont docs #123: Commit f982bc9 pushed by sim642
September 27, 2023 13:45 11m 46s master
master
September 27, 2023 13:45 11m 46s
Fix pthread-lock-return test on OSX docs #122: Commit 7f9ec9a pushed by sim642
September 27, 2023 13:03 11m 45s master
master
September 27, 2023 13:03 11m 45s
Merge pull request #1176 from goblint/race-null docs #121: Commit 138a482 pushed by sim642
September 27, 2023 10:37 11m 56s master
master
September 27, 2023 10:37 11m 56s
Merge pull request #1174 from goblint/libfuns-concrat docs #120: Commit 631888e pushed by sim642
September 27, 2023 10:35 1m 48s master
master
September 27, 2023 10:35 1m 48s
Remove TODO annotations from passing checks docs #119: Commit eb97eca pushed by sim642
September 27, 2023 08:26 9m 54s master
master
September 27, 2023 08:26 9m 54s
Add eval_offset tracing docs #118: Commit 5347c08 pushed by sim642
September 26, 2023 08:22 10m 47s master
master
September 26, 2023 08:22 10m 47s
Add zstd unsound both branches dead test docs #117: Commit 810fab5 pushed by sim642
September 25, 2023 14:36 11m 51s master
master
September 25, 2023 14:36 11m 51s
Add eqd to TD3 tracing output docs #116: Commit 23a5d83 pushed by sim642
September 25, 2023 13:30 13m 30s master
master
September 25, 2023 13:30 13m 30s
Add region interprocedural fixpoint error test docs #115: Commit 16077e3 pushed by sim642
September 25, 2023 10:27 10m 21s master
master
September 25, 2023 10:27 10m 21s
Add more categories to unsound/imprecise call messages docs #114: Commit 70f267b pushed by sim642
September 25, 2023 07:36 10m 3s master
master
September 25, 2023 07:36 10m 3s
fix: copying of files to GobView in projects with subdirectories (#1143) docs #113: Commit 8336d28 pushed by michael-schwarz
September 23, 2023 14:38 10m 14s master
master
September 23, 2023 14:38 10m 14s
Fix trace calls outside of if tracing docs #112: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 11m 49s master
master
September 19, 2023 19:49 11m 49s
Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on… docs #111: Commit 0f59ac9 pushed by sim642
September 19, 2023 10:50 10m 34s master
master
September 19, 2023 10:50 10m 34s
Merge pull request #1173 from goblint/thread-self-create docs #110: Commit 8ec8c31 pushed by sim642
September 19, 2023 08:13 12m 43s master
master
September 19, 2023 08:13 12m 43s
Merge pull request #1172 from goblint/races_sjlj docs #109: Commit 851c6b3 pushed by michael-schwarz
September 18, 2023 14:10 12m 44s master
master
September 18, 2023 14:10 12m 44s
Merge pull request #1142 from goblint/queries-ad docs #108: Commit 3666c92 pushed by sim642
September 18, 2023 09:05 20m 57s master
master
September 18, 2023 09:05 20m 57s
Merge pull request #1167 from goblint/libfuns-zlib-lzma docs #107: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 3m 53s master
master
September 18, 2023 09:02 3m 53s
Fix Cilfacade.split_anoncomp_name for empty names (closes #1171) docs #106: Commit 1feb75e pushed by sim642
September 18, 2023 08:32 11m 16s master
master
September 18, 2023 08:32 11m 16s
Merge pull request #1170 from goblint/acc-record docs #105: Commit eb48502 pushed by sim642
September 15, 2023 08:04 10m 24s master
master
September 15, 2023 08:04 10m 24s