Skip to content

Actions: kth-step/HolBA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
232 workflow runs
232 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplified get_contract function CI Build #1665: Pull request #216 synchronize by palmskog
53m 9s simplify-get
simplify-get
53m 9s
Update src/tools/backlifter/bir_backlifterLib.sml CI Build #1664: Commit 6e0ed2f pushed by palmskog
49m 35s simplify-get
simplify-get
49m 35s
Copilot code review Copilot code review #1: by Copilot AI
4m 41s refs/pull/216/head
refs/pull/216/head
4m 41s
Simplified get_contract function CI Build #1663: Pull request #216 opened by palmskog
53m 32s simplify-get
simplify-get
53m 32s
fix riscv test CI Build #1662: Commit 5230fab pushed by palmskog
51m 34s simplify-get
simplify-get
51m 34s
get_riscv_contract_thm without need for auxiliary definitions CI Build #1661: Commit a2b2404 pushed by palmskog
42m 11s simplify-get
simplify-get
42m 11s
Merge pull request #215 from kth-step/arm8-max CI Build #1660: Commit 9030e8c pushed by palmskog
53m 13s master
master
53m 13s
finish max example CI Build #1659: Pull request #215 synchronize by palmskog
51m 59s arm8-max
arm8-max
51m 59s
README.md fixes CI Build #1658: Commit 6d53b14 pushed by palmskog
51m 28s arm8-max
arm8-max
51m 28s
finish max example CI Build #1657: Pull request #215 opened by palmskog
52m 26s arm8-max
arm8-max
52m 26s
finish max example CI Build #1656: Commit ec2688e pushed by palmskog
52m 22s arm8-max
arm8-max
52m 22s
Merge pull request #214 from kth-step/more-arm8 CI Build #1655: Commit cbd4a64 pushed by palmskog
58m 34s master
master
58m 34s
More arm8 CI Build #1654: Pull request #214 opened by palmskog
50m 1s more-arm8
more-arm8
50m 1s
add basis for max example CI Build #1653: Commit a41d102 pushed by palmskog
57m 50s more-arm8
more-arm8
57m 50s
add swap.acsl CI Build #1652: Commit 2a21ac6 pushed by palmskog
52m 12s more-arm8
more-arm8
52m 12s
CI Build CI Build #1651: Scheduled
51m 16s master
master
51m 16s
Merge pull request #213 from kth-step/fix_two CI Build #1650: Commit e8fcc15 pushed by palmskog
51m 55s master
master
51m 55s
Fix for isqrt verification on arm8 CI Build #1649: Pull request #213 opened by palmskog
52m 45s fix_two
fix_two
52m 45s
update README.md with latest publications CI Build #1648: Commit d185645 pushed by palmskog
52m 29s fix_two
fix_two
52m 29s
CI Build CI Build #1647: Scheduled
57m 12s master
master
57m 12s
CI Build CI Build #1646: Scheduled
1h 31m 2s master
master
1h 31m 2s
CI Build CI Build #1645: Scheduled
52m 18s master
master
52m 18s
Enable arm8 example for testing the Fix CI Build #1644: Commit ea96f6f pushed by andreaslindner
57m 17s fix_two
fix_two
57m 17s
CI Build CI Build #1643: Scheduled
52m 30s master
master
52m 30s
Merge pull request #212 from kth-step/arm8-boilerplate CI Build #1642: Commit a4f63e8 pushed by palmskog
51m 36s master
master
51m 36s