Skip to content

Actions: yuleisui/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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