Skip to content

Actions: static-analysis-engineering/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
update version CI_mypy #464: Commit 9d3fea2 pushed by sipma
44s master
master
44s
Patchedast CI_mypy #463: Pull request #234 opened by sipma
43s sipma:patchedast
sipma:patchedast
43s
USER: add option to remove reaching definitions to userdata CI_mypy #462: Commit 1490b3a pushed by sipma
30s master
master
30s
Reachingdefinitions CI_mypy #461: Pull request #233 opened by sipma
44s sipma:reachingdefinitions
sipma:reachingdefinitions
44s
ARM: use c expression in switch condition CI_mypy #460: Commit d53121c pushed by sipma
45s master
master
45s
ARM: use c expression in switch condition CI_mypy #459: Pull request #232 opened by sipma
49s sipma:stackvariables
sipma:stackvariables
49s
MIPS: opcode classes for trap instructions CI_mypy #458: Commit 6ca4f34 pushed by sipma
41s master
master
41s
MIPS: opcode classes for trap instructions CI_mypy #457: Pull request #231 opened by sipma
40s sipma:mipsinstructions
sipma:mipsinstructions
40s
TEST: update test results for change in handling stack variables CI_mypy #456: Commit 941aaea pushed by sipma
31s master
master
31s
Pirexamples CI_mypy #455: Pull request #230 opened by sipma
41s sipma:pirexamples
sipma:pirexamples
41s
AST: add predicated property to branch statement CI_mypy #454: Commit 340d9e5 pushed by sipma
37s master
master
37s
Pirinspector CI_mypy #453: Pull request #229 opened by sipma
42s sipma:pirinspector
sipma:pirinspector
42s
USER: add option to enable/disable typing rules to userdata CI_mypy #452: Commit 6bf1cc2 pushed by sipma
42s master
master
42s
Liftingarm CI_mypy #451: Pull request #228 opened by sipma
28s sipma:liftingarm
sipma:liftingarm
28s
fix typo CI_mypy #450: Commit 1d210f6 pushed by sipma
30s master
master
30s
Liftingarm CI_mypy #449: Pull request #227 opened by sipma
29s sipma:liftingarm
sipma:liftingarm
29s
fix mypy error CI_mypy #448: Commit 2fb16ba pushed by sipma
38s master
master
38s
Liftingarm CI_mypy #447: Pull request #226 opened by sipma
32s sipma:liftingarm
sipma:liftingarm
32s
ARM: updates for result types / c expressions CI_mypy #446: Commit 8c871a4 pushed by sipma
30s master
master
30s
Armdisassembly CI_mypy #445: Pull request #225 opened by sipma
30s sipma:armdisassembly
sipma:armdisassembly
30s
ARM: add support for tail call returning a value (Issue:223) CI_mypy #444: Commit 4687988 pushed by sipma
40s master
master
40s
Functionnames CI_mypy #443: Pull request #224 opened by sipma
41s sipma:functionnames
sipma:functionnames
41s
Update README for dune-built CodeHawk CI_mypy #442: Commit 7954122 pushed by sipma
31s master
master
31s
initial support for sourcemap CI_mypy #441: Commit eaed5a5 pushed by sipma
1m 33s master
master
1m 33s
Liftingsupport CI_mypy #440: Pull request #222 opened by sipma
33s sipma:liftingsupport
sipma:liftingsupport
33s