Neeraj Pal

done, in the build.sh I have added 20.1.0 as stable.

> > done, in the build.sh I have added 20.1.0 as stable. > > Looks like brew install llvm@20 is not available. It might need a few iterations to update...

> > done, in the build.sh I have added 20.1.0 as stable. > > Looks like brew install llvm@20 is not available. It might need a few iterations to update...

> > > > done, in the build.sh I have added 20.1.0 as stable. > > > > > > > > > Looks like brew install llvm@20 is not...

Currently, the tests are failing because the Test-Suite still has old `.bc` files that were built with LLVM 16. I ran the `generate_bc.sh` script with LLVM20 to rebuild everything, and...

@yuleisui before we can properly test the changes in this PR with GitHub Actions, I kindly request that we first review and merge the following Test-Suite PR: https://github.com/SVF-tools/Test-Suite/pull/156. It updates...

> > @yuleisui before we can properly test the changes in this PR with GitHub Actions, I kindly request that we first review and merge the following Test-Suite PR: [SVF-tools/Test-Suite#156](https://github.com/SVF-tools/Test-Suite/pull/156)....

> I get errors during linking of svf-llvm. To fix we can force dynamic linking of passes component that includes the PassBuilder > > I'm building with llvm 19.1.4 >...

@yuleisui could you please approve the latest commit so we can confirm whether it's failing or success? It’s working perfectly on my end, I tested it locally on both Ubuntu...

> @yuleisui could you please approve the latest commit so we can confirm whether it's failing or success? It’s working perfectly on my end, I tested it locally on both...