why your website is closed? I want to learn some Yices' own specification language.

[yuanyuan1024]

[dddejan]

https://yices.csl.sri.com/

This website? It works for me. What kind of error are you seeing?

[yuanyuan1024]

https://yices.csl.sri.com/

This website? It works for me. What kind of error are you seeing?

it says that I can not access this page.

[ianamason]

Where are you @yuanyuan1024 ?

[yuanyuan1024]

Where are you @yuanyuan1024 ?

Shanghai, China.

[dddejan]

Where are you @yuanyuan1024 ?

Shanghai, China.

We're trying to figure this out. Could you please give us your IP address.

[BrunoDutertre]

@yuanyuan1024.

Apologies for the website problem. We're trying to get it fixed.

In case this helps, you can generate the doc for Yices yourself. You need to install the Sphinx tool (e.g., with pip):

pip install Sphinx

Then do this:

git clone https://github.com/SRI-CSL/yices2.git
cd doc/sphinx
make html

The doc will be in doc/sphinx/build/html.

[disteph]

We have just migrated https://yices.csl.sri.com/ to a new server. Do you still have an issue accessing it?

[ahmed-irfan]

@yuanyuan1024 Is this still an issue?

[ahmed-irfan]

Reopen this if it is still an issue.