Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add context-sensitive DSA with per-function memory regions SMACK CI #686: Pull request #810 synchronize by shaobo-he
7m 55s cs
cs
7m 55s
Fix formatting SMACK CI #685: Commit fab4750 pushed by shaobo-he
4m 0s cs
cs
4m 0s
Add context-sensitive DSA with per-function memory regions SMACK CI #684: Pull request #810 synchronize by shaobo-he
2m 45s cs
cs
2m 45s
Fix remaining CS-DSA regressions and update documentation SMACK CI #683: Commit 43b5c85 pushed by shaobo-he
2m 55s cs
cs
2m 55s
Add context-sensitive DSA with per-function memory regions SMACK CI #682: Pull request #810 synchronize by shaobo-he
3m 23s cs
cs
3m 23s
Add context-sensitive DSA with per-function memory regions SMACK CI #681: Commit df73bd9 pushed by shaobo-he
1m 54s cs
cs
1m 54s
Add context-sensitive DSA with per-function memory regions SMACK CI #680: Pull request #810 synchronize by shaobo-he
3m 34s cs
cs
3m 34s
Add context-sensitive DSA with per-function memory regions SMACK CI #679: Commit bbf0148 pushed by shaobo-he
1m 53s cs
cs
1m 53s
Add context-sensitive DSA with per-function memory regions SMACK CI #678: Pull request #810 synchronize by shaobo-he
3m 33s cs
cs
3m 33s
Add context-sensitive DSA with per-function memory regions SMACK CI #677: Commit 2385908 pushed by shaobo-he
1m 58s cs
cs
1m 58s
Add context-sensitive DSA with per-function memory regions SMACK CI #676: Pull request #810 opened by shaobo-he
7m 20s cs
cs
7m 20s
Add context-sensitive DSA with per-function memory regions SMACK CI #675: Commit a49dd5d pushed by shaobo-he
3m 46s cs
cs
3m 46s
Add integer sign inference analysis pass SMACK CI #674: Pull request #808 synchronize by shaobo-he
35m 48s sign-analysis
sign-analysis
35m 48s
Bug fix SMACK CI #673: Commit 5379094 pushed by shaobo-he
31m 18s sign-analysis
sign-analysis
31m 18s
Add function inlining pass to improve DSA precision SMACK CI #672: Pull request #809 synchronize by shaobo-he
37m 8s function-inlining
function-inlining
37m 8s
updates SMACK CI #671: Commit 8a69c5d pushed by shaobo-he
23m 5s function-inlining
function-inlining
23m 5s
Add function inlining pass to improve DSA precision SMACK CI #670: Pull request #809 synchronize by shaobo-he
21m 23s function-inlining
function-inlining
21m 23s
Disable function inlining by default, enable for SVCOMP SMACK CI #669: Commit b72b335 pushed by shaobo-he
14m 0s function-inlining
function-inlining
14m 0s
Add function inlining pass to improve DSA precision SMACK CI #668: Pull request #809 opened by shaobo-he
1m 50s function-inlining
function-inlining
1m 50s
Add function inlining pass to improve DSA precision SMACK CI #667: Commit 4508070 pushed by shaobo-he
1m 50s function-inlining
function-inlining
1m 50s
Add integer sign inference analysis pass SMACK CI #666: Pull request #808 synchronize by shaobo-he
21m 26s sign-analysis
sign-analysis
21m 26s
Apply clang-format to SignAnalysis files SMACK CI #665: Commit 7b68e0d pushed by shaobo-he
12m 34s sign-analysis
sign-analysis
12m 34s
Add integer sign inference analysis pass SMACK CI #664: Pull request #808 opened by shaobo-he
2m 59s sign-analysis
sign-analysis
2m 59s
Add integer sign inference analysis pass SMACK CI #663: Commit e1a6d85 pushed by shaobo-he
1m 50s sign-analysis
sign-analysis
1m 50s
Add integer sign inference analysis pass SMACK CI #662: Pull request #807 opened by shaobo-he
1m 55s sign-analysis
sign-analysis
1m 55s