Skip to content

Actions: outpost-os/sentry-kernel

Actions

Sentry kernel proof with Frama-C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
500 workflow runs
500 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add stm32wb soc family (#114) Sentry kernel proof with Frama-C #500: Commit cecdba0 pushed by fvalette-ledger
January 8, 2025 16:15 7m 32s main
main
January 8, 2025 16:15 7m 32s
Add stm32wb soc family Sentry kernel proof with Frama-C #499: Pull request #114 synchronize by fvalette-ledger
January 8, 2025 16:05 7m 40s fvalette-ledger:add-smt32wb-soc-family
fvalette-ledger:add-smt32wb-soc-family
January 8, 2025 16:05 7m 40s
Add stm32wb soc family Sentry kernel proof with Frama-C #498: Pull request #114 synchronize by fvalette-ledger
January 8, 2025 16:04 1m 57s fvalette-ledger:add-smt32wb-soc-family
fvalette-ledger:add-smt32wb-soc-family
January 8, 2025 16:04 1m 57s
Add stm32wb soc family Sentry kernel proof with Frama-C #497: Pull request #114 opened by fvalette-ledger
January 8, 2025 15:42 7m 44s fvalette-ledger:add-smt32wb-soc-family
fvalette-ledger:add-smt32wb-soc-family
January 8, 2025 15:42 7m 44s
stm32, rcc: enhanced his48 handling (#113) Sentry kernel proof with Frama-C #496: Commit 36089c7 pushed by fvalette-ledger
January 8, 2025 13:10 8m 16s main
main
January 8, 2025 13:10 8m 16s
stm32,lpuart: remove "DISABLED" from some registers name and fields (… Sentry kernel proof with Frama-C #495: Commit 205ead8 pushed by fvalette-ledger
January 8, 2025 13:09 43s main
main
January 8, 2025 13:09 43s
stm32, rcc: enhanced his48 handling Sentry kernel proof with Frama-C #494: Pull request #113 opened by fvalette-ledger
January 8, 2025 11:24 7m 42s fvalette-ledger:stm32-hsi48-clock-handling
fvalette-ledger:stm32-hsi48-clock-handling
January 8, 2025 11:24 7m 42s
stm32,lpuart: remove "DISABLED" from some registers name and fields Sentry kernel proof with Frama-C #493: Pull request #112 opened by fvalette-ledger
January 8, 2025 11:04 7m 39s fvalette-ledger:stm32-lpuart-cleanup
fvalette-ledger:stm32-lpuart-cleanup
January 8, 2025 11:04 7m 39s
kernel,driver,busses: enhanced stm32 busses detection in template (#111) Sentry kernel proof with Frama-C #492: Commit ead9d97 pushed by fvalette-ledger
January 8, 2025 10:53 9m 4s main
main
January 8, 2025 10:53 9m 4s
kernel,driver,busses: enhanced stm32 busses detection in template Sentry kernel proof with Frama-C #491: Pull request #111 opened by fvalette-ledger
January 8, 2025 10:15 7m 31s fvalette-ledger:stm32-busses-template
fvalette-ledger:stm32-busses-template
January 8, 2025 10:15 7m 31s
uapi,doc: fix concepts for new C uapi export (#108) Sentry kernel proof with Frama-C #490: Commit 79b3176 pushed by pthierry-ledger
January 8, 2025 09:46 7m 34s main
main
January 8, 2025 09:46 7m 34s
uapi,doc: fix concepts for new C uapi export Sentry kernel proof with Frama-C #489: Pull request #108 synchronize by pthierry-ledger
January 8, 2025 09:26 7m 46s pthierry-ledger:doc-fix-c-uapi
pthierry-ledger:doc-fix-c-uapi
January 8, 2025 09:26 7m 46s
autotest: meson build script clean up (#110) Sentry kernel proof with Frama-C #488: Commit a88be84 pushed by fvalette-ledger
January 6, 2025 10:46 8m 20s main
main
January 6, 2025 10:46 8m 20s
autotest: meson build script clean up Sentry kernel proof with Frama-C #487: Pull request #110 synchronize by fvalette-ledger
January 6, 2025 10:36 7m 39s fvalette-ledger:autotest-meson-build-cleanup
fvalette-ledger:autotest-meson-build-cleanup
January 6, 2025 10:36 7m 39s
autotest: meson build script clean up Sentry kernel proof with Frama-C #486: Pull request #110 synchronize by fvalette-ledger
January 6, 2025 10:13 7m 29s fvalette-ledger:autotest-meson-build-cleanup
fvalette-ledger:autotest-meson-build-cleanup
January 6, 2025 10:13 7m 29s
autotest: meson build script clean up Sentry kernel proof with Frama-C #485: Pull request #110 synchronize by fvalette-ledger
January 6, 2025 10:08 2m 18s fvalette-ledger:autotest-meson-build-cleanup
fvalette-ledger:autotest-meson-build-cleanup
January 6, 2025 10:08 2m 18s
autotest: meson build script clean up Sentry kernel proof with Frama-C #484: Pull request #110 opened by fvalette-ledger
January 6, 2025 10:03 2m 59s fvalette-ledger:autotest-meson-build-cleanup
fvalette-ledger:autotest-meson-build-cleanup
January 6, 2025 10:03 2m 59s
build(deps): update meson requirement from ~=1.4.0 to ~=1.6.1 Sentry kernel proof with Frama-C #483: Pull request #109 opened by dependabot bot
December 23, 2024 15:33 2m 17s dependabot/pip/meson-approx-eq-1.6.1
dependabot/pip/meson-approx-eq-1.6.1
December 23, 2024 15:33 2m 17s
build(deps): update meson requirement from ~=1.4.0 to ~=1.6.1 Sentry kernel proof with Frama-C #482: Commit 77ea17b pushed by dependabot bot
December 23, 2024 15:33 2m 19s dependabot/pip/meson-approx-eq-1.6.1
dependabot/pip/meson-approx-eq-1.6.1
December 23, 2024 15:33 2m 19s
uapi,doc: fix concepts for new C uapi export Sentry kernel proof with Frama-C #481: Pull request #108 opened by pthierry-ledger
December 19, 2024 13:17 7m 25s pthierry-ledger:doc-fix-c-uapi
pthierry-ledger:doc-fix-c-uapi
December 19, 2024 13:17 7m 25s
uapi: start support for rustic events (DMA, IPC, Signals and IRQ) man… Sentry kernel proof with Frama-C #480: Commit 1ae1963 pushed by pthierry-ledger
December 17, 2024 15:51 7m 47s main
main
December 17, 2024 15:51 7m 47s
uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation Sentry kernel proof with Frama-C #479: Pull request #107 synchronize by pthierry-ledger
December 17, 2024 13:45 7m 35s pthierry-ledger:uapi-kexchange
pthierry-ledger:uapi-kexchange
December 17, 2024 13:45 7m 35s
uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation Sentry kernel proof with Frama-C #478: Pull request #107 synchronize by pthierry-ledger
December 17, 2024 13:32 7m 24s pthierry-ledger:uapi-kexchange
pthierry-ledger:uapi-kexchange
December 17, 2024 13:32 7m 24s
uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation Sentry kernel proof with Frama-C #477: Pull request #107 synchronize by pthierry-ledger
December 17, 2024 13:24 7m 37s pthierry-ledger:uapi-kexchange
pthierry-ledger:uapi-kexchange
December 17, 2024 13:24 7m 37s
uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation Sentry kernel proof with Frama-C #476: Pull request #107 synchronize by pthierry-ledger
December 17, 2024 13:10 7m 29s pthierry-ledger:uapi-kexchange
pthierry-ledger:uapi-kexchange
December 17, 2024 13:10 7m 29s