Skip to content

Actions: SVF-tools/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-action.yml
1,032 workflow runs
1,032 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add process unreachable bbs svf-build #2843: Pull request #1619 opened by jumormt
December 25, 2024 01:47 13m 36s jumormt:12.25fix
jumormt:12.25fix
December 25, 2024 01:47 13m 36s
use ubuntu latest (#1615) svf-build #2842: Commit 7ae53a5 pushed by yuleisui
December 21, 2024 06:04 13m 25s master
master
December 21, 2024 06:04 13m 25s
use ubuntu latest svf-build #2841: Pull request #1615 synchronize by TalbenXu
December 20, 2024 13:23 13m 32s jumormt:cov
jumormt:cov
December 20, 2024 13:23 13m 32s
use ubuntu latest svf-build #2840: Pull request #1615 synchronize by TalbenXu
December 20, 2024 13:21 13m 54s jumormt:cov
jumormt:cov
December 20, 2024 13:21 13m 54s
Merge pull request #1616 from shuangxiangkan/master svf-build #2839: Commit 21f5718 pushed by yuleisui
December 20, 2024 09:45 13m 5s master
master
December 20, 2024 09:45 13m 5s
Remove regex in CFGNormalizer svf-build #2838: Pull request #1617 synchronize by TalbenXu
December 20, 2024 05:20 13m 7s TalbenXu:tomerge
TalbenXu:tomerge
December 20, 2024 05:20 13m 7s
use ubuntu latest svf-build #2837: Pull request #1615 synchronize by jumormt
December 20, 2024 04:48 3m 29s jumormt:cov
jumormt:cov
December 20, 2024 04:48 3m 29s
use ubuntu latest svf-build #2836: Pull request #1615 synchronize by jumormt
December 20, 2024 04:46 3m 22s jumormt:cov
jumormt:cov
December 20, 2024 04:46 3m 22s
Remove regex in CFGNormalizer svf-build #2835: Pull request #1617 synchronize by TalbenXu
December 20, 2024 04:46 12m 26s TalbenXu:tomerge
TalbenXu:tomerge
December 20, 2024 04:46 12m 26s
Remove regex in CFGNormalizer svf-build #2834: Pull request #1617 opened by TalbenXu
December 20, 2024 04:37 12m 47s TalbenXu:tomerge
TalbenXu:tomerge
December 20, 2024 04:37 12m 47s
Add "ALLOC_STACK_RET" annotation in extapi.c svf-build #2833: Pull request #1616 opened by shuangxiangkan
December 20, 2024 00:02 12m 34s shuangxiangkan:master
shuangxiangkan:master
December 20, 2024 00:02 12m 34s
use ubuntu latest svf-build #2832: Pull request #1615 synchronize by jumormt
December 19, 2024 11:46 10m 23s jumormt:cov
jumormt:cov
December 19, 2024 11:46 10m 23s
Merge pull request #1614 from jumormt/12.19fix svf-build #2831: Commit 27656e7 pushed by yuleisui
December 19, 2024 11:40 13m 23s master
master
December 19, 2024 11:40 13m 23s
use ubuntu latest svf-build #2830: Pull request #1615 opened by jumormt
December 19, 2024 11:37 10m 34s jumormt:cov
jumormt:cov
December 19, 2024 11:37 10m 34s
12.19fix svf-build #2829: Pull request #1614 opened by jumormt
December 19, 2024 11:18 12m 45s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 11:18 12m 45s
remove hasName assertion and terminate early for no-name function svf-build #2828: Pull request #1613 by jumormt
December 19, 2024 10:23 Failure jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 10:23 Failure
remove hasName assertion and terminate early for no-name function svf-build #2827: Pull request #1613 synchronize by jumormt
December 19, 2024 10:14 10m 27s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 10:14 10m 27s
remove hasName assertion and terminate early for no-name function svf-build #2826: Pull request #1613 synchronize by jumormt
December 19, 2024 09:48 10m 44s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 09:48 10m 44s
remove hasName assertion and terminate early for no-name function svf-build #2825: Pull request #1613 synchronize by jumormt
December 19, 2024 09:44 1m 8s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 09:44 1m 8s
remove hasName assertion and terminate early for no-name function svf-build #2824: Pull request #1613 synchronize by jumormt
December 19, 2024 09:42 3m 27s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 09:42 3m 27s
remove hasName assertion and terminate early for no-name function svf-build #2823: Pull request #1613 synchronize by jumormt
December 19, 2024 09:41 3m 54s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 09:41 3m 54s
remove hasName assertion and terminate early for no-name function svf-build #2822: Pull request #1613 synchronize by jumormt
December 19, 2024 09:35 3m 13s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 09:35 3m 13s
remove hasName assertion and terminate early for no-name function svf-build #2821: Pull request #1613 synchronize by jumormt
December 19, 2024 09:23 3m 19s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 09:23 3m 19s
remove hasName assertion and terminate early for no-name function svf-build #2820: Pull request #1613 opened by jumormt
December 19, 2024 08:56 3m 6s jumormt:12.19fix
jumormt:12.19fix
December 19, 2024 08:56 3m 6s
Merge pull request #1611 from jumormt/master svf-build #2819: Commit 0f3f2c6 pushed by yuleisui
December 18, 2024 09:12 12m 49s master
master
December 18, 2024 09:12 12m 49s