Skip to content

Actions: lb-anssi/sentry-kernel

Actions

Sentry kernel proof with Frama-C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replaced outpost name Sentry kernel proof with Frama-C #23: Commit f2d7d1c pushed by lb-anssi
2m 17s fix_outpost_typo
fix_outpost_typo
2m 17s
Replaced outpost name Sentry kernel proof with Frama-C #22: Commit c3e190a pushed by lb-anssi
2m 15s fix_outpost_typo
fix_outpost_typo
2m 15s
Removed reference to Ledger issue Sentry kernel proof with Frama-C #21: Commit 07c21ce pushed by lb-anssi
2m 7s fix_outpost_typo
fix_outpost_typo
2m 7s
Replaced outpost name Sentry kernel proof with Frama-C #20: Commit df097db pushed by lb-anssi
2m 53s fix_outpost_typo
fix_outpost_typo
2m 53s
Added experimental tag to rv32 Sentry kernel proof with Frama-C #19: Commit 2b0ac68 pushed by lb-anssi
10m 42s riscv_port
riscv_port
10m 42s
Added experimental tag to rv32 Sentry kernel proof with Frama-C #18: Commit 3a22271 pushed by lb-anssi
10m 44s riscv_port
riscv_port
10m 44s
Added build of global firmware image Sentry kernel proof with Frama-C #17: Commit 37e4081 pushed by lb-anssi
12m 20s riscv_port
riscv_port
12m 20s
Added build of global firmware image Sentry kernel proof with Frama-C #16: Commit 2657d12 pushed by lb-anssi
3m 29s riscv_port
riscv_port
3m 29s
Added build of global firmware image Sentry kernel proof with Frama-C #15: Commit 845a5e6 pushed by lb-anssi
9m 17s riscv_port
riscv_port
9m 17s
Addition of basic USART support for opentitan Sentry kernel proof with Frama-C #14: Commit 1f55ae1 pushed by lb-anssi
10m 32s riscv_port
riscv_port
10m 32s
Addition of basic USART support for opentitan Sentry kernel proof with Frama-C #13: Commit 1f55ae1 pushed by lb-anssi
11m 17s rework
rework
11m 17s
WIP: add rv32 support to autotest Sentry kernel proof with Frama-C #12: Commit 8429e8f pushed by lb-anssi
11m 8s riscv_port
riscv_port
11m 8s
Add support for RISC-V extensions in build Sentry kernel proof with Frama-C #11: Commit 359543b pushed by lb-anssi
7m 25s riscv_port
riscv_port
7m 25s
Test toolchain configurations Sentry kernel proof with Frama-C #10: Commit c5c8106 pushed by lb-anssi
8m 14s riscv_port
riscv_port
8m 14s
Fix missing copyrights Sentry kernel proof with Frama-C #9: Commit 5cb5796 pushed by lb-anssi
7m 26s riscv_port
riscv_port
7m 26s
Work on PMP Sentry kernel proof with Frama-C #8: Commit 8ef177c pushed by lb-anssi
7m 32s riscv_port
riscv_port
7m 32s
Work on reset handler Sentry kernel proof with Frama-C #7: Commit db13cb2 pushed by lb-anssi
8m 32s riscv_port
riscv_port
8m 32s
WIP: update configs Sentry kernel proof with Frama-C #6: Commit c89d1df pushed by lb-anssi
8m 7s riscv_port
riscv_port
8m 7s
Add stm32h5 kconfig Sentry kernel proof with Frama-C #5: Commit 0da6242 pushed by lb-anssi
7m 23s stm32h573_addition
stm32h573_addition
7m 23s
Added defconfig and dts for new board Sentry kernel proof with Frama-C #4: Commit 9760e75 pushed by lb-anssi
7m 26s stm32h573_addition
stm32h573_addition
7m 26s
Added stm32h573 support in Kconfig Sentry kernel proof with Frama-C #3: Commit 2355021 pushed by lb-anssi
8m 57s stm32h573_addition
stm32h573_addition
8m 57s
Miscelaneous config and project files Sentry kernel proof with Frama-C #2: Commit c4945d3 pushed by lb-anssi
8m 31s riscv_port
riscv_port
8m 31s
Miscelaneous config and project files Sentry kernel proof with Frama-C #1: Commit fa75500 pushed by lb-anssi
8m 16s riscv_port
riscv_port
8m 16s