Skip to content

Actions: camelot-os/sentry-kernel

Actions

Sentry kernel proof with Frama-C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
457 workflow runs
457 workflow runs

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 device labeling Sentry kernel proof with Frama-C #407: Pull request #102 synchronize by PThierry
5m 22s PThierry:fix-device-labeling
PThierry:fix-device-labeling
5m 22s
Fix device labeling Sentry kernel proof with Frama-C #406: Pull request #102 synchronize by PThierry
3m 7s PThierry:fix-device-labeling
PThierry:fix-device-labeling
3m 7s
Fix device labeling Sentry kernel proof with Frama-C #405: Pull request #102 opened by PThierry
2m 8s PThierry:fix-device-labeling
PThierry:fix-device-labeling
2m 8s
Framac-based coverage support for SonarQube Sentry kernel proof with Frama-C #404: Pull request #101 synchronize by PThierry
11m 23s PThierry:framac-coverage
PThierry:framac-coverage
11m 23s
Framac-based coverage support for SonarQube Sentry kernel proof with Frama-C #403: Pull request #101 opened by PThierry
11m 41s PThierry:framac-coverage
PThierry:framac-coverage
11m 41s
Merge pull request #100 from PThierry/fix-framac-deprecated Sentry kernel proof with Frama-C #402: Commit bb1159a pushed by PThierry
11m 30s main
main
11m 30s
proof: fixing deprecated empty_block() Frama-C predicate with valid_or_empty() Sentry kernel proof with Frama-C #401: Pull request #100 opened by PThierry
11m 36s PThierry:fix-framac-deprecated
PThierry:fix-framac-deprecated
11m 36s
uapi,posix: initial POSIX support for UAPI Sentry kernel proof with Frama-C #400: Pull request #99 synchronize by PThierry
11m 37s PThierry:uapi-for-posix
PThierry:uapi-for-posix
11m 37s
uapi,posix: initial POSIX support for UAPI Sentry kernel proof with Frama-C #399: Pull request #99 opened by PThierry
11m 29s PThierry:uapi-for-posix
PThierry:uapi-for-posix
11m 29s
Merge pull request #98 from fvalette/hotfix/fix-initial-stack-frame-e… Sentry kernel proof with Frama-C #398: Commit a4c7bba pushed by PThierry
11m 14s main
main
11m 14s
asm,cortex-m: fix initial EXC_RETURN value Sentry kernel proof with Frama-C #397: Pull request #98 opened by fvalette
11m 18s fvalette:hotfix/fix-initial-stack-frame-exception-return-value
fvalette:hotfix/fix-initial-stack-frame-exception-return-value
11m 18s
proof: starting support for e-acsl runtime assertion as advanced security mode Sentry kernel proof with Frama-C #396: Pull request #34 synchronize by PThierry
11m 16s PThierry:functional-proof/e-acsl-support
PThierry:functional-proof/e-acsl-support
11m 16s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #395: Pull request #97 synchronize by PThierry
11m 1s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 1s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #394: Pull request #97 synchronize by PThierry
11m 4s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 4s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #393: Pull request #97 synchronize by PThierry
11m 28s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 28s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #392: Pull request #97 synchronize by PThierry
9m 25s PThierry:ci-e2e-test
PThierry:ci-e2e-test
9m 25s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #391: Pull request #97 synchronize by PThierry
11m 24s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 24s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #390: Pull request #97 synchronize by PThierry
11m 10s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 10s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #389: Pull request #97 synchronize by PThierry
11m 23s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 23s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #388: Pull request #97 synchronize by PThierry
10m 10s PThierry:ci-e2e-test
PThierry:ci-e2e-test
10m 10s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #387: Pull request #97 synchronize by PThierry
7m 37s PThierry:ci-e2e-test
PThierry:ci-e2e-test
7m 37s
ci: adding e2e tests allowing sentry build run tests using slab emulation Sentry kernel proof with Frama-C #386: Pull request #97 opened by PThierry
11m 22s PThierry:ci-e2e-test
PThierry:ci-e2e-test
11m 22s
Merge pull request #89 from PThierry/proof-disjoint-app-regions-mapping Sentry kernel proof with Frama-C #385: Commit 453d17d pushed by PThierry
11m 20s main
main
11m 20s
proof: demonstrate that regions do not overlap and are disjoint Sentry kernel proof with Frama-C #384: Pull request #89 synchronize by PThierry
11m 26s PThierry:proof-disjoint-app-regions-mapping
PThierry:proof-disjoint-app-regions-mapping
11m 26s
proof: demonstrate that regions do not overlap and are disjoint Sentry kernel proof with Frama-C #383: Pull request #89 synchronize by PThierry
11m 11s PThierry:proof-disjoint-app-regions-mapping
PThierry:proof-disjoint-app-regions-mapping
11m 11s