Skip to content

Actions: kth-step/HolBA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
713 workflow runs
713 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update comments CI Build #1322: Commit 5b89dc0 pushed by andreaslindner
November 5, 2024 08:09 1h 5m 3s arm_cm0-symbexec
arm_cm0-symbexec
November 5, 2024 08:09 1h 5m 3s
Fix smt export for unary operations on bitvectors (for example binary… CI Build #1321: Commit dd01d30 pushed by andreaslindner
November 5, 2024 08:09 1h 4m 18s riscv-symbexec
riscv-symbexec
November 5, 2024 08:09 1h 4m 18s
Add more functions of the case study to the procedure CI Build #1320: Commit 267aeba pushed by andreaslindner
November 4, 2024 15:24 1h 3m 41s arm_cm0-symbexec
arm_cm0-symbexec
November 4, 2024 15:24 1h 3m 41s
Updates CI Build #1319: Commit e45808c pushed by andreaslindner
November 4, 2024 15:22 1h 5m 49s riscv-symbexec
riscv-symbexec
November 4, 2024 15:22 1h 5m 49s
CI Build CI Build #1318: Scheduled
November 3, 2024 03:24 1h 3m 53s master
master
November 3, 2024 03:24 1h 3m 53s
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