Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,345 workflow runs
1,345 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #947098111 Dependabot Updates #7: by dependabot bot
January 13, 2025 14:37 35s master
master
January 13, 2025 14:37 35s
Remove length limit on error message output for unsupported instructions. Code Scanning - Action #1734: Pull request #1159 opened by IamYJLee
January 13, 2025 05:03 3m 25s IamYJLee:remove-length-limit
IamYJLee:remove-length-limit
January 13, 2025 05:03 3m 25s
Remove length limit on error message output for unsupported instructions. Build #1544: Pull request #1159 opened by IamYJLee
January 13, 2025 05:03 6m 49s IamYJLee:remove-length-limit
IamYJLee:remove-length-limit
January 13, 2025 05:03 6m 49s
Code Scanning - Action Code Scanning - Action #1733: Scheduled
January 12, 2025 02:39 4m 1s master
master
January 12, 2025 02:39 4m 1s
vector/test: pre-commit tests for vscale support Code Scanning - Action #1732: Pull request #1158 opened by artagnon
January 10, 2025 15:34 3m 1s artagnon:vscale-test
artagnon:vscale-test
January 10, 2025 15:34 3m 1s
vector/test: pre-commit tests for vscale support Build #1543: Pull request #1158 opened by artagnon
January 10, 2025 15:34 7m 21s artagnon:vscale-test
artagnon:vscale-test
January 10, 2025 15:34 7m 21s
github_actions in /. - Update #943682261 Dependabot Updates #6: by dependabot bot
January 6, 2025 14:36 39s master
master
January 6, 2025 14:36 39s
extend State::isImplied to take context into account Code Scanning - Action #1731: Commit 332cbac pushed by nunoplopes
January 5, 2025 19:51 3m 34s master
master
January 5, 2025 19:51 3m 34s
extend State::isImplied to take context into account Build #1542: Commit 332cbac pushed by nunoplopes
January 5, 2025 19:51 6m 59s master
master
January 5, 2025 19:51 6m 59s
take advantage of the path condition in State::isImplied() Build #1541: Commit a18a3bb pushed by nunoplopes
January 5, 2025 15:20 7m 55s master
master
January 5, 2025 15:20 7m 55s
take advantage of the path condition in State::isImplied() Code Scanning - Action #1730: Commit a18a3bb pushed by nunoplopes
January 5, 2025 15:20 3m 54s master
master
January 5, 2025 15:20 3m 54s
fix #1156: unhandled type punning in load in asm mode Build #1540: Commit 8138ebb pushed by nunoplopes
January 5, 2025 15:06 6m 44s master
master
January 5, 2025 15:06 6m 44s
fix #1156: unhandled type punning in load in asm mode Code Scanning - Action #1729: Commit 8138ebb pushed by nunoplopes
January 5, 2025 15:06 3m 49s master
master
January 5, 2025 15:06 3m 49s
llvm2alive: fix copying src constants to tgt Code Scanning - Action #1728: Commit 19bbf3c pushed by nunoplopes
January 5, 2025 14:47 3m 37s master
master
January 5, 2025 14:47 3m 37s
llvm2alive: fix copying src constants to tgt Build #1539: Commit 19bbf3c pushed by nunoplopes
January 5, 2025 14:47 7m 42s master
master
January 5, 2025 14:47 7m 42s
fix #1153: relax ptr refinement in asm mode for local blocks Code Scanning - Action #1727: Commit c061dc5 pushed by nunoplopes
January 5, 2025 10:24 3m 40s master
master
January 5, 2025 10:24 3m 40s
fix #1153: relax ptr refinement in asm mode for local blocks Build #1538: Commit c061dc5 pushed by nunoplopes
January 5, 2025 10:24 7m 28s master
master
January 5, 2025 10:24 7m 28s
Fix false positive on icmp ptr with samesign flag (#1151) Build #1537: Commit da0d731 pushed by nunoplopes
January 5, 2025 09:49 21m 22s master
master
January 5, 2025 09:49 21m 22s
Fix false positive on icmp ptr with samesign flag (#1151) Code Scanning - Action #1726: Commit da0d731 pushed by nunoplopes
January 5, 2025 09:49 7m 12s master
master
January 5, 2025 09:49 7m 12s
Fix false positive on icmp ptr with samesign flag Code Scanning - Action #1725: Pull request #1151 synchronize by nunoplopes
January 5, 2025 09:48 5m 12s dtcxzyw:icmp-ptr-samesign-fp
dtcxzyw:icmp-ptr-samesign-fp
January 5, 2025 09:48 5m 12s
Fix false positive on icmp ptr with samesign flag Build #1536: Pull request #1151 synchronize by nunoplopes
January 5, 2025 09:48 17m 20s dtcxzyw:icmp-ptr-samesign-fp
dtcxzyw:icmp-ptr-samesign-fp
January 5, 2025 09:48 17m 20s
Fix false positive on icmp ptr with samesign flag Code Scanning - Action #1724: Pull request #1151 synchronize by nunoplopes
January 5, 2025 09:47 5m 5s dtcxzyw:icmp-ptr-samesign-fp
dtcxzyw:icmp-ptr-samesign-fp
January 5, 2025 09:47 5m 5s
Fix false positive on icmp ptr with samesign flag Build #1535: Pull request #1151 synchronize by nunoplopes
January 5, 2025 09:47 14m 41s dtcxzyw:icmp-ptr-samesign-fp
dtcxzyw:icmp-ptr-samesign-fp
January 5, 2025 09:47 14m 41s
optimize icmp to only observe ptrs when doing an addr comparison Build #1534: Commit 27f031a pushed by nunoplopes
January 5, 2025 09:46 9m 31s master
master
January 5, 2025 09:46 9m 31s
optimize icmp to only observe ptrs when doing an addr comparison Code Scanning - Action #1723: Commit 27f031a pushed by nunoplopes
January 5, 2025 09:46 3m 59s master
master
January 5, 2025 09:46 3m 59s