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

Add fallback if ASM syntax is not defined by user Lint #616: Pull request #177 synchronize by PhilippvK
March 9, 2025 23:29 22s optional-assembly
optional-assembly
March 9, 2025 23:29 22s
lint Lint #615: Commit 3d2b15f pushed by PhilippvK
March 9, 2025 23:29 18s optional-assembly
optional-assembly
March 9, 2025 23:29 18s
Add fallback if ASM syntax is not defined by user Lint #614: Pull request #177 opened by PhilippvK
March 9, 2025 23:29 18s optional-assembly
optional-assembly
March 9, 2025 23:29 18s
seal5/flow.py: call process_settings only once after operands are pro… Lint #613: Commit 01fd449 pushed by PhilippvK
March 9, 2025 23:27 22s optional-assembly
optional-assembly
March 9, 2025 23:27 22s
Usage Demo (Weekly) Usage Demo (Weekly) #65: Scheduled
March 8, 2025 00:15 2h 18m 45s main
main
March 8, 2025 00:15 2h 18m 45s
add subdir for experimental dot backend [wip] Lint #612: Commit 668be39 pushed by PhilippvK
March 7, 2025 14:03 15s dot-backend
dot-backend
March 7, 2025 14:03 15s
Usage Demo (Weekly) Usage Demo (Weekly) #64: Manually run by PhilippvK
March 7, 2025 12:51 1h 56m 56s support-llvm20
support-llvm20
March 7, 2025 12:51 1h 56m 56s
Usage Demo (Manual) Usage Demo (Manual) #50: Manually run by PhilippvK
March 7, 2025 09:04 53s support-48bit
support-48bit
March 7, 2025 09:04 53s
Usage Demo (Manual) Usage Demo (Manual) #49: Manually run by PhilippvK
March 7, 2025 09:02 2h 23m 44s support-llvm20
support-llvm20
March 7, 2025 09:02 2h 23m 44s
Draft: Support 48bit encodings Lint #611: Pull request #176 opened by PhilippvK
March 7, 2025 05:37 15s support-48bit
support-48bit
March 7, 2025 05:37 15s
Draft: fp32 support Lint #610: Pull request #175 opened by PhilippvK
March 7, 2025 05:36 14s support-fp32
support-fp32
March 7, 2025 05:36 14s
Draft: Support memory instructions Lint #609: Pull request #174 opened by PhilippvK
March 7, 2025 05:35 16s support-mem
support-mem
March 7, 2025 05:35 16s
Fix Lint #608: Commit 6cd3482 pushed by thomasgoodfellow
March 6, 2025 22:16 18s chacha
chacha
March 6, 2025 22:16 18s
Build single Seal5 Docker image Build single Seal5 Docker image #17: Manually run by PhilippvK
March 6, 2025 16:26 1h 39m 23s support-custom-imm
support-custom-imm
March 6, 2025 16:26 1h 39m 23s
Usage Demo (Manual) Usage Demo (Manual) #48: Manually run by PhilippvK
March 6, 2025 16:24 1m 41s support-llvm20
support-llvm20
March 6, 2025 16:24 1m 41s
Draft: Support LLVM 20 Lint #607: Pull request #172 synchronize by PhilippvK
March 6, 2025 15:58 20s support-llvm20
support-llvm20
March 6, 2025 15:58 20s
riscv_features: llvm 20 support Lint #606: Commit 6e9b4ad pushed by PhilippvK
March 6, 2025 15:58 22s support-llvm20
support-llvm20
March 6, 2025 15:58 22s
Build single Seal5 Docker image Build single Seal5 Docker image #16: Manually run by PhilippvK
March 6, 2025 13:04 1h 39m 31s develop
develop
March 6, 2025 13:04 1h 39m 31s
Draft: Support LLVM 20 Lint #605: Pull request #172 synchronize by PhilippvK
March 6, 2025 13:02 19s support-llvm20
support-llvm20
March 6, 2025 13:02 19s
[ci] demo_weekly.yml: enable llvm20 in weekly demo Lint #604: Commit 9a892b2 pushed by PhilippvK
March 6, 2025 13:02 20s support-llvm20
support-llvm20
March 6, 2025 13:02 20s
Merge pull request #169 from tum-ei-eda/support-custom-imm Lint #603: Commit f6c22de pushed by PhilippvK
March 6, 2025 13:01 22s develop
develop
March 6, 2025 13:01 22s
Draft: Support LLVM 20 Lint #602: Pull request #172 opened by PhilippvK
March 6, 2025 13:01 20s support-llvm20
support-llvm20
March 6, 2025 13:01 20s
Revert "add uimm12_op_llvm20.patch (untested)" Lint #601: Commit 71b370f pushed by PhilippvK
March 6, 2025 12:57 22s support-llvm20
support-llvm20
March 6, 2025 12:57 22s
pages build and deployment pages-build-deployment #26: by github-pages bot
March 6, 2025 11:56 25s gh-pages
gh-pages
March 6, 2025 11:56 25s
Merge pull request #171 from tum-ei-eda/citation-file Build Documentation #177: Commit fd9fecb pushed by PhilippvK
March 6, 2025 11:55 1m 6s main
main
March 6, 2025 11:55 1m 6s