Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
237 workflow runs
237 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
Merge pull request #840 from smackers/bump-z3 SMACK CI #868: Commit a9ef795 pushed by shaobo-he
22m 51s develop
develop
22m 51s
Bump Z3 version to 5.0.0 SMACK CI #867: Pull request #840 synchronize by shaobo-he
23m 2s bump-z3
bump-z3
23m 2s
fix download link SMACK CI #866: Commit 9336168 pushed by shaobo-he
13m 5s bump-z3
bump-z3
13m 5s
Bump Z3 version to 5.0.0 SMACK CI #865: Pull request #840 opened by shaobo-he
2m 32s bump-z3
bump-z3
2m 32s
Bump Z3 version to 5.0.0 SMACK CI #864: Commit 11e3bf3 pushed by shaobo-he
1m 31s bump-z3
bump-z3
1m 31s
Fix wrapped pointer arithmetic and comparisons SMACK CI #863: Pull request #836 synchronize by shaobo-he
25m 12s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
25m 12s
Keep wrapped pointer fix out of memory regions SMACK CI #862: Commit 14ebf42 pushed by shaobo-he
14m 55s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
14m 55s
Fix wrapped pointer arithmetic and comparisons SMACK CI #861: Pull request #836 synchronize by shaobo-he
44m 17s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
44m 17s
Distinguish external and unsafe memory regions SMACK CI #860: Commit 1c0503f pushed by shaobo-he
40m 15s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
40m 15s
Fix wrapped pointer arithmetic and comparisons SMACK CI #859: Pull request #836 synchronize by shaobo-he
14m 10s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
14m 10s
Preserve aliases from external pointer sources SMACK CI #858: Commit 62d0f7a pushed by shaobo-he
8m 58s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
8m 58s
Fix wrapped pointer arithmetic and comparisons SMACK CI #857: Pull request #836 synchronize by shaobo-he
18m 31s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
18m 31s
Preserve aliases through pointer-integer casts SMACK CI #856: Commit a30fff9 pushed by shaobo-he
18m 3s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
18m 3s
Fix wrapped pointer arithmetic and comparisons SMACK CI #855: Pull request #836 opened by shaobo-he
20m 55s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
20m 55s
Fix wrapped pointer arithmetic and comparisons SMACK CI #854: Commit 9ccd884 pushed by shaobo-he
14m 27s fix-issue-804-wrapped-pointers
fix-issue-804-wrapped-pointers
14m 27s
Preserve CS memory relations and reduce SV-COMP state SMACK CI #853: Pull request #835 synchronize by shaobo-he
20m 8s fix-cs-region-soundness
fix-cs-region-soundness
20m 8s
Align the CS memory-plan document with the implementation SMACK CI #852: Commit c663534 pushed by shaobo-he
10m 12s fix-cs-region-soundness
fix-cs-region-soundness
10m 12s
Implement documentation roadmap and fix no-op asserts in examples SMACK CI #851: Pull request #818 synchronize by shaobo-he
21m 40s update-docs
update-docs
21m 40s
docs: correct SMACK usage guidance SMACK CI #850: Commit 946edf7 pushed by shaobo-he
17m 18s update-docs
update-docs
17m 18s
Preserve CS memory relations and reduce SV-COMP state SMACK CI #849: Pull request #835 synchronize by shaobo-he
17m 48s fix-cs-region-soundness
fix-cs-region-soundness
17m 48s
Apply clang-format to region fixes SMACK CI #848: Commit 76d7ad5 pushed by shaobo-he
10m 58s fix-cs-region-soundness
fix-cs-region-soundness
10m 58s
Preserve CS memory relations and reduce SV-COMP state SMACK CI #847: Pull request #835 synchronize by shaobo-he
3m 24s fix-cs-region-soundness
fix-cs-region-soundness
3m 24s
Fix CS call-site region mapping failures SMACK CI #846: Commit 97fd803 pushed by shaobo-he
1m 47s fix-cs-region-soundness
fix-cs-region-soundness
1m 47s
Preserve CS memory relations and reduce SV-COMP state SMACK CI #845: Pull request #835 synchronize by shaobo-he
19m 38s fix-cs-region-soundness
fix-cs-region-soundness
19m 38s
Update SeaDsa cleanup after audit SMACK CI #844: Commit be98160 pushed by shaobo-he
14m 18s fix-cs-region-soundness
fix-cs-region-soundness
14m 18s