Skip to content

Actions: sipma/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 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
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
add xpo-predicate for trusted-os-cmd-fmt-arg-string CI_mypy #521: Commit da7eb95 pushed by sipma
29s attributes
attributes
29s
SUMMARIES: update function summaries CI_mypy #520: Commit 478e50a pushed by sipma
30s attributes
attributes
30s
API: update function semantics CI_mypy #519: Commit 4774a69 pushed by sipma
30s attributes
attributes
30s
Add JSON output for XBoolConstant. CI_mypy #518: Commit 9edd532 pushed by sipma
34s attributes
attributes
34s
Add JSON output for XBoolConstant. CI_mypy #517: Commit 9edd532 pushed by sipma
40s master
master
40s
REPORT: undo earlier commit CI_mypy #516: Commit 37f4526 pushed by sipma
34s master
master
34s
REPORT: undo earlier commit CI_mypy #515: Commit 646682f pushed by sipma
28s sscanfhandling
sscanfhandling
28s
Add check for intermediate analysis to ensure the arguments are a sta… CI_mypy #514: Commit 65c6df9 pushed by sipma
30s master
master
30s
CMD: add include_callees relational-prepare command CI_mypy #513: Commit fedae86 pushed by sipma
28s sscanfhandling
sscanfhandling
28s
JSON:add json result for side-effect variable CI_mypy #512: Commit c7639a6 pushed by sipma
35s sscanfhandling
sscanfhandling
35s