Skip to content

Actions: static-analysis-engineering/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ARM: add support for tail call returning a value (Issue:223) CI_mypy #444: Commit 4687988 pushed by sipma
June 9, 2025 08:34 40s master
master
June 9, 2025 08:34 40s
Functionnames CI_mypy #443: Pull request #224 opened by sipma
June 9, 2025 08:20 41s sipma:functionnames
sipma:functionnames
June 9, 2025 08:20 41s
Update README for dune-built CodeHawk CI_mypy #442: Commit 7954122 pushed by sipma
June 2, 2025 16:43 31s master
master
June 2, 2025 16:43 31s
initial support for sourcemap CI_mypy #441: Commit eaed5a5 pushed by sipma
May 21, 2025 18:45 1m 33s master
master
May 21, 2025 18:45 1m 33s
Liftingsupport CI_mypy #440: Pull request #222 opened by sipma
May 21, 2025 18:38 33s sipma:liftingsupport
sipma:liftingsupport
May 21, 2025 18:38 33s
Update README for dune-built CodeHawk CI_mypy #439: Pull request #221 synchronize by brk
May 8, 2025 09:38 46s brk:standardize-on-dune
brk:standardize-on-dune
May 8, 2025 09:38 46s
Update README for dune-built CodeHawk CI_mypy #438: Pull request #221 synchronize by brk
May 3, 2025 11:57 28s brk:standardize-on-dune
brk:standardize-on-dune
May 3, 2025 11:57 28s
Update README for dune-built CodeHawk CI_mypy #437: Pull request #221 synchronize by brk
May 2, 2025 22:17 29s brk:standardize-on-dune
brk:standardize-on-dune
May 2, 2025 22:17 29s
Update README for dune-built CodeHawk CI_mypy #436: Pull request #221 opened by brk
May 2, 2025 20:32 39s brk:standardize-on-dune
brk:standardize-on-dune
May 2, 2025 20:32 39s
ARM:ASTI: add lifting support for LDMIB CI_mypy #435: Commit 12b16c3 pushed by sipma
May 2, 2025 18:56 31s master
master
May 2, 2025 18:56 31s
ARM:ASTI: add lifting support for LDMIB CI_mypy #434: Pull request #219 opened by sipma
May 2, 2025 18:26 28s sipma:liftingsupport
sipma:liftingsupport
May 2, 2025 18:26 28s
update summaries fail to remove __assert_fail summary CI_mypy #433: Commit 6873856 pushed by sipma
April 28, 2025 18:16 30s master
master
April 28, 2025 18:16 30s
Update summaries fail to remove __assert_fail summary CI_mypy #432: Pull request #213 opened by waskyo
April 28, 2025 17:30 46s waskyo:remove_assert_fail_summary
waskyo:remove_assert_fail_summary
April 28, 2025 17:30 46s
REL: replace print stmts with warnings CI_mypy #431: Commit caf94a0 pushed by sipma
April 21, 2025 08:34 1m 6s master
master
April 21, 2025 08:34 1m 6s
Liftingsupport CI_mypy #430: Pull request #212 opened by sipma
April 21, 2025 08:31 42s sipma:liftingsupport
sipma:liftingsupport
April 21, 2025 08:31 42s
ASTI: more lifting support CI_mypy #429: Commit 573a97d pushed by sipma
April 18, 2025 08:13 34s master
master
April 18, 2025 08:13 34s
Liftingsupport CI_mypy #428: Pull request #211 opened by sipma
April 18, 2025 08:09 29s sipma:liftingsupport
sipma:liftingsupport
April 18, 2025 08:09 29s
GITHUB: upgrade mypy action to 22.04 CI_mypy #427: Commit 707c440 pushed by sipma
April 15, 2025 22:11 32s master
master
April 15, 2025 22:11 32s
Liftingsupport CI_mypy #426: Pull request #210 opened by sipma
April 15, 2025 20:31 32s sipma:liftingsupport
sipma:liftingsupport
April 15, 2025 20:31 32s
XXPR: add support for baseptr array index offset CI_mypy #425: Commit ef75640 pushed by sipma
April 3, 2025 19:38 29s master
master
April 3, 2025 19:38 29s
Liftingsupport CI_mypy #424: Pull request #209 opened by sipma
April 3, 2025 19:06 49s sipma:liftingsupport
sipma:liftingsupport
April 3, 2025 19:06 49s
update bchsummaries.jar with the latest contents of codehawk/CHB/bchs… CI_mypy #423: Commit cdc109f pushed by sipma
March 19, 2025 15:45 34s master
master
March 19, 2025 15:45 34s
update bchsummaries.jar with the latest contents of codehawk/CHB/bchsummaries CI_mypy #422: Pull request #208 opened by waskyo
March 19, 2025 15:26 50s waskyo:update_bch_summaries
waskyo:update_bch_summaries
March 19, 2025 15:26 50s
ARM:STM: update astprov for error values CI_mypy #421: Commit 7eae864 pushed by sipma
March 19, 2025 06:51 33s master
master
March 19, 2025 06:51 33s
Liftingsupport CI_mypy #420: Pull request #207 opened by sipma
March 19, 2025 06:28 49s sipma:liftingsuppoart
sipma:liftingsuppoart
March 19, 2025 06:28 49s