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

Update benchmark data CI Build #1167: Commit 993989e pushed by andreaslindner
August 22, 2024 08:55 31m 58s riscv-symbexec
riscv-symbexec
August 22, 2024 08:55 31m 58s
Fix to enforce bool type for top-level expressions (asserts) CI Build #1166: Commit 1170ffe pushed by andreaslindner
August 22, 2024 08:54 33m 0s riscv-symbexec
riscv-symbexec
August 22, 2024 08:54 33m 0s
CV Computation examples (#187) CI Build #1165: Commit 64b85a0 pushed by palmskog
August 22, 2024 05:52 51m 12s master
master
August 22, 2024 05:52 51m 12s
more contract transfer boilerplate CI Build #1164: Commit 1480ed2 pushed by palmskog
August 21, 2024 09:21 40m 41s riscv-symbexec
riscv-symbexec
August 21, 2024 09:21 40m 41s
CV Computation examples CI Build #1163: Pull request #187 synchronize by jules-timmerman
August 21, 2024 07:58 51m 40s jules-timmerman:master
jules-timmerman:master
August 21, 2024 07:58 51m 40s
boilerplate for symbolic execution of chacha_ivsetup CI Build #1161: Commit 843d756 pushed by palmskog
August 19, 2024 19:17 39m 56s riscv-symbexec
riscv-symbexec
August 19, 2024 19:17 39m 56s
boilerplate for chacha20 implementation CI Build #1160: Commit 7d369c4 pushed by palmskog
August 19, 2024 14:39 41m 6s riscv-symbexec
riscv-symbexec
August 19, 2024 14:39 41m 6s
Comment the test that our z3 interface currently has problems with bu… CI Build #1158: Commit abf3aea pushed by andreaslindner
August 19, 2024 09:52 39m 46s riscv-symbexec
riscv-symbexec
August 19, 2024 09:52 39m 46s
fmap abstract_jgmt_rel boilerplate CI Build #1156: Commit 4734ccf pushed by palmskog
August 18, 2024 20:02 31m 38s riscv-symbexec
riscv-symbexec
August 18, 2024 20:02 31m 38s
CI Build CI Build #1155: Scheduled
August 18, 2024 03:14 40m 53s master
master
August 18, 2024 03:14 40m 53s
abstract_jgmt_rel_thm for two end labels CI Build #1154: Commit 53bb23b pushed by palmskog
August 17, 2024 20:49 31m 33s riscv-symbexec
riscv-symbexec
August 17, 2024 20:49 31m 33s
Add option to select the z3 binary (for testing) CI Build #1153: Commit e342d8b pushed by andreaslindner
August 17, 2024 18:22 32m 30s riscv-symbexec
riscv-symbexec
August 17, 2024 18:22 32m 30s
Fix CI tests CI Build #1151: Commit 4a90963 pushed by andreaslindner
August 16, 2024 15:03 40m 57s riscv-symbexec
riscv-symbexec
August 16, 2024 15:03 40m 57s
boilerplate WIP for isqrt example CI Build #1149: Commit 3e61113 pushed by palmskog
August 16, 2024 14:21 31m 38s riscv-symbexec
riscv-symbexec
August 16, 2024 14:21 31m 38s
More refactoring and cleanup CI Build #1148: Commit 5c53a78 pushed by andreaslindner
August 16, 2024 11:59 31m 35s riscv-symbexec
riscv-symbexec
August 16, 2024 11:59 31m 35s
CV Computation examples CI Build #1147: Pull request #187 opened by jules-timmerman
August 16, 2024 11:22 43m 47s jules-timmerman:master
jules-timmerman:master
August 16, 2024 11:22 43m 47s
loop support WIP CI Build #1146: Commit e984f52 pushed by palmskog
August 16, 2024 07:53 40m 7s riscv-symbexec
riscv-symbexec
August 16, 2024 07:53 40m 7s
two-end-label generalization of abstract_jgmt_rel-post_bircont_nL the… CI Build #1145: Commit 37aee38 pushed by palmskog
August 15, 2024 22:18 40m 13s riscv-symbexec
riscv-symbexec
August 15, 2024 22:18 40m 13s
prove Pi_thms for isqrt CI Build #1144: Commit e961ed8 pushed by palmskog
August 15, 2024 18:23 39m 50s riscv-symbexec
riscv-symbexec
August 15, 2024 18:23 39m 50s
Fix environment shape in final states after symbolic execution (birs_… CI Build #1143: Commit 55b0b13 pushed by andreaslindner
August 15, 2024 17:23 39m 47s riscv-symbexec
riscv-symbexec
August 15, 2024 17:23 39m 47s
Move lifter theorem patch to lifter library CI Build #1142: Commit e05118b pushed by andreaslindner
August 15, 2024 15:33 40m 49s riscv-symbexec
riscv-symbexec
August 15, 2024 15:33 40m 49s
Fix CI Build #1141: Commit 6628bec pushed by palmskog
August 15, 2024 14:34 39m 56s riscv-symbexec
riscv-symbexec
August 15, 2024 14:34 39m 56s
Merge pull request #186 from kth-step/aux-to-extra CI Build #1140: Commit 963b5ac pushed by didriklundberg
August 15, 2024 11:22 39m 58s master
master
August 15, 2024 11:22 39m 58s
aux to extra, separation between bir and non-bir libraries/theories CI Build #1139: Pull request #186 opened by palmskog
August 13, 2024 19:37 41m 18s aux-to-extra
aux-to-extra
August 13, 2024 19:37 41m 18s
update of directory structure in README.md CI Build #1138: Commit 26aefba pushed by palmskog
August 13, 2024 19:31 40m 31s aux-to-extra
aux-to-extra
August 13, 2024 19:31 40m 31s