Skip to content

Actions: static-analysis-engineering/codehawk

Actions

Build and deploy odoc documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CHB: add more type constraints Build and deploy odoc documentation #70: Commit 34c7332 pushed by sipma
December 19, 2024 10:36 3m 55s master
master
December 19, 2024 10:36 3m 55s
CHB:ARM: convert xdata voidpointer return type Build and deploy odoc documentation #69: Commit 5cf8b3b pushed by sipma
December 18, 2024 09:49 7m 4s master
master
December 18, 2024 09:49 7m 4s
CIL: update for Nov 27 goblint-cil opam update Build and deploy odoc documentation #68: Commit 0dd98d4 pushed by sipma
December 2, 2024 20:18 3m 43s master
master
December 2, 2024 20:18 3m 43s
CHB:ARM: disable hearistic for finding non-returning functions Build and deploy odoc documentation #67: Commit ee95371 pushed by sipma
November 27, 2024 19:10 6m 53s master
master
November 27, 2024 19:10 6m 53s
CHB: remove unused variables Build and deploy odoc documentation #66: Commit 5dfac12 pushed by sipma
November 20, 2024 06:24 3m 51s master
master
November 20, 2024 06:24 3m 51s
CHB: create def-use from reachingdefs Build and deploy odoc documentation #65: Commit accbbfd pushed by sipma
November 19, 2024 08:46 3m 39s master
master
November 19, 2024 08:46 3m 39s
CHB: remove initial register values from use-high Build and deploy odoc documentation #64: Commit 44b0fa8 pushed by sipma
November 13, 2024 03:25 3m 42s master
master
November 13, 2024 03:25 3m 42s
CHB:ARM: exclude stack pointer from def-use-high Build and deploy odoc documentation #63: Commit 946437f pushed by sipma
November 12, 2024 20:05 3m 54s master
master
November 12, 2024 20:05 3m 54s
CHT:ARM: update unit test for BNE Build and deploy odoc documentation #62: Commit 277e79e pushed by sipma
November 12, 2024 08:52 7m 2s master
master
November 12, 2024 08:52 7m 2s
CHB: roll over base address and add error-handling Build and deploy odoc documentation #61: Commit 0f39a00 pushed by sipma
November 3, 2024 09:39 6m 50s master
master
November 3, 2024 09:39 6m 50s
GH: use higher version of ocaml for github actions Build and deploy odoc documentation #60: Commit e2ae06a pushed by sipma
October 21, 2024 17:21 3m 45s master
master
October 21, 2024 17:21 3m 45s
CHB:ARM: add conditional expression for CMN Build and deploy odoc documentation #59: Commit 85c386c pushed by sipma
October 15, 2024 19:45 3m 58s master
master
October 15, 2024 19:45 3m 58s
CHC: add external state variable Build and deploy odoc documentation #58: Commit 0a72636 pushed by sipma
October 14, 2024 08:19 3m 53s master
master
October 14, 2024 08:19 3m 53s
CHB: fix unused field warnings Build and deploy odoc documentation #57: Commit b490121 pushed by sipma
October 7, 2024 07:43 3m 36s master
master
October 7, 2024 07:43 3m 36s
CHB:ARM add some memory resolution Build and deploy odoc documentation #56: Commit a3a176c pushed by sipma
October 5, 2024 23:02 3m 37s master
master
October 5, 2024 23:02 3m 37s
CHB:FSUM: remove lhsnames from summaries Build and deploy odoc documentation #55: Commit 80a36bb pushed by sipma
October 4, 2024 04:42 6m 34s master
master
October 4, 2024 04:42 6m 34s
CHB: restore def-use Build and deploy odoc documentation #54: Commit 66f2600 pushed by sipma
September 25, 2024 08:09 6m 31s master
master
September 25, 2024 08:09 6m 31s
CHC: fix for regression-test failure Build and deploy odoc documentation #53: Commit 7d5372d pushed by sipma
September 16, 2024 20:58 3m 44s master
master
September 16, 2024 20:58 3m 44s
Don't assume that struct types have at least one field Build and deploy odoc documentation #52: Commit 6a2ab91 pushed by sipma
September 13, 2024 04:31 3m 48s master
master
September 13, 2024 04:31 3m 48s
CHC: fix memory variable creation Build and deploy odoc documentation #51: Commit 31c49f2 pushed by sipma
September 6, 2024 18:52 3m 38s master
master
September 6, 2024 18:52 3m 38s
CHJ: fix warnings and reformat Build and deploy odoc documentation #50: Commit 824f950 pushed by sipma
September 4, 2024 20:40 3m 38s master
master
September 4, 2024 20:40 3m 38s
CHB: add updated writeback semantics Build and deploy odoc documentation #49: Commit 21e3f77 pushed by sipma
August 31, 2024 00:00 3m 51s master
master
August 31, 2024 00:00 3m 51s
CHB: fix dune warnings Build and deploy odoc documentation #48: Commit 91fef9b pushed by sipma
August 30, 2024 06:54 6m 34s master
master
August 30, 2024 06:54 6m 34s
CHT: update type-constraint unit tests Build and deploy odoc documentation #47: Commit 1c78d40 pushed by sipma
August 10, 2024 23:22 6m 52s master
master
August 10, 2024 23:22 6m 52s
Also fix C analyzer for goblint-cil 2.0.4 Build and deploy odoc documentation #46: Commit 286fa91 pushed by sipma
August 2, 2024 17:01 6m 57s master
master
August 2, 2024 17:01 6m 57s