Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
163 workflow run results
163 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add CHANGELOG for v2.2.1 docs #104: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 11m 8s master
master
September 13, 2023 12:20 11m 8s
Remove -p in 70-transform/02-deadcode.t due to OSX docs #103: Commit 833d90d pushed by sim642
September 13, 2023 12:16 5m 9s master
master
September 13, 2023 12:16 5m 9s
Fix deprecated tail syntax in 70-transform/02-deadcode.t docs #102: Commit 1a731fd pushed by sim642
September 13, 2023 12:11 5m 31s master
master
September 13, 2023 12:11 5m 31s
Bump batteries lower bound to 3.5.0 docs #101: Commit 246c999 pushed by sim642
September 13, 2023 11:45 10m 10s master
master
September 13, 2023 11:45 10m 10s
Disable pins for v2.2.0 release docs #100: Commit b46aeda pushed by sim642
September 13, 2023 08:32 38m 22s master
master
September 13, 2023 08:32 38m 22s
Finalize v2.2.0 CHANGELOG docs #99: Commit 336c5ff pushed by sim642
September 13, 2023 08:27 5m 48s master
master
September 13, 2023 08:27 5m 48s
Merge pull request #1162 from goblint/ocaml-5-apron-compat docs #98: Commit 8f4a6a9 pushed by sim642
September 13, 2023 08:19 7m 56s master
master
September 13, 2023 08:19 7m 56s
Merge pull request #1161 from goblint/issue_1156 docs #97: Commit e58b952 pushed by sim642
September 13, 2023 08:18 1m 37s master
master
September 13, 2023 08:18 1m 37s
Update releasing documentation about Zenodo webhook docs #96: Commit 8440ff0 pushed by sim642
September 13, 2023 08:08 9m 31s master
master
September 13, 2023 08:08 9m 31s
Replace goblint-cil pin with published 2.0.2 docs #95: Commit bef3c54 pushed by sim642
September 13, 2023 07:43 10m 7s master
master
September 13, 2023 07:43 10m 7s
Merge pull request #1166 from goblint/dependabot/github_actions/docke… docs #94: Commit f7bb5e7 pushed by sim642
September 13, 2023 07:23 12m 45s master
master
September 13, 2023 07:23 12m 45s