Skip to content

Actions: sipma/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 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
fix typo CI_mypy #546: Commit 966ab85 pushed by sipma
46s master
master
46s
fix typo CI_mypy #545: Commit 8cce735 pushed by sipma
29s arminstrs
arminstrs
29s
APP: add assembly-level callgraph CI_mypy #544: Commit f08b1b6 pushed by sipma
31s master
master
31s
APP: add assembly-level callgraph CI_mypy #543: Commit 970d891 pushed by sipma
46s arminstrs
arminstrs
46s
CMD: add functions-removed to save_cfg_info CI_mypy #542: Commit f31b0aa pushed by sipma
31s master
master
31s
Merge branch 'master' into codepcrefinement CI_mypy #541: Commit 6ada5d0 pushed by sipma
28s codepcrefinement
codepcrefinement
28s
REL: fix dict keys used in POs comparison CI_mypy #540: Commit 557b03e pushed by sipma
44s master
master
44s
CMD: add functions-removed to save_cfg_info CI_mypy #539: Commit 574f909 pushed by sipma
30s codepcrefinement
codepcrefinement
30s
revert a diagnostic back to an info message CI_mypy #538: Commit fa3eb38 pushed by sipma
35s diagnostics
diagnostics
35s
add diagnostic codes to error messages CI_mypy #537: Commit dff030e pushed by sipma
40s diagnostics
diagnostics
40s
CHB:ARM: fix BitwiseAnd CI_mypy #536: Commit a17bd05 pushed by sipma
30s master
master
30s
CHB:ARM: fix BitwiseAnd CI_mypy #535: Commit 0d3d40b pushed by sipma
44s predicatedinstructions
predicatedinstructions
44s
REP: expand proof obligations report CI_mypy #534: Commit e4c5ae2 pushed by sipma
34s master
master
34s
REP: expand proof obligations report CI_mypy #533: Commit d5d9436 pushed by sipma
32s relationalprepare
relationalprepare
32s
add predicates and frozen variable CI_mypy #532: Commit cd57112 pushed by sipma
36s master
master
36s
Merge branch 'static-analysis-engineering:master' into preconditions CI_mypy #531: Commit 8c99e19 pushed by sipma
40s preconditions
preconditions
40s
add predicates and frozen variable CI_mypy #530: Commit 5170d0a pushed by sipma
35s preconditions
preconditions
35s
Add rep. CI_mypy #529: Commit 508df09 pushed by sipma
30s master
master
30s
add option to add format strings to function output CI_mypy #528: Commit 5970939 pushed by sipma
40s master
master
40s
add option to add format strings to function output CI_mypy #527: Commit dbbd5c4 pushed by sipma
33s formatstrings
formatstrings
33s
APP: make formatstring specs available CI_mypy #526: Commit 383ec0b pushed by sipma
15m 36s master
master
15m 36s
APP: make formatstring specs available CI_mypy #525: Commit bb9a127 pushed by sipma
42s formatstrings
formatstrings
42s
add proof obligation for restricted output format CI_mypy #524: Commit 2b0370c pushed by sipma
33s master
master
33s
add proof obligation for restricted output format CI_mypy #523: Commit cc168dc pushed by sipma
35s restrictedformat
restrictedformat
35s
add xpo-predicate for trusted-os-cmd-fmt-arg-string CI_mypy #522: Commit 1fee390 pushed by sipma
39s master
master
39s