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 failing RISC-V lifter test for sb CI Build #1217: Commit df7f1d8 pushed by palmskog
September 19, 2024 11:15 42m 49s riscv-symbexec
riscv-symbexec
September 19, 2024 11:15 42m 49s
minimal failing example CI Build #1216: Commit 3df38c8 pushed by palmskog
September 18, 2024 14:50 56m 18s riscv-symbexec
riscv-symbexec
September 18, 2024 14:50 56m 18s
split up symbolic execution for chacha CI Build #1215: Commit 1614cd4 pushed by palmskog
September 17, 2024 15:50 54m 22s riscv-symbexec
riscv-symbexec
September 17, 2024 15:50 54m 22s
basic symbolic execution for poly1305 U8TO32 subroutine CI Build #1214: Commit 293a29a pushed by palmskog
September 16, 2024 13:53 54m 37s riscv-symbexec
riscv-symbexec
September 16, 2024 13:53 54m 37s
basic lifting for pol1305 CI Build #1213: Commit a56ad4b pushed by palmskog
September 16, 2024 13:18 55m 11s riscv-symbexec
riscv-symbexec
September 16, 2024 13:18 55m 11s
Merge pull request #190 from kth-step/riscv-symbexec CI Build #1212: Commit 2e1e5b9 pushed by palmskog
September 16, 2024 11:05 54m 31s master
master
September 16, 2024 11:05 54m 31s
Ott-based definitions for compute example CI Build #1211: Pull request #191 opened by palmskog
September 16, 2024 09:54 52m 1s ott-trindemossen
ott-trindemossen
September 16, 2024 09:54 52m 1s
Z3 and SMT improvements, RISC-V work CI Build #1210: Pull request #190 opened by palmskog
September 16, 2024 09:43 54m 20s riscv-symbexec
riscv-symbexec
September 16, 2024 09:43 54m 20s
WIP Ott-based definitions for compute CI Build #1209: Commit ebaa762 pushed by palmskog
September 15, 2024 19:58 51m 37s ott-trindemossen
ott-trindemossen
September 15, 2024 19:58 51m 37s
CI Build CI Build #1208: Scheduled
September 15, 2024 03:20 51m 44s master
master
September 15, 2024 03:20 51m 44s
make chacha symbolic execution work for ivsetup subroutine CI Build #1207: Commit 65ba481 pushed by palmskog
September 13, 2024 15:44 54m 8s riscv-symbexec
riscv-symbexec
September 13, 2024 15:44 54m 8s
Merge pull request #189 from kth-step/dev_riscv_zeroreg CI Build #1206: Commit 73aebcd pushed by palmskog
September 13, 2024 13:30 52m 2s master
master
September 13, 2024 13:30 52m 2s
Fixed RISC-V lifter issue with zero register CI Build #1205: Pull request #189 synchronize by didriklundberg
September 13, 2024 12:36 52m 5s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 12:36 52m 5s
Fix to selftest log, clean-up in bir_riscv_extrasScript CI Build #1204: Commit 2a04550 pushed by didriklundberg
September 13, 2024 12:36 52m 7s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 12:36 52m 7s
Fixed RISC-V lifter issue with zero register CI Build #1203: Pull request #189 synchronize by didriklundberg
September 13, 2024 12:06 43m 34s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 12:06 43m 34s
Fixed typo CI Build #1202: Commit ddd015c pushed by didriklundberg
September 13, 2024 12:06 43m 21s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 12:06 43m 21s
Fixed RISC-V lifter issue with zero register CI Build #1201: Pull request #189 synchronize by didriklundberg
September 13, 2024 11:54 51m 23s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 11:54 51m 23s
Update src/tools/lifter/bir_inst_liftingLib.sml CI Build #1200: Commit c4b43b0 pushed by didriklundberg
September 13, 2024 11:54 51m 27s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 11:54 51m 27s
Fixed RISC-V lifter issue with zero register CI Build #1199: Pull request #189 opened by didriklundberg
September 13, 2024 09:51 52m 47s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 09:51 52m 47s
Fixed RISC-V lifter issue with zero register CI Build #1198: Commit ec3b81e pushed by didriklundberg
September 13, 2024 09:50 52m 10s dev_riscv_zeroreg
dev_riscv_zeroreg
September 13, 2024 09:50 52m 10s
make chacha symbolic execution work for ivsetup subroutine CI Build #1197: Commit 3e788fd pushed by palmskog
September 12, 2024 10:13 42m 50s riscv-symbexec
riscv-symbexec
September 12, 2024 10:13 42m 50s
CI Build CI Build #1196: Scheduled
September 8, 2024 03:16 52m 39s master
master
September 8, 2024 03:16 52m 39s
CI Build CI Build #1195: Scheduled
September 1, 2024 03:20 51m 17s master
master
September 1, 2024 03:20 51m 17s
Add foundation for faster z3 model importing CI Build #1194: Commit ce10d5c pushed by andreaslindner
August 29, 2024 13:33 43m 41s riscv-symbexec
riscv-symbexec
August 29, 2024 13:33 43m 41s
Fix CI Build #1193: Commit 87157d0 pushed by andreaslindner
August 29, 2024 10:30 43m 2s riscv-symbexec
riscv-symbexec
August 29, 2024 10:30 43m 2s