Skip to content

Actions: JoelYYoung/SVF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
344 workflow runs
344 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
fix(ae): use pointer comparisons for branch feasibility svf-build #348: Commit babc65e pushed by JoelYYoung
22m 19s ae-core-domain-state
ae-core-domain-state
22m 19s
fix(ae): restore Box sparse CI semantics svf-build #347: Commit 749d96d pushed by JoelYYoung
18m 12s ae-core-domain-state
ae-core-domain-state
18m 12s
refactor(ae): prepare BoxAddress implementation for upstream svf-build #346: Commit 06bab18 pushed by JoelYYoung
9m 44s ae-core-domain-state
ae-core-domain-state
9m 44s
test(AE): canonicalize upstream result projection svf-build #345: Commit e5ba64f pushed by JoelYYoung
22m 33s experiment/upstream-ae-result-hash
experiment/upstream-ae-result-hash
22m 33s
fix(AE): close Box and Address semantic gaps svf-build #344: Commit 45b7d18 pushed by JoelYYoung
10m 7s ae-core-domain-state
ae-core-domain-state
10m 7s
refactor(ae): restore upstream interpretation structure svf-build #343: Commit 62a82cf pushed by JoelYYoung
9m 56s ae-core-domain-state
ae-core-domain-state
9m 56s
refactor(ae): clarify domain and sparse analysis names svf-build #342: Commit cd4d364 pushed by JoelYYoung
9m 42s ae-core-domain-state
ae-core-domain-state
9m 42s
perf(ae): break down sparse transfer profiling svf-build #341: Commit a720b27 pushed by JoelYYoung
9m 39s ae-core-domain-state
ae-core-domain-state
9m 39s
perf(ae): assign singleton intervals directly svf-build #340: Commit fa245fc pushed by JoelYYoung
8m 21s ae-core-domain-state
ae-core-domain-state
8m 21s
test(ae): time global and statement transfers svf-build #339: Commit 4f75f28 pushed by JoelYYoung
9m 38s ae-core-domain-state
ae-core-domain-state
9m 38s
perf(ae): filter only the scalar state partition svf-build #338: Commit a3ec29b pushed by JoelYYoung
9m 3s ae-core-domain-state
ae-core-domain-state
9m 3s
perf(box): join copy-on-write pages directly svf-build #337: Commit 6511526 pushed by JoelYYoung
8m 5s ae-core-domain-state
ae-core-domain-state
8m 5s
perf(ae): keep absent memory facets implicit svf-build #336: Commit cd3d9aa pushed by JoelYYoung
7m 51s ae-core-domain-state
ae-core-domain-state
7m 51s
fix(ae): preserve pointer-valued memory fields svf-build #335: Commit a8a4d44 pushed by JoelYYoung
10m 2s ae-core-domain-state
ae-core-domain-state
10m 2s
experiment(ae): type memory queries by access svf-build #334: Commit 25d16b3 pushed by JoelYYoung
22m 23s experiment/upstream-ae-result-hash
experiment/upstream-ae-result-hash
22m 23s
fix(ae): retain global pointer constant addresses svf-build #333: Commit 244be9e pushed by JoelYYoung
10m 14s ae-core-domain-state
ae-core-domain-state
10m 14s
fix(ae): lazily register analysis object locations svf-build #332: Commit bc08152 pushed by JoelYYoung
9m 7s ae-core-domain-state
ae-core-domain-state
9m 7s
experiment(ae): normalize null-derived field objects svf-build #331: Commit 25e657f pushed by JoelYYoung
22m 9s experiment/upstream-ae-result-hash
experiment/upstream-ae-result-hash
22m 9s
fix(ae): register dynamically created memory objects svf-build #330: Commit 129db69 pushed by JoelYYoung
8m 7s ae-core-domain-state
ae-core-domain-state
8m 7s
test(ae): version null-normalized query projection svf-build #328: Commit 2b3494a pushed by JoelYYoung
8m 6s ae-core-domain-state
ae-core-domain-state
8m 6s
experiment(ae): normalize null object addresses svf-build #329: Commit 822d014 pushed by JoelYYoung
22m 3s experiment/upstream-ae-result-hash
experiment/upstream-ae-result-hash
22m 3s
test(ae): classify semantic query differences svf-build #327: Commit 9682a56 pushed by JoelYYoung
8m 20s ae-core-domain-state
ae-core-domain-state
8m 20s
test(ae): mark unfinished hash runs incomparable svf-build #326: Commit 28a3cf8 pushed by JoelYYoung
8m 2s ae-core-domain-state
ae-core-domain-state
8m 2s
Merge branch 'SVF-tools:master' into master Docker #18: Commit fe8a569 pushed by JoelYYoung
2s master
master
2s
Merge branch 'SVF-tools:master' into master svf-build #325: Commit fe8a569 pushed by JoelYYoung
19m 20s master
master
19m 20s