Link to Binaries and building from source

[0xmycf]

Hello,

I've been trying to install PVS8.0 for the past few days with no success.

Following the link in the readme:

For documentation and pre-built binaries, please visit http://pvs.csl.sri.com/.

leads to a website, which requires some login. There was no connection at all possible in the last few days from today (2026-03-01).
Additionally, my browser warned me to not visit the website due to missing or wrong certificates.

Building from source also didnt work, as the make tries to run

curl --output - https://yices.csl.sri.com/releases/2.6.4/yices-2.6.4-x86_64-apple-darwin20.6.0.tar.gz | tar xzf - -C ./yices/arm-MacOSX

which results in

curl: (60) SSL: no alternative certificate subject name matches target host name 'yices.csl.sri.com'
More details here: https://curl.se/docs/sslcerts.html

curl failed to verify the legitimacy of the server and therefore could not
establish a secure connection to it. To learn more about this situation and
how to fix it, please visit the web page mentioned above.

I am not sure if this is a problem on my end or if there's something going on with the servers. Any help is greatly appreciated :)

[karthiknukala]

Hi,

Thanks for the note!

We've been having some problems with web hosting on csl.sri.com and our IT team is on it. We don't yet have a timeline on the fix but we will keep you posted.

Website

We've rehosted the PVS website here.

Build/Yices

Regarding the build, PVS has integrations with the Yices 1 and Yices2 SMT solvers and fetches their binary releases through curl. However, with the web server being down, curl fails.

To that end, we have a branch pvs-build that fetches binaries straight from Yices2's GitHub.

Building PVS

Please clone the pvs-build branch and make PVS from there.

git clone https://github.com/SRI-CSL/PVS
cd PVS
git switch pvs-build

# optional but recommended NASALib install
git clone https://github.com/nasa/pvslib nasalib

./configure && make 

[0xmycf]

Thank you very much! This worked perfectly fine!

[karthiknukala]

This has been fixed now - we've merged pvs-build into master and have turned Yices build-time hard errors into warnings instead. We are still working out binaries on the Yices/Yices2 side of things and hope to have this settled by the upcoming Yices 2.8 release (roughly around SMTCOMP timeframe).

Thanks for your patience/accommodation!