Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

pysmt return wrong result #106

Closed
jayvdb opened this issue Apr 19, 2020 · 1 comment
Closed

pysmt return wrong result #106

jayvdb opened this issue Apr 19, 2020 · 1 comment

Comments

@jayvdb
Copy link
Owner

jayvdb commented Apr 19, 2020 •
edited
Loading

https://github.com/SRI-CSL/yices2

https://ci.appveyor.com/project/jayvdb/pypidb/builds/32286377?fullLog=true

INFO     pypidb._pypi:_pypi.py:450 r http://www.pysmt.org
INFO     pypidb._adapters:_adapters.py:268 head failed for http://www.pysmt.org/: ReadTimeout(ReadTimeoutError("HTTPConnectionPool(host='www.pysmt.org', port=80): Read timed out. (read timeout=5)"))
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://www.pysmt.org/ to https://www.pysmt.org/
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
WARNING  pypidb._pypi:_pypi.py:462 http://www.pysmt.org: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
INFO     pypidb._pypi:_pypi.py:364 PySMT: from description added urls []
INFO     pypidb._pypi:_pypi.py:450 r http://fmv.jku.at/picosat/
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://fmv.jku.at/picosat/ to https://fmv.jku.at/picosat/
WARNING  urllib3.connection:connection.py:408 Certificate did not match expected hostname: fmv.jku.at. Certificate: {'subject': ((('commonName', 's05zid04-web.zid.jku.at'),),), 'subjectAltName': [('DNS', 's05zid04-web.zid.jku.at'), ('DNS', 'www.zid.jku.at'), ('DNS', 'www.wipaed.uni-linz.ac.at'), ('DNS', 'www.kuwi.uni-linz.ac.at'), ('DNS', 'www.ipg.uni-linz.ac.at'), ('DNS', 'www.ikl.jku.at'), ('DNS', 'www.elearning.jku.at'), ('DNS', 'www.centrolatino.jku.at'), ('DNS', 'www.bib.jku.at'), ('DNS', 'www.fernstudien.jku.at'), ('DNS', 'verleih.im.jku.at'), ('DNS', 'ubook.im.jku.at'), ('DNS', 'secure.econ.jku.at'), ('DNS', 's05zid04.im.jku.at'), ('DNS', 'personalmanagement.jku.at'), ('DNS', 'paedpsych.jku.at'), ('DNS', 'kamera.zid.jku.at'), ('DNS', 'auktion.jku.at'), ('DNS', 'netstorage.jku.at'), ('DNS', 'social.jku.at'), ('DNS', 'thesis.jku.at'), ('DNS', 'gate.jku.at'), ('DNS', 'www.gate.jku.at'), ('DNS', 'fbtabs.ham.jku.at'), ('DNS', 'download.ham.jku.at'), ('DNS', 'referral.jku.at'), ('DNS', 'www.labornrn.at'), ('DNS', 'gel-sys.eu'), ('DNS', 'www.gel-sys.eu')]}
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
WARNING  pypidb._pypi:_pypi.py:462 http://fmv.jku.at/picosat/: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
INFO     pypidb._pypi:_pypi.py:450 r http://www.pysmt.org
INFO     pypidb._adapters:_adapters.py:268 head failed for http://www.pysmt.org/: ReadTimeout(ReadTimeoutError("HTTPConnectionPool(host='www.pysmt.org', port=80): Read timed out. (read timeout=5)"))
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://www.pysmt.org/ to https://www.pysmt.org/
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
WARNING  pypidb._pypi:_pypi.py:462 http://www.pysmt.org: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
INFO     pypidb._pypi:_pypi.py:450 r http://yices.csl.sri.com/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://yices.csl.sri.com/ with http://yices.csl.sri.com/: {'Date': 'Sun, 19 Apr 2020 14:51:17 GMT', 'Server': 'Apache/2.4.18 (Ubuntu)', 'Location': 'https://yices.csl.sri.com/', 'Keep-Alive': 'timeout=5, max=100', 'Connection': 'Keep-Alive', 'Content-Type': 'text/html; charset=iso-8859-1'}
INFO     pypidb._pypi:_pypi.py:450 r http://cvc4.cs.nyu.edu/web/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://cvc4.cs.nyu.edu/web/ with http://cvc4.cs.nyu.edu/web/: {'Content-length': '0', 'Location': 'https://cvc4.cs.nyu.edu/web/', 'Connection': 'close'}
WARNING  urllib3.connection:connection.py:408 Certificate did not match expected hostname: cvc4.cs.nyu.edu. Certificate: {'subject': ((('commonName', 'cs.nyu.edu'),),), 'subjectAltName': [('DNS', 'cs.nyu.edu'), ('DNS', 'www.cs.nyu.edu')]}
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
WARNING  pypidb._pypi:_pypi.py:462 http://cvc4.cs.nyu.edu/web/: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
INFO     pypidb._pypi:_pypi.py:450 r http://fmv.jku.at/boolector/
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://fmv.jku.at/boolector/ to https://fmv.jku.at/boolector/
WARNING  urllib3.connection:connection.py:408 Certificate did not match expected hostname: fmv.jku.at. Certificate: {'subject': ((('commonName', 's05zid04-web.zid.jku.at'),),), 'subjectAltName': [('DNS', 's05zid04-web.zid.jku.at'), ('DNS', 'www.zid.jku.at'), ('DNS', 'www.wipaed.uni-linz.ac.at'), ('DNS', 'www.kuwi.uni-linz.ac.at'), ('DNS', 'www.ipg.uni-linz.ac.at'), ('DNS', 'www.ikl.jku.at'), ('DNS', 'www.elearning.jku.at'), ('DNS', 'www.centrolatino.jku.at'), ('DNS', 'www.bib.jku.at'), ('DNS', 'www.fernstudien.jku.at'), ('DNS', 'verleih.im.jku.at'), ('DNS', 'ubook.im.jku.at'), ('DNS', 'secure.econ.jku.at'), ('DNS', 's05zid04.im.jku.at'), ('DNS', 'personalmanagement.jku.at'), ('DNS', 'paedpsych.jku.at'), ('DNS', 'kamera.zid.jku.at'), ('DNS', 'auktion.jku.at'), ('DNS', 'netstorage.jku.at'), ('DNS', 'social.jku.at'), ('DNS', 'thesis.jku.at'), ('DNS', 'gate.jku.at'), ('DNS', 'www.gate.jku.at'), ('DNS', 'fbtabs.ham.jku.at'), ('DNS', 'download.ham.jku.at'), ('DNS', 'referral.jku.at'), ('DNS', 'www.labornrn.at'), ('DNS', 'gel-sys.eu'), ('DNS', 'www.gel-sys.eu')]}
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
WARNING  pypidb._pypi:_pypi.py:462 http://fmv.jku.at/boolector/: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
INFO     pypidb._pypi:_pypi.py:450 r http://mathsat.fbk.eu/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://mathsat.fbk.eu/ with http://mathsat.fbk.eu/: {'Date': 'Sun, 19 Apr 2020 14:51:19 GMT', 'Server': 'Apache/2.4.34 (Red Hat) OpenSSL/1.0.1e-fips mod_wsgi/4.5.13 Python/2.7 SVN/1.9.3 PHP/7.0.27 mod_perl/2.0.9 Perl/v5.24.0', 'Location': 'https://mathsat.fbk.eu/', 'Keep-Alive': 'timeout=15, max=100', 'Connection': 'Keep-Alive', 'Content-Type': 'text/html; charset=iso-8859-1'}
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:450 r https://yices.csl.sri.com/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from http://yices.csl.sri.com/ added urls ['https://github.com/SRI-CSL/yices2']
INFO     pypidb._pypi:_pypi.py:450 r https://mathsat.fbk.eu/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from http://mathsat.fbk.eu/ added urls []
INFO     pypidb._pypi:_pypi.py:450 r http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories with http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories: {'Date': 'Sun, 19 Apr 2020 14:51:21 GMT', 'Server': 'Varnish', 'X-Varnish': '276476446', 'X-Cache': 'cp1077 int', 'X-Cache-Status': 'int-front', 'Server-Timing': 'cache;desc="int-front"', 'Set-Cookie': 'WMF-Last-Access=19-Apr-2020;Path=/;HttpOnly;secure;Expires=Thu, 21 May 2020 12:00:00 GMT, WMF-Last-Access-Global=19-Apr-2020;Path=/;Domain=.wikipedia.org;HttpOnly;secure;Expires=Thu, 21 May 2020 12:00:00 GMT', 'X-Client-IP': '67.225.165.200', 'Location': 'https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories', 'Content-Length': '0', 'Connection': 'keep-alive'}
WARNING  pypidb._pypi:_pypi.py:462 http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories: 500 Server Error: HTTPS Everywhere for url: https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories
INFO     pypidb._pypi:_pypi.py:450 r https://www.googletagmanager.com/gtag/js?id=UA-48772413-1
WARNING  pypidb._pypi:_pypi.py:462 https://www.googletagmanager.com/gtag/js?id=UA-48772413-1: 500 Server Error: HTTPS Everywhere for url: https://www.googletagmanager.com/gtag/js?id=UA-48772413-1
INFO     pypidb._pypi:_pypi.py:450 r http://fm.csl.sri.com/
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://fm.csl.sri.com/ to https://fm.csl.sri.com/
INFO     pypidb._pypi:_pypi.py:450 r http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory with http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory: {'Content-Type': 'text/html', 'Location': 'https://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory', 'Server': 'nginx', 'X-Pantheon-Styx-Hostname': 'styx-fe3-b-c8f8fbbbb-wt5vd', 'X-Styx-Req-Id': '3bfeb587-824d-11ea-a85c-4e10190adc96', 'Cache-Control': 'public, max-age=86400', 'Content-Length': '178', 'Date': 'Sun, 19 Apr 2020 14:51:21 GMT', 'Connection': 'keep-alive', 'X-Served-By': 'cache-mdw17350-MDW', 'X-Cache': 'MISS', 'X-Cache-Hits': '0', 'X-Timer': 'S1587307882.880307,VS0,VE17', 'Vary': 'Cookie', 'Age': '0', 'Accept-Ranges': 'bytes', 'Via': '1.1 varnish'}
WARNING  pypidb._pypi:_pypi.py:462 http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory: 404 Client Error: Not Found for url: https://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory
INFO     pypidb._pypi:_pypi.py:450 r https://www.gnu.org/licenses/gpl-3.0.en.html
WARNING  pypidb._pypi:_pypi.py:462 https://www.gnu.org/licenses/gpl-3.0.en.html: 500 Server Error: HTTPS Everywhere for url: https://www.gnu.org/licenses/gpl-3.0.en.html
INFO     pypidb._pypi:_pypi.py:450 r http://www.sri.com/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://www.sri.com/ with http://www.sri.com/: {'Content-Type': 'text/html', 'Location': 'https://www.sri.com/', 'Server': 'nginx', 'X-Pantheon-Styx-Hostname': 'styx-fe3-a-6578c47759-d5nck', 'X-Styx-Req-Id': '632aed02-8247-11ea-b0df-de3269d091fb', 'Cache-Control': 'public, max-age=86400', 'Content-Length': '178', 'Date': 'Sun, 19 Apr 2020 14:51:22 GMT', 'Connection': 'keep-alive', 'X-Served-By': 'cache-mdw17320-MDW', 'X-Cache': 'HIT', 'X-Cache-Hits': '1', 'X-Timer': 'S1587307882.254385,VS0,VE1', 'Vary': 'Cookie', 'Age': '2512', 'Accept-Ranges': 'bytes', 'Via': '1.1 varnish'}
INFO     pypidb._pypi:_pypi.py:372 Not processing text from https://mathsat.fbk.eu/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from https://yices.csl.sri.com/ added urls ['https://github.com/SRI-CSL/yices2']
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:372 Not processing text from http://fm.csl.sri.com/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:372 Not processing text from http://www.sri.com/
INFO     pypidb._db:_db.py:79 Adding mapping PySMT = https://github.com/SRI-CSL/yices2
@jayvdb
Copy link
Owner Author

jayvdb commented Apr 19, 2020

http://www.pysmt.org redirects to https://github.com/pysmt/pysmt , but https://www.pysmt.org doesnt work. This should be fixed in https-everywhere-py , but the easy fix is adding a rule here

@jayvdb jayvdb closed this as completed in ae005ed Apr 19, 2020
@jayvdb jayvdb mentioned this issue Apr 19, 2020
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jayvdb