Skip to content

Actions: SVF-tools/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-action.yml
996 workflow runs
996 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix intervalValue compare operators svf-build #1899: Pull request #1251 opened by bjjwwang
November 21, 2023 10:45 13m 51s bjjwwang:1107
bjjwwang:1107
November 21, 2023 10:45 13m 51s
Merge pull request #1249 from yuleisui/master svf-build #1898: Commit 3acbda7 pushed by yuleisui
November 20, 2023 11:03 15m 39s master
master
November 20, 2023 11:03 15m 39s
Add BinaryOp and UnaryOp into BreakConstantExpr svf-build #1897: Pull request #1249 opened by yuleisui
November 20, 2023 10:28 13m 20s master
master
November 20, 2023 10:28 13m 20s
Update dda.cpp svf-build #1896: Commit 388ac60 pushed by yuleisui
November 20, 2023 03:42 12m 8s master
master
November 20, 2023 03:42 12m 8s
Merge pull request #1247 from bjjwwang/1107 svf-build #1895: Commit 6c82edf pushed by yuleisui
November 17, 2023 13:13 12m 7s master
master
November 17, 2023 13:13 12m 7s
fix if offsetVarAndGepTypePair.second is nullptr svf-build #1894: Pull request #1247 synchronize by bjjwwang
November 17, 2023 13:11 14m 21s bjjwwang:1107
bjjwwang:1107
November 17, 2023 13:11 14m 21s
fix if offsetVarAndGepTypePair.second is nullptr svf-build #1893: Pull request #1247 opened by bjjwwang
November 17, 2023 12:50 16m 3s bjjwwang:1107
bjjwwang:1107
November 17, 2023 12:50 16m 3s
Merge pull request #1246 from bjjwwang/1107 svf-build #1892: Commit fd80c14 pushed by yuleisui
November 17, 2023 12:43 12m 25s master
master
November 17, 2023 12:43 12m 25s
fix 2 bug svf-build #1891: Pull request #1246 synchronize by bjjwwang
November 17, 2023 12:22 12m 29s bjjwwang:1107
bjjwwang:1107
November 17, 2023 12:22 12m 29s
fix 2 bug svf-build #1890: Pull request #1246 synchronize by bjjwwang
November 17, 2023 12:05 5m 37s bjjwwang:1107
bjjwwang:1107
November 17, 2023 12:05 5m 37s
Merge pull request #1245 from jumormt/11.15 svf-build #1889: Commit 84d5117 pushed by yuleisui
November 15, 2023 11:46 21m 41s master
master
November 15, 2023 11:46 21m 41s
use getPtrElementType rather than getpointerelementtype svf-build #1888: Pull request #1245 opened by jumormt
November 15, 2023 10:26 16m 56s jumormt:11.15
jumormt:11.15
November 15, 2023 10:26 16m 56s
Bump LLVM from 14 to 15 svf-build #1887: Pull request #1244 opened by jumormt
November 15, 2023 08:15 19m 28s jumormt:llvm15
jumormt:llvm15
November 15, 2023 08:15 19m 28s
Bump LLVM from 14 to 15 svf-build #1886: Pull request #1242 opened by jumormt
November 15, 2023 06:05 19m 55s jumormt:llvm15
jumormt:llvm15
November 15, 2023 06:05 19m 55s
Merge pull request #1241 from bjjwwang/1107 svf-build #1885: Commit bf3ed56 pushed by yuleisui
November 10, 2023 11:37 12m 4s master
master
November 10, 2023 11:37 12m 4s
add coverage and fix struct gep accumulatedGepByteOffset() svf-build #1884: Pull request #1241 synchronize by bjjwwang
November 10, 2023 10:53 11m 57s bjjwwang:1107
bjjwwang:1107
November 10, 2023 10:53 11m 57s
add coverage and fix struct gep accumulatedGepByteOffset() svf-build #1883: Pull request #1241 synchronize by bjjwwang
November 10, 2023 10:22 16m 30s bjjwwang:1107
bjjwwang:1107
November 10, 2023 10:22 16m 30s
add coverage and fix struct gep accumulatedGepByteOffset() svf-build #1882: Pull request #1241 synchronize by bjjwwang
November 10, 2023 04:36 12m 8s bjjwwang:1107
bjjwwang:1107
November 10, 2023 04:36 12m 8s
Update .codecov.yml svf-build #1881: Commit 572da48 pushed by yuleisui
November 8, 2023 02:11 16m 52s master
master
November 8, 2023 02:11 16m 52s
Merge pull request #1240 from bjjwwang/1107 svf-build #1880: Commit c45c0f2 pushed by yuleisui
November 8, 2023 01:08 15m 19s master
master
November 8, 2023 01:08 15m 19s
fix getByteOffsets in GepStmt and SVFIR2ItvExeState svf-build #1879: Pull request #1240 synchronize by bjjwwang
November 8, 2023 00:38 16m 34s bjjwwang:1107
bjjwwang:1107
November 8, 2023 00:38 16m 34s
fix getByteOffsets in GepStmt and SVFIR2ItvExeState svf-build #1878: Pull request #1240 synchronize by bjjwwang
November 8, 2023 00:23 11m 40s bjjwwang:1107
bjjwwang:1107
November 8, 2023 00:23 11m 40s
fix getByteOffsets in GepStmt and SVFIR2ItvExeState svf-build #1877: Pull request #1240 synchronize by bjjwwang
November 7, 2023 06:47 18m 52s bjjwwang:1107
bjjwwang:1107
November 7, 2023 06:47 18m 52s
fix getByteOffsets in GepStmt and SVFIR2ItvExeState svf-build #1876: Pull request #1240 synchronize by bjjwwang
November 7, 2023 05:54 19m 30s bjjwwang:1107
bjjwwang:1107
November 7, 2023 05:54 19m 30s
fix getByteOffsets in GepStmt and SVFIR2ItvExeState svf-build #1875: Pull request #1240 synchronize by bjjwwang
November 7, 2023 05:47 2m 12s bjjwwang:1107
bjjwwang:1107
November 7, 2023 05:47 2m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.