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 :)
Hello,
I've been trying to install PVS8.0 for the past few days with no success.
Following the link in the readme:
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
maketries to runwhich results in
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 :)