Skip to content

Actions: kth-step/HolBA

Actions

CI Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
819 workflow runs
819 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

spec equivalence theorem CI Build #1443: Commit b66627e pushed by palmskog
January 29, 2025 22:10 1h 2m 28s riscv-symbexec
riscv-symbexec
January 29, 2025 22:10 1h 2m 28s
chacha_diagonal_round QED CI Build #1442: Commit 78bc087 pushed by palmskog
January 29, 2025 21:13 1h 5m 56s riscv-symbexec
riscv-symbexec
January 29, 2025 21:13 1h 5m 56s
chacha_column_round QED CI Build #1441: Commit 9786628 pushed by palmskog
January 29, 2025 20:50 1h 4m 36s riscv-symbexec
riscv-symbexec
January 29, 2025 20:50 1h 4m 36s
boilerplate for chacha diagonal round CI Build #1440: Commit 742d411 pushed by palmskog
January 29, 2025 16:51 1h 20m 50s riscv-symbexec
riscv-symbexec
January 29, 2025 16:51 1h 20m 50s
kernel_trap_entry QED CI Build #1439: Commit 614f9e9 pushed by palmskog
January 29, 2025 13:53 1h 5m 48s riscv-symbexec
riscv-symbexec
January 29, 2025 13:53 1h 5m 48s
CI Build CI Build #1438: by palmskog
January 29, 2025 13:19 1h 5m 2s riscv-symbexec
riscv-symbexec
January 29, 2025 13:19 1h 5m 2s
helper lemmas for preconditions CI Build #1437: Commit 6c0faf1 pushed by palmskog
January 29, 2025 12:57 1h 8m 6s riscv-symbexec
riscv-symbexec
January 29, 2025 12:57 1h 8m 6s
prove kernel_trap_entry riscv postcondition implication CI Build #1436: Commit acf61d0 pushed by palmskog
January 28, 2025 21:05 1h 4m 55s riscv-symbexec
riscv-symbexec
January 28, 2025 21:05 1h 4m 55s
kernel_trap_return riscv lifting stuff CI Build #1435: Commit f0ed874 pushed by palmskog
January 28, 2025 15:23 46m 7s riscv-symbexec
riscv-symbexec
January 28, 2025 15:23 46m 7s
reorganize chacha results CI Build #1434: Commit 87e0420 pushed by palmskog
January 27, 2025 22:04 1h 6m 10s riscv-symbexec
riscv-symbexec
January 27, 2025 22:04 1h 6m 10s
riscv spec boilerplate CI Build #1433: Commit fd3d585 pushed by palmskog
January 27, 2025 15:11 1h 6m 0s riscv-symbexec
riscv-symbexec
January 27, 2025 15:11 1h 6m 0s
backlifting kernel_trap works CI Build #1432: Commit 0767c1d pushed by palmskog
January 27, 2025 12:12 1h 5m 56s riscv-symbexec
riscv-symbexec
January 27, 2025 12:12 1h 5m 56s
backlifting boilerplate for kernel-trap CI Build #1431: Commit f4513f2 pushed by palmskog
January 27, 2025 07:06 1h 4m 51s riscv-symbexec
riscv-symbexec
January 27, 2025 07:06 1h 4m 51s
CI Build CI Build #1430: Scheduled
January 26, 2025 03:16 1h 2m 12s master
master
January 26, 2025 03:16 1h 2m 12s
strengthen postcondition of trap_return CI Build #1429: Commit 9fb3b1e pushed by palmskog
January 24, 2025 15:55 1h 6m 34s riscv-symbexec
riscv-symbexec
January 24, 2025 15:55 1h 6m 34s
add unused dummy instruction at end of trap_return to make symbexec t… CI Build #1428: Commit 6fd8eaf pushed by palmskog
January 24, 2025 00:23 1h 6m 48s riscv-symbexec
riscv-symbexec
January 24, 2025 00:23 1h 6m 48s
add trap_return boilerplate CI Build #1427: Commit d0183b5 pushed by palmskog
January 23, 2025 11:08 1h 6m 45s riscv-symbexec
riscv-symbexec
January 23, 2025 11:08 1h 6m 45s
basic property proof for kernel-trap CI Build #1426: Commit b6e8ae2 pushed by palmskog
January 21, 2025 21:53 1h 6m 36s riscv-symbexec
riscv-symbexec
January 21, 2025 21:53 1h 6m 36s
symbolic execution works for everything in kernel-trap CI Build #1425: Commit 1cefb4e pushed by palmskog
January 21, 2025 12:55 1h 5m 10s riscv-symbexec
riscv-symbexec
January 21, 2025 12:55 1h 5m 10s
fiddle with kernel trap path conditions CI Build #1424: Commit 3ca8c95 pushed by palmskog
January 20, 2025 22:51 1h 5m 2s riscv-symbexec
riscv-symbexec
January 20, 2025 22:51 1h 5m 2s
setup up symbexec for kernel trap CI Build #1423: Commit 25f0a7f pushed by palmskog
January 20, 2025 16:14 1h 10m 42s riscv-symbexec
riscv-symbexec
January 20, 2025 16:14 1h 10m 42s
Merge pull request #198 from kth-step/dev_riscv_step CI Build #1422: Commit b405814 pushed by palmskog
January 20, 2025 12:19 1h 6m 43s riscv-symbexec
riscv-symbexec
January 20, 2025 12:19 1h 6m 43s
Fixes to RISC-V lifting CI Build #1421: Pull request #198 synchronize by palmskog
January 20, 2025 10:55 1h 4m 41s dev_riscv_step
dev_riscv_step
January 20, 2025 10:55 1h 4m 41s
remove superfluous kernel example CI Build #1420: Commit 26593a6 pushed by palmskog
January 20, 2025 10:55 1h 5m 43s dev_riscv_step
dev_riscv_step
January 20, 2025 10:55 1h 5m 43s
Merge branch 'collected_fixes' into riscv-symbexec CI Build #1419: Commit 14d03fe pushed by andreaslindner
January 19, 2025 09:46 1h 5m 4s riscv-symbexec
riscv-symbexec
January 19, 2025 09:46 1h 5m 4s