Skip to content

Conversation

@zhixiao-zhang
Copy link
Contributor

No description provided.

@zhixiao-zhang
Copy link
Contributor Author

It seems that LLVM 18.1.0 doesn't have a binary built for ubuntu.

@yuleisui
Copy link
Collaborator

yuleisui commented Dec 4, 2025

It seems that LLVM 18.1.0 doesn't have a binary built for ubuntu.

You could choose a version has pre build ubuntu.

@bjjwwang
Copy link
Contributor

bjjwwang commented Dec 4, 2025

It seems that LLVM 18.1.0 doesn't have a binary built for ubuntu.

You could choose a version has pre build ubuntu.

These two prebuilt LLVM (one for x86 linux, and the other for arm linux)
https://github.com/bjjwwang/SVF-LLVM/releases/download/18.0.0/llvm-18.1.0-ubuntu20-rtti-x86-64.tar.gz
https://github.com/bjjwwang/SVF-LLVM/releases/download/18.0.0/llvm-18.1.0-ubuntu22-rtti-aarch64.tar.gz

please upload them to SVF-3.1 release
https://github.com/SVF-tools/SVF/releases/tag/SVF-3.1

Thanks.

@yuleisui
Copy link
Collaborator

yuleisui commented Dec 4, 2025

I have uploaded the pre-build binaries to SVF-3.2. Please update your pull request (particularly llvm-18's binaries in build.sh) given the link below. @zhixiao-zhang Thank you.

https://github.com/SVF-tools/SVF/releases/tag/SVF-3.2
https://github.com/SVF-tools/SVF/releases/download/SVF-3.2/llvm-18.1.0-ubuntu20-rtti-x86-64.tar.gz
https://github.com/SVF-tools/SVF/releases/download/SVF-3.2/llvm-18.1.0-ubuntu22-rtti-aarch64.tar.gz

@codecov
Copy link

codecov bot commented Dec 5, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 64.03%. Comparing base (80c478f) to head (3a8dbdb).
⚠️ Report is 43 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1772      +/-   ##
==========================================
+ Coverage   64.00%   64.03%   +0.02%     
==========================================
  Files         244      244              
  Lines       24454    24468      +14     
  Branches     4610     4610              
==========================================
+ Hits        15653    15667      +14     
  Misses       8801     8801              
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/BreakConstantExpr.h 33.33% <ø> (ø)
svf-llvm/lib/LLVMModule.cpp 76.25% <100.00%> (+0.37%) ⬆️
svf-llvm/lib/LLVMUtil.cpp 74.90% <100.00%> (ø)
svf-llvm/lib/SVFIRBuilder.cpp 86.97% <ø> (ø)

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@yuleisui yuleisui merged commit b3600e2 into SVF-tools:master Dec 17, 2025
5 checks passed
@zhixiao-zhang zhixiao-zhang deleted the llvm-18 branch December 20, 2025 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants