Skip to content

Actions: kth-step/HolBA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
709 workflow runs
709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more functions to the analysis CI Build #1317: Commit 36eea78 pushed by andreaslindner
November 2, 2024 10:00 1h 4m 9s arm_cm0-symbexec
arm_cm0-symbexec
November 2, 2024 10:00 1h 4m 9s
Merge pull request #193 from kth-step/riscv-symbexec CI Build #1316: Commit 686f11d pushed by palmskog
November 1, 2024 16:40 1h 32m 40s master
master
November 1, 2024 16:40 1h 32m 40s
Symbolic exec checkpoint CI Build #1315: Pull request #193 opened by palmskog
November 1, 2024 06:23 1h 36m 6s riscv-symbexec
riscv-symbexec
November 1, 2024 06:23 1h 36m 6s
more chacha20 high level specs CI Build #1314: Commit ff853e4 pushed by palmskog
October 31, 2024 12:57 1h 5m 12s riscv-symbexec
riscv-symbexec
October 31, 2024 12:57 1h 5m 12s
test for 20 rounds of chacha CI Build #1313: Commit e753c0b pushed by palmskog
October 30, 2024 20:43 1h 4m 53s riscv-symbexec
riscv-symbexec
October 30, 2024 20:43 1h 4m 53s
fixed and validated chacha round spec CI Build #1312: Commit c986f42 pushed by palmskog
October 30, 2024 19:43 1h 5m 11s riscv-symbexec
riscv-symbexec
October 30, 2024 19:43 1h 5m 11s
spec of chacha20 inspired by EasyCrypt spec CI Build #1311: Commit f6a6d5b pushed by palmskog
October 30, 2024 15:54 1h 4m 22s riscv-symbexec
riscv-symbexec
October 30, 2024 15:54 1h 4m 22s
basic chacha round spec and symbexec CI Build #1310: Commit 7f59ecd pushed by palmskog
October 30, 2024 13:14 1h 4m 49s riscv-symbexec
riscv-symbexec
October 30, 2024 13:14 1h 4m 49s
reduce metaprogramming in incr example CI Build #1309: Commit db3a8b4 pushed by palmskog
October 30, 2024 09:37 1h 32m 35s riscv-symbexec
riscv-symbexec
October 30, 2024 09:37 1h 32m 35s
CI Build CI Build #1308: Scheduled
October 27, 2024 03:24 54m 35s master
master
October 27, 2024 03:24 54m 35s
Add more functions to the analysis CI Build #1307: Commit 531c5e4 pushed by andreaslindner
October 22, 2024 20:26 1h 4m 20s arm_cm0-symbexec
arm_cm0-symbexec
October 22, 2024 20:26 1h 4m 20s
Fix for interval unification CI Build #1306: Commit 1f8de93 pushed by andreaslindner
October 22, 2024 20:25 1h 4m 4s riscv-symbexec
riscv-symbexec
October 22, 2024 20:25 1h 4m 4s
Update for summary instantiation during symbolic execution CI Build #1305: Commit e0ef91a pushed by andreaslindner
October 21, 2024 21:11 1h 4m 26s arm_cm0-symbexec
arm_cm0-symbexec
October 21, 2024 21:11 1h 4m 26s
Fix CI CI Build #1304: Commit 089e2b0 pushed by andreaslindner
October 21, 2024 21:01 1h 0m 1s riscv-symbexec
riscv-symbexec
October 21, 2024 21:01 1h 0m 1s
Add instantiation of summaries during symbolic execution CI Build #1303: Commit b6eb479 pushed by andreaslindner
October 21, 2024 20:55 41m 49s riscv-symbexec
riscv-symbexec
October 21, 2024 20:55 41m 49s
CI Build CI Build #1302: Scheduled
October 20, 2024 03:25 55m 30s master
master
October 20, 2024 03:25 55m 30s
Fix balrob transfer script CI Build #1301: Commit 7b20bae pushed by andreaslindner
October 19, 2024 10:42 1h 3m 41s arm_cm0-symbexec
arm_cm0-symbexec
October 19, 2024 10:42 1h 3m 41s
Fix (untested) CI Build #1300: Commit bfcde33 pushed by andreaslindner
October 19, 2024 10:42 1h 3m 45s riscv-symbexec
riscv-symbexec
October 19, 2024 10:42 1h 3m 45s
Need more work on fixing the transfer CI Build #1299: Commit 09744b5 pushed by andreaslindner
October 18, 2024 20:00 42m 6s arm_cm0-symbexec
arm_cm0-symbexec
October 18, 2024 20:00 42m 6s
Refactor symbolic execution and integration with, enabling refined sy… CI Build #1298: Commit 2aed001 pushed by andreaslindner
October 18, 2024 20:00 42m 16s riscv-symbexec
riscv-symbexec
October 18, 2024 20:00 42m 16s
Big refactoring CI Build #1297: Commit 0f849e3 pushed by andreaslindner
October 18, 2024 13:30 1h 4m 2s riscv-symbexec
riscv-symbexec
October 18, 2024 13:30 1h 4m 2s
More cleanup CI Build #1296: Commit 1bcefb0 pushed by andreaslindner
October 18, 2024 08:07 1h 4m 31s arm_cm0-symbexec
arm_cm0-symbexec
October 18, 2024 08:07 1h 4m 31s
Fix CI Build #1295: Commit 42ac97a pushed by andreaslindner
October 18, 2024 08:07 1h 3m 40s riscv-symbexec
riscv-symbexec
October 18, 2024 08:07 1h 3m 40s
More cleanup CI Build #1294: Commit e128cb5 pushed by andreaslindner
October 17, 2024 22:21 42m 15s arm_cm0-symbexec
arm_cm0-symbexec
October 17, 2024 22:21 42m 15s
Refactoring cleanup CI Build #1293: Commit 83dd54c pushed by andreaslindner
October 17, 2024 22:21 41m 44s riscv-symbexec
riscv-symbexec
October 17, 2024 22:21 41m 44s