Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 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 #835: Pull request #810 synchronize by shaobo-he
In progress cs
cs
In progress
Preserve field-granular regions in the CS pipeline SMACK CI #834: Commit 76165f7 pushed by shaobo-he
13m 31s cs
cs
13m 31s
Prototype LLVM 15 support SMACK CI #833: Pull request #832 synchronize by shaobo-he
7m 48s llvm15-develop-prototype
llvm15-develop-prototype
7m 48s
Fix LLVM 15 SV-COMP driver regressions SMACK CI #832: Commit 18e1f21 pushed by shaobo-he
8m 26s llvm15-develop-prototype
llvm15-develop-prototype
8m 26s
Add context-sensitive DSA with per-function memory regions SMACK CI #831: Pull request #810 synchronize by shaobo-he
51m 41s cs
cs
51m 41s
Keep threading for region classes with paired same-function regions SMACK CI #830: Commit 404f5e1 pushed by shaobo-he
50m 9s cs
cs
50m 9s
Prototype LLVM 15 support SMACK CI #829: Pull request #832 synchronize by shaobo-he
4m 0s llvm15-develop-prototype
llvm15-develop-prototype
4m 0s
Use SeaDsa opaque pointer field recovery SMACK CI #828: Commit ff336b2 pushed by shaobo-he
8m 45s llvm15-develop-prototype
llvm15-develop-prototype
8m 45s
Emit cross-function memory as module-level maps SMACK CI #827: Commit 737bc60 pushed by shaobo-he
35m 39s cs
cs
35m 39s
Add context-sensitive DSA with per-function memory regions SMACK CI #826: Pull request #810 synchronize by shaobo-he
17m 46s cs
cs
17m 46s
Prototype LLVM 15 support SMACK CI #825: Pull request #832 synchronize by shaobo-he
17m 24s llvm15-develop-prototype
llvm15-develop-prototype
17m 24s
Apply LLVM 15 formatting SMACK CI #824: Commit f1f79df pushed by shaobo-he
14m 2s llvm15-develop-prototype
llvm15-develop-prototype
14m 2s
Prototype LLVM 15 support SMACK CI #823: Pull request #832 opened by shaobo-he
2m 13s llvm15-develop-prototype
llvm15-develop-prototype
2m 13s
Prototype LLVM 15 support SMACK CI #822: Commit 929621a pushed by shaobo-he
1m 49s llvm15-develop-prototype
llvm15-develop-prototype
1m 49s
Merge pull request #831 from smackers/release-2.10.0 SMACK CI #821: Commit a33d1bd pushed by shaobo-he
28m 30s develop
develop
28m 30s
Merge release 2.10.0 back into develop SMACK CI #820: Pull request #831 opened by shaobo-he
19m 25s release-2.10.0
release-2.10.0
19m 25s
Merge pull request #830 from smackers/release-2.10.0 SMACK CI #819: Commit 0a64471 pushed by shaobo-he
15m 9s v2.10.0
v2.10.0
15m 9s
Merge pull request #830 from smackers/release-2.10.0 SMACK CI #818: Commit 0a64471 pushed by shaobo-he
13m 49s main
main
13m 49s
Release 2.10.0 SMACK CI #817: Pull request #830 reopened by shaobo-he
27m 48s release-2.10.0
release-2.10.0
27m 48s
Release 2.10.0 SMACK CI #816: Pull request #830 opened by shaobo-he
24m 59s release-2.10.0
release-2.10.0
24m 59s
Bumped version number to 2.10.0 SMACK CI #815: Commit afe5809 pushed by shaobo-he
24m 58s release-2.10.0
release-2.10.0
24m 58s
Add context-sensitive DSA with per-function memory regions SMACK CI #814: Pull request #810 synchronize by shaobo-he
23m 6s cs
cs
23m 6s
Terminate reachable region closure on stable size SMACK CI #813: Commit 71c48e2 pushed by shaobo-he
21m 10s cs
cs
21m 10s
Add context-sensitive DSA with per-function memory regions SMACK CI #812: Pull request #810 synchronize by shaobo-he
6h 8m 15s cs
cs
6h 8m 15s
Thread memory through inline SMACK calls SMACK CI #811: Commit f751018 pushed by shaobo-he
6h 0m 20s cs
cs
6h 0m 20s