Skip to content

Actions: kth-step/HolBA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
819 workflow runs
819 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup of comment CI Build #788: Commit 9e3a22f pushed by didriklundberg
March 15, 2024 11:34 27m 11s dev_modern_syntax
dev_modern_syntax
March 15, 2024 11:34 27m 11s
Merge pull request #174 from kth-step/holmake+riscv CI Build #787: Commit 01abd3b pushed by didriklundberg
March 15, 2024 11:03 27m 18s master
master
March 15, 2024 11:03 27m 18s
RISC-V backlifting and examples CI Build #786: Pull request #174 synchronize by palmskog
March 15, 2024 09:40 27m 5s holmake+riscv
holmake+riscv
March 15, 2024 09:40 27m 5s
get a vacuous swap contract to RISC-V level to test workflow CI Build #785: Commit 714996c pushed by palmskog
March 15, 2024 09:40 27m 23s holmake+riscv
holmake+riscv
March 15, 2024 09:40 27m 23s
Update to modern syntax CI Build #784: Pull request #173 synchronize by didriklundberg
March 14, 2024 17:00 24m 45s dev_modern_syntax
dev_modern_syntax
March 14, 2024 17:00 24m 45s
Local theorems CI Build #783: Commit 458234e pushed by didriklundberg
March 14, 2024 17:00 24m 23s dev_modern_syntax
dev_modern_syntax
March 14, 2024 17:00 24m 23s
RISC-V backlifting and examples CI Build #782: Pull request #174 synchronize by palmskog
March 14, 2024 16:56 27m 8s holmake+riscv
holmake+riscv
March 14, 2024 16:56 27m 8s
reorganize backlifter theories to split off ISA-independent results CI Build #781: Commit dc58c6f pushed by palmskog
March 14, 2024 16:56 27m 30s holmake+riscv
holmake+riscv
March 14, 2024 16:56 27m 30s
Update to modern syntax CI Build #780: Pull request #173 synchronize by didriklundberg
March 14, 2024 15:44 24m 22s dev_modern_syntax
dev_modern_syntax
March 14, 2024 15:44 24m 22s
Updated src to modern syntax CI Build #779: Commit d415604 pushed by didriklundberg
March 14, 2024 15:44 24m 14s dev_modern_syntax
dev_modern_syntax
March 14, 2024 15:44 24m 14s
Update to modern syntax CI Build #778: Pull request #173 synchronize by didriklundberg
March 14, 2024 14:51 25m 4s dev_modern_syntax
dev_modern_syntax
March 14, 2024 14:51 25m 4s
Updated src to modern syntax CI Build #777: Commit 9be75ef pushed by didriklundberg
March 14, 2024 14:51 25m 13s dev_modern_syntax
dev_modern_syntax
March 14, 2024 14:51 25m 13s
RISC-V backlifting and examples CI Build #776: Pull request #174 opened by palmskog
March 14, 2024 10:20 27m 47s holmake+riscv
holmake+riscv
March 14, 2024 10:20 27m 47s
factor definitions to make riscv backlifter proofs faster CI Build #775: Commit fc53cdc pushed by palmskog
March 14, 2024 10:12 29m 43s holmake+riscv
holmake+riscv
March 14, 2024 10:12 29m 43s
rename bir_backlifterScript.sml to bir_arm8_backlifterScript.sml to b… CI Build #774: Commit fbdb454 pushed by palmskog
March 14, 2024 09:51 28m 33s holmake+riscv
holmake+riscv
March 14, 2024 09:51 28m 33s
get rid of most cheats CI Build #773: Commit b5c54c8 pushed by palmskog
March 14, 2024 09:11 28m 7s holmake+riscv
holmake+riscv
March 14, 2024 09:11 28m 7s
fix bir_backlifterLib magic constant, bir_cont proof generation for s… CI Build #772: Commit 9f5a368 pushed by palmskog
March 14, 2024 08:19 28m 42s holmake+riscv
holmake+riscv
March 14, 2024 08:19 28m 42s
WIP swap properties CI Build #771: Commit 5bf39db pushed by palmskog
March 13, 2024 16:34 28m 16s holmake+riscv
holmake+riscv
March 13, 2024 16:34 28m 16s
Update to modern syntax CI Build #770: Pull request #173 opened by didriklundberg
March 13, 2024 13:51 24m 35s dev_modern_syntax
dev_modern_syntax
March 13, 2024 13:51 24m 35s
Updated bir and bir-support to modern syntax CI Build #769: Commit 09818ec pushed by didriklundberg
March 13, 2024 13:21 24m 17s dev_modern_syntax
dev_modern_syntax
March 13, 2024 13:21 24m 17s
boilerplate for using riscv_lift_contract_thm for swap example CI Build #768: Commit 9990c28 pushed by palmskog
March 13, 2024 07:13 29m 24s holmake+riscv
holmake+riscv
March 13, 2024 07:13 29m 24s
Typo CI Build #767: Commit 45bea98 pushed by didriklundberg
March 11, 2024 23:33 42m 42s dev_z3
dev_z3
March 11, 2024 23:33 42m 42s
add get_riscv_contract_sing function to bir_backlifterLib CI Build #766: Commit a8aa9ee pushed by palmskog
March 11, 2024 22:37 33m 9s holmake+riscv
holmake+riscv
March 11, 2024 22:37 33m 9s
finish initial proof of riscv_lift_contract_thm CI Build #765: Commit 8d78fbb pushed by palmskog
March 11, 2024 22:04 28m 26s holmake+riscv
holmake+riscv
March 11, 2024 22:04 28m 26s
Z3 4.12.2 CI Build #764: Commit f8ae74a pushed by didriklundberg
March 11, 2024 14:52 23m 27s dev_z3
dev_z3
March 11, 2024 14:52 23m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-03-11 or the other filters available.