Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build single Seal5 Docker image Build single Seal5 Docker image #13: Manually run by PhilippvK
March 6, 2025 05:29 1h 43m 55s support-custom-imm
support-custom-imm
March 6, 2025 05:29 1h 43m 55s
WIP: Support custom immediates Lint #582: Pull request #169 synchronize by PhilippvK
March 6, 2025 05:28 19s support-custom-imm
support-custom-imm
March 6, 2025 05:28 19s
dockerfile fixup Lint #581: Commit 99a710f pushed by PhilippvK
March 6, 2025 05:28 21s support-custom-imm
support-custom-imm
March 6, 2025 05:28 21s
Build single Seal5 Docker image Build single Seal5 Docker image #12: Manually run by PhilippvK
March 6, 2025 05:08 6m 12s support-custom-imm
support-custom-imm
March 6, 2025 05:08 6m 12s
Usage Demo (Manual) Usage Demo (Manual) #47: Manually run by PhilippvK
March 5, 2025 22:51 1h 56m 1s support-custom-imm
support-custom-imm
March 5, 2025 22:51 1h 56m 1s
WIP: Support custom immediates Lint #580: Pull request #169 synchronize by PhilippvK
March 5, 2025 22:51 16s support-custom-imm
support-custom-imm
March 5, 2025 22:51 16s
ci fixes Lint #579: Commit 0942b76 pushed by PhilippvK
March 5, 2025 22:51 17s support-custom-imm
support-custom-imm
March 5, 2025 22:51 17s
WIP: Support custom immediates Lint #578: Pull request #169 synchronize by PhilippvK
March 5, 2025 22:50 18s support-custom-imm
support-custom-imm
March 5, 2025 22:50 18s
update gen cdsl submodule Lint #577: Commit fc19b00 pushed by PhilippvK
March 5, 2025 22:50 18s support-custom-imm
support-custom-imm
March 5, 2025 22:50 18s
WIP: Support custom immediates Lint #576: Pull request #169 synchronize by PhilippvK
March 5, 2025 19:53 22s support-custom-imm
support-custom-imm
March 5, 2025 19:53 22s
seal5/backends/report/properties/writer.py: fix undefined opcode Lint #575: Commit 3d8c878 pushed by PhilippvK
March 5, 2025 19:53 19s support-custom-imm
support-custom-imm
March 5, 2025 19:53 19s
WIP: Support custom immediates Lint #574: Pull request #169 synchronize by PhilippvK
March 5, 2025 17:15 18s support-custom-imm
support-custom-imm
March 5, 2025 17:15 18s
Example.core_desc: add example instruction with custom imm size and t… Lint #573: Commit ea61178 pushed by PhilippvK
March 5, 2025 17:15 20s support-custom-imm
support-custom-imm
March 5, 2025 17:15 20s
Usage Demo (Manual) Usage Demo (Manual) #46: Manually run by PhilippvK
March 5, 2025 16:54 1h 54m 57s fixes-hm
fixes-hm
March 5, 2025 16:54 1h 54m 57s
ci fixes Lint #572: Commit 348f40c pushed by PhilippvK
March 5, 2025 16:53 24s fixes-hm
fixes-hm
March 5, 2025 16:53 24s
Usage Demo (Manual) Usage Demo (Manual) #45: Manually run by PhilippvK
March 5, 2025 16:49 1m 4s fixes-hm
fixes-hm
March 5, 2025 16:49 1m 4s
add 32bit hm instructions Lint #571: Commit 01439cc pushed by PhilippvK
March 5, 2025 16:43 21s fixes-hm
fixes-hm
March 5, 2025 16:43 21s
WIP: Support custom immediates Lint #570: Pull request #169 synchronize by PhilippvK
March 5, 2025 16:42 24s support-custom-imm
support-custom-imm
March 5, 2025 16:42 24s
infer llvm imm types automatically from llvm coebase (experimental) Lint #569: Commit 2dd9f48 pushed by PhilippvK
March 5, 2025 16:42 23s support-custom-imm
support-custom-imm
March 5, 2025 16:42 23s
WIP: Support custom immediates Lint #568: Pull request #169 synchronize by PhilippvK
March 5, 2025 16:19 25s support-custom-imm
support-custom-imm
March 5, 2025 16:19 25s
add examples/common/cfg/llvm{18,19,20}_imm_types.yml Lint #567: Commit 6cb6e99 pushed by PhilippvK
March 5, 2025 16:19 20s support-custom-imm
support-custom-imm
March 5, 2025 16:19 20s
WIP: Support custom immediates Lint #566: Pull request #169 synchronize by PhilippvK
March 5, 2025 16:17 22s support-custom-imm
support-custom-imm
March 5, 2025 16:17 22s
add examples/common/cfg/llvm{18,19,20}_imm_types.yml Lint #565: Commit f025a30 pushed by PhilippvK
March 5, 2025 16:17 25s support-custom-imm
support-custom-imm
March 5, 2025 16:17 25s
WIP: Support custom immediates Lint #564: Pull request #169 opened by PhilippvK
March 5, 2025 16:11 2m 19s support-custom-imm
support-custom-imm
March 5, 2025 16:11 2m 19s
Lint Lint #563: by PhilippvK
March 5, 2025 16:10 52s support-custom-imm
support-custom-imm
March 5, 2025 16:10 52s