Skip to content

Actions: bjjwwang/SVF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
473 workflow runs
473 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve error message svf-build #395: Commit a6cc771 pushed by ethanLin520
August 29, 2024 11:28 13m 0s nullderef_trial
nullderef_trial
August 29, 2024 11:28 13m 0s
refactor bug recording svf-build #394: Commit 8b3b350 pushed by ethanLin520
August 28, 2024 13:54 13m 8s nullderef_trial
nullderef_trial
August 28, 2024 13:54 13m 8s
implemented correct bug reporting svf-build #393: Commit fcccab9 pushed by ethanLin520
August 28, 2024 13:18 13m 31s nullderef_trial
nullderef_trial
August 28, 2024 13:18 13m 31s
added cmd line option for nullptrdereference svf-build #392: Commit 4dcf995 pushed by ethanLin520
August 28, 2024 11:56 13m 18s nullderef_trial
nullderef_trial
August 28, 2024 11:56 13m 18s
initial implementation of NullPtrDerefDetector svf-build #391: Commit 6c0914d pushed by ethanLin520
August 26, 2024 05:51 3m 18s nullderef_trial
nullderef_trial
August 26, 2024 05:51 3m 18s
SVF code formatter svf-build #390: Commit 581cdbc pushed by bjjwwang
August 26, 2024 04:02 13m 37s nullderef
nullderef
August 26, 2024 04:02 13m 37s
Update LICENSE.TXT Docker #5: Commit f82133e pushed by bjjwwang
August 14, 2024 12:18 3s master
master
August 14, 2024 12:18 3s
Update LICENSE.TXT svf-publish #86: Commit f82133e pushed by bjjwwang
August 14, 2024 12:18 2s master
master
August 14, 2024 12:18 2s
Update LICENSE.TXT svf-build #389: Commit f82133e pushed by bjjwwang
August 14, 2024 12:18 6m 48s master
master
August 14, 2024 12:18 6m 48s
Update github-action.yml svf-publish #85: Commit 0486e27 pushed by bjjwwang
August 14, 2024 12:07 2s master
master
August 14, 2024 12:07 2s
Update github-action.yml svf-build #388: Commit 0486e27 pushed by bjjwwang
August 14, 2024 12:07 6m 3s master
master
August 14, 2024 12:07 6m 3s
Update github-action.yml Docker #4: Commit 0486e27 pushed by bjjwwang
August 14, 2024 12:07 3s master
master
August 14, 2024 12:07 3s
Merge branch 'master' into 1230 svf-build #387: Commit b4c0790 pushed by bjjwwang
August 14, 2024 12:06 5m 39s 1230
1230
August 14, 2024 12:06 5m 39s
1230 svf-build #386: Pull request #1 synchronize by bjjwwang
August 14, 2024 12:06 6m 52s 1230
1230
August 14, 2024 12:06 6m 52s
add binaryOp test in SVF-EX svf-build #385: Commit 51c7165 pushed by bjjwwang
August 3, 2024 12:38 5m 9s 0803
0803
August 3, 2024 12:38 5m 9s
fix CI svf-build #384: Commit 7660b94 pushed by bjjwwang
July 29, 2024 03:18 14m 53s 0726
0726
July 29, 2024 03:18 14m 53s
refactor IntervalValue svf-build #383: Commit dbf0d37 pushed by bjjwwang
July 27, 2024 11:38 4m 11s 0726
0726
July 27, 2024 11:38 4m 11s
refactor IntervalValue svf-build #382: Commit f36bf30 pushed by bjjwwang
July 27, 2024 11:32 4m 13s 0726
0726
July 27, 2024 11:32 4m 13s
fix intervalValue::bottom() bug svf-build #381: Commit 3e4bb27 pushed by bjjwwang
July 27, 2024 10:30 13m 48s 0726
0726
July 27, 2024 10:30 13m 48s
add interval constructor validation svf-build #380: Commit 3d74b43 pushed by bjjwwang
July 26, 2024 13:57 3m 55s 0726
0726
July 26, 2024 13:57 3m 55s
fix typeinference for global object svf-build #379: Commit a07b9db pushed by jumormt
July 18, 2024 11:43 14m 42s 0714
0714
July 18, 2024 11:43 14m 42s
fix svf-build #378: Commit c50f62a pushed by jumormt
July 18, 2024 11:37 14m 22s 0714
0714
July 18, 2024 11:37 14m 22s
fix "int a[2] = {2, 2};" case svf-build #377: Commit 634e48b pushed by bjjwwang
July 14, 2024 09:39 14m 50s 0714
0714
July 14, 2024 09:39 14m 50s
fix "int a[2] = {2, 2};" case svf-build #376: Commit 28b0f44 pushed by bjjwwang
July 14, 2024 09:34 4m 10s 0714
0714
July 14, 2024 09:34 4m 10s
fix "int a[2] = {2, 2};" case svf-build #375: Commit 765789a pushed by bjjwwang
July 14, 2024 09:32 3m 8s 0714
0714
July 14, 2024 09:32 3m 8s