Skip to content

Actions: yuleisui/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove quotes from AE no-main CI regex (#1827) svf-build #25: Commit 5c45081 pushed by yuleisui
23m 35s master
master
23m 35s
Merge pull request #1825 from bjjwwang/extapi svf-build #24: Commit 72ff689 pushed by yuleisui
22m 32s master
master
22m 32s
fix: the entry point should be "svf_main" if using -svf-main (#1818) svf-build #23: Commit c8c6042 pushed by yuleisui
23m 35s master
master
23m 35s
add/update SVFG APIs for sparseAE svf-build #22: Commit e4e0201 pushed by yuleisui
23m 10s master
master
23m 10s
SVF code formatter svf-build #21: Commit ef82c7f pushed by yuleisui
20m 27s master
master
20m 27s
Refactor CallPE to phi-like MultiOpndStmt at FunEntryICFGNodeCallpe (… svf-build #20: Commit f99837c pushed by yuleisui
21m 43s master
master
21m 43s
SVF code formatter svf-build #19: Commit 3adea29 pushed by yuleisui
21m 53s master
master
21m 53s
remove setICFGNode svf-build #18: Commit 53bfeb6 pushed by yuleisui
20m 34s master
master
20m 34s
fix const_cast of ValVars svf-build #17: Commit cbca4ad pushed by yuleisui
21m 30s master
master
21m 30s
SVF code formatter svf-build #16: Commit baf619b pushed by yuleisui
21m 6s master
master
21m 6s
Merge pull request #1783 from yuleisui/master svf-build #15: Commit 25f4c58 pushed by yuleisui
22m 14s master
master
22m 14s
move assert(fun->arg_size() >= 1) ahead svf-build #14: Commit 685dde2 pushed by yuleisui
21m 49s master
master
21m 49s
Merge branch 'SVF-tools:master' into master svf-build #13: Commit d5d4a00 pushed by yuleisui
23m 32s master
master
23m 32s
fix this pointer for struct ret svf-build #12: Commit 9d4ec74 pushed by yuleisui
22m 2s master
master
22m 2s
update llvm/svf version svf-build #11: Commit 69876ae pushed by yuleisui
21m 22s master
master
21m 22s
Merge pull request #1780 from JasonZhongZexin/graph-db-final-v5 svf-build #10: Commit 6d94f81 pushed by yuleisui
20m 53s master
master
20m 53s
Merge pull request #1766 from FXTi/master svf-build #9: Commit 80c478f pushed by yuleisui
20m 50s master
master
20m 50s
SVF code formatter svf-build #8: Commit 43fc7ce pushed by yuleisui
22m 59s master
master
22m 59s
unify BaseObjVar type with SVFVar type svf-build #7: Commit 7802bb4 pushed by yuleisui
20m 37s master
master
20m 37s
add preProcessBCs in svf-ex svf-build #6: Commit 2fd92c6 pushed by yuleisui
23m 3s master
master
23m 3s
Merge pull request #1754 from Xinlong-Wu/patch-1 svf-build #5: Commit a58eaf8 pushed by yuleisui
22m 10s master
master
22m 10s
remove 1st arg of ICFGWTO svf-build #4: Commit dd911f3 pushed by yuleisui
22m 10s master
master
22m 10s
Merge pull request #1737 from bjjwwang/master svf-build #3: Commit 5c9d6b5 pushed by yuleisui
21m 34s master
master
21m 34s
Set BlackHole and ConstObj field-insensitive svf-build #2: Commit 02a97b5 pushed by yuleisui
14m 56s master
master
14m 56s
Update README.md svf-build #1: Commit 3521703 pushed by yuleisui
15m 22s master
master
15m 22s