Read the Docs build information Build id: 2160794 Project: openhw-group-core-v-verif Version: latest Commit: d4e32fc2fbd3d0b131034cf1d835a9399dcaaa7f Date: 2024-04-18T12:21:34.725441Z State: finished Success: True [rtd-command-info] start-time: 2024-04-18T12:21:35.905120Z, end-time: 2024-04-18T12:21:37.722412Z, duration: 1, exit-code: 0 git clone --depth 1 https://github.com/openhwgroup/core-v-verif.git . Cloning into '.'... [rtd-command-info] start-time: 2024-04-18T12:21:37.794586Z, end-time: 2024-04-18T12:21:38.901981Z, duration: 1, exit-code: 0 git fetch origin --force --prune --prune-tags --depth 50 refs/heads/master:refs/remotes/origin/master [rtd-command-info] start-time: 2024-04-18T12:21:39.033753Z, end-time: 2024-04-18T12:21:39.441569Z, duration: 0, exit-code: 0 git checkout --force origin/master Note: switching to 'origin/master'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at d4e32fc Merge pull request #2413 from MarioOpenHWGroup/fix/tandem-requirements-for-vcs [rtd-command-info] start-time: 2024-04-18T12:21:39.506377Z, end-time: 2024-04-18T12:21:39.583524Z, duration: 0, exit-code: 0 git clean -d -f -f [rtd-command-info] start-time: 2024-04-18T12:21:39.655870Z, end-time: 2024-04-18T12:21:39.716982Z, duration: 0, exit-code: 0 cat .readthedocs.yaml # Configuration file for ReadTheDocs, used to render the # Verification Strategy to https://docs.openhwgroup.org/projects/core-v-verif. # SPDX-License-Identifier:Apache-2.0 WITH SHL-2.0 version: 2 build: os: "ubuntu-20.04" tools: python: "3.9" # Build from the docs/VerifStrat/source directory with Sphinx sphinx: configuration: docs/VerifStrat/source/conf.py # Explicitly set the Python requirements python: install: - requirements: docs/VerifStrat/requirements.txt [rtd-command-info] start-time: 2024-04-18T12:21:44.970871Z, end-time: 2024-04-18T12:21:45.050022Z, duration: 0, exit-code: 0 asdf global python 3.9.18 [rtd-command-info] start-time: 2024-04-18T12:21:45.474294Z, end-time: 2024-04-18T12:21:46.620612Z, duration: 1, exit-code: 0 python -mvirtualenv $READTHEDOCS_VIRTUALENV_PATH created virtual environment CPython3.9.18.final.0-64 in 843ms creator CPython3Posix(dest=/home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest, clear=False, no_vcs_ignore=False, global=False) seeder FromAppData(download=False, pip=bundle, setuptools=bundle, wheel=bundle, via=copy, app_data_dir=/home/docs/.local/share/virtualenv) added seed packages: pip==23.1, setuptools==67.6.1, wheel==0.40.0 activators BashActivator,CShellActivator,FishActivator,NushellActivator,PowerShellActivator,PythonActivator [rtd-command-info] start-time: 2024-04-18T12:21:46.688381Z, end-time: 2024-04-18T12:21:57.160014Z, duration: 10, exit-code: 0 python -m pip install --upgrade --no-cache-dir pip setuptools Requirement already satisfied: pip in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (23.1) Collecting pip Downloading pip-24.0-py3-none-any.whl (2.1 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.1/2.1 MB 40.9 MB/s eta 0:00:00 Requirement already satisfied: setuptools in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (67.6.1) Collecting setuptools Downloading setuptools-69.5.1-py3-none-any.whl (894 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 894.6/894.6 kB 63.6 MB/s eta 0:00:00 Installing collected packages: setuptools, pip Attempting uninstall: setuptools Found existing installation: setuptools 67.6.1 Uninstalling setuptools-67.6.1: Successfully uninstalled setuptools-67.6.1 Attempting uninstall: pip Found existing installation: pip 23.1 Uninstalling pip-23.1: Successfully uninstalled pip-23.1 Successfully installed pip-24.0 setuptools-69.5.1 [rtd-command-info] start-time: 2024-04-18T12:21:57.259339Z, end-time: 2024-04-18T12:22:07.401963Z, duration: 10, exit-code: 0 python -m pip install --upgrade --no-cache-dir sphinx readthedocs-sphinx-ext Collecting sphinx Downloading sphinx-7.3.6-py3-none-any.whl.metadata (6.0 kB) Collecting readthedocs-sphinx-ext Downloading readthedocs_sphinx_ext-2.2.5-py2.py3-none-any.whl.metadata (1.5 kB) Collecting sphinxcontrib-applehelp (from sphinx) Downloading sphinxcontrib_applehelp-1.0.8-py3-none-any.whl.metadata (2.3 kB) Collecting sphinxcontrib-devhelp (from sphinx) Downloading sphinxcontrib_devhelp-1.0.6-py3-none-any.whl.metadata (2.3 kB) Collecting sphinxcontrib-jsmath (from sphinx) Downloading sphinxcontrib_jsmath-1.0.1-py2.py3-none-any.whl.metadata (1.4 kB) Collecting sphinxcontrib-htmlhelp>=2.0.0 (from sphinx) Downloading sphinxcontrib_htmlhelp-2.0.5-py3-none-any.whl.metadata (2.3 kB) Collecting sphinxcontrib-serializinghtml>=1.1.9 (from sphinx) Downloading sphinxcontrib_serializinghtml-1.1.10-py3-none-any.whl.metadata (2.4 kB) Collecting sphinxcontrib-qthelp (from sphinx) Downloading sphinxcontrib_qthelp-1.0.7-py3-none-any.whl.metadata (2.2 kB) Collecting Jinja2>=3.0 (from sphinx) Downloading Jinja2-3.1.3-py3-none-any.whl.metadata (3.3 kB) Collecting Pygments>=2.14 (from sphinx) Downloading pygments-2.17.2-py3-none-any.whl.metadata (2.6 kB) Collecting docutils<0.22,>=0.18.1 (from sphinx) Downloading docutils-0.21.1-py3-none-any.whl.metadata (2.7 kB) Collecting snowballstemmer>=2.0 (from sphinx) Downloading snowballstemmer-2.2.0-py2.py3-none-any.whl.metadata (6.5 kB) Collecting babel>=2.9 (from sphinx) Downloading Babel-2.14.0-py3-none-any.whl.metadata (1.6 kB) Collecting alabaster~=0.7.14 (from sphinx) Downloading alabaster-0.7.16-py3-none-any.whl.metadata (2.9 kB) Collecting imagesize>=1.3 (from sphinx) Downloading imagesize-1.4.1-py2.py3-none-any.whl.metadata (1.5 kB) Collecting requests>=2.25.0 (from sphinx) Downloading requests-2.31.0-py3-none-any.whl.metadata (4.6 kB) Collecting packaging>=21.0 (from sphinx) Downloading packaging-24.0-py3-none-any.whl.metadata (3.2 kB) Collecting importlib-metadata>=4.8 (from sphinx) Downloading importlib_metadata-7.1.0-py3-none-any.whl.metadata (4.7 kB) Collecting tomli>=2 (from sphinx) Downloading tomli-2.0.1-py3-none-any.whl.metadata (8.9 kB) Collecting zipp>=0.5 (from importlib-metadata>=4.8->sphinx) Downloading zipp-3.18.1-py3-none-any.whl.metadata (3.5 kB) Collecting MarkupSafe>=2.0 (from Jinja2>=3.0->sphinx) Downloading MarkupSafe-2.1.5-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.metadata (3.0 kB) Collecting charset-normalizer<4,>=2 (from requests>=2.25.0->sphinx) Downloading charset_normalizer-3.3.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.metadata (33 kB) Collecting idna<4,>=2.5 (from requests>=2.25.0->sphinx) Downloading idna-3.7-py3-none-any.whl.metadata (9.9 kB) Collecting urllib3<3,>=1.21.1 (from requests>=2.25.0->sphinx) Downloading urllib3-2.2.1-py3-none-any.whl.metadata (6.4 kB) Collecting certifi>=2017.4.17 (from requests>=2.25.0->sphinx) Downloading certifi-2024.2.2-py3-none-any.whl.metadata (2.2 kB) Downloading sphinx-7.3.6-py3-none-any.whl (3.3 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.3/3.3 MB 65.0 MB/s eta 0:00:00 Downloading readthedocs_sphinx_ext-2.2.5-py2.py3-none-any.whl (11 kB) Downloading alabaster-0.7.16-py3-none-any.whl (13 kB) Downloading Babel-2.14.0-py3-none-any.whl (11.0 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 11.0/11.0 MB 145.7 MB/s eta 0:00:00 Downloading docutils-0.21.1-py3-none-any.whl (587 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 587.4/587.4 kB 152.9 MB/s eta 0:00:00 Downloading imagesize-1.4.1-py2.py3-none-any.whl (8.8 kB) Downloading importlib_metadata-7.1.0-py3-none-any.whl (24 kB) Downloading Jinja2-3.1.3-py3-none-any.whl (133 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 133.2/133.2 kB 142.3 MB/s eta 0:00:00 Downloading packaging-24.0-py3-none-any.whl (53 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 53.5/53.5 kB 128.5 MB/s eta 0:00:00 Downloading pygments-2.17.2-py3-none-any.whl (1.2 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 1.2/1.2 MB 155.7 MB/s eta 0:00:00 Downloading requests-2.31.0-py3-none-any.whl (62 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 62.6/62.6 kB 135.8 MB/s eta 0:00:00 Downloading snowballstemmer-2.2.0-py2.py3-none-any.whl (93 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 93.0/93.0 kB 133.7 MB/s eta 0:00:00 Downloading sphinxcontrib_htmlhelp-2.0.5-py3-none-any.whl (99 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 99.2/99.2 kB 229.1 MB/s eta 0:00:00 Downloading sphinxcontrib_serializinghtml-1.1.10-py3-none-any.whl (92 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 92.7/92.7 kB 227.4 MB/s eta 0:00:00 Downloading tomli-2.0.1-py3-none-any.whl (12 kB) Downloading sphinxcontrib_applehelp-1.0.8-py3-none-any.whl (120 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 120.0/120.0 kB 173.5 MB/s eta 0:00:00 Downloading sphinxcontrib_devhelp-1.0.6-py3-none-any.whl (83 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 83.5/83.5 kB 128.1 MB/s eta 0:00:00 Downloading sphinxcontrib_jsmath-1.0.1-py2.py3-none-any.whl (5.1 kB) Downloading sphinxcontrib_qthelp-1.0.7-py3-none-any.whl (89 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 89.4/89.4 kB 156.6 MB/s eta 0:00:00 Downloading certifi-2024.2.2-py3-none-any.whl (163 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 163.8/163.8 kB 163.2 MB/s eta 0:00:00 Downloading charset_normalizer-3.3.2-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (142 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 142.3/142.3 kB 141.3 MB/s eta 0:00:00 Downloading idna-3.7-py3-none-any.whl (66 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 66.8/66.8 kB 121.2 MB/s eta 0:00:00 Downloading MarkupSafe-2.1.5-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (25 kB) Downloading urllib3-2.2.1-py3-none-any.whl (121 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 121.1/121.1 kB 169.6 MB/s eta 0:00:00 Downloading zipp-3.18.1-py3-none-any.whl (8.2 kB) Installing collected packages: snowballstemmer, zipp, urllib3, tomli, sphinxcontrib-serializinghtml, sphinxcontrib-qthelp, sphinxcontrib-jsmath, sphinxcontrib-htmlhelp, sphinxcontrib-devhelp, sphinxcontrib-applehelp, Pygments, packaging, MarkupSafe, imagesize, idna, docutils, charset-normalizer, certifi, babel, alabaster, requests, Jinja2, importlib-metadata, sphinx, readthedocs-sphinx-ext Successfully installed Jinja2-3.1.3 MarkupSafe-2.1.5 Pygments-2.17.2 alabaster-0.7.16 babel-2.14.0 certifi-2024.2.2 charset-normalizer-3.3.2 docutils-0.21.1 idna-3.7 imagesize-1.4.1 importlib-metadata-7.1.0 packaging-24.0 readthedocs-sphinx-ext-2.2.5 requests-2.31.0 snowballstemmer-2.2.0 sphinx-7.3.6 sphinxcontrib-applehelp-1.0.8 sphinxcontrib-devhelp-1.0.6 sphinxcontrib-htmlhelp-2.0.5 sphinxcontrib-jsmath-1.0.1 sphinxcontrib-qthelp-1.0.7 sphinxcontrib-serializinghtml-1.1.10 tomli-2.0.1 urllib3-2.2.1 zipp-3.18.1 [rtd-command-info] start-time: 2024-04-18T12:22:07.484905Z, end-time: 2024-04-18T12:22:10.571375Z, duration: 3, exit-code: 0 python -m pip install --exists-action=w --no-cache-dir -r docs/VerifStrat/requirements.txt Requirement already satisfied: sphinx in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from -r docs/VerifStrat/requirements.txt (line 3)) (7.3.6) Collecting sphinx_rtd_theme (from -r docs/VerifStrat/requirements.txt (line 4)) Downloading sphinx_rtd_theme-2.0.0-py2.py3-none-any.whl.metadata (4.4 kB) Collecting recommonmark (from -r docs/VerifStrat/requirements.txt (line 5)) Downloading recommonmark-0.7.1-py2.py3-none-any.whl.metadata (463 bytes) Requirement already satisfied: sphinxcontrib-applehelp in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.8) Requirement already satisfied: sphinxcontrib-devhelp in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.6) Requirement already satisfied: sphinxcontrib-jsmath in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.1) Requirement already satisfied: sphinxcontrib-htmlhelp>=2.0.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.0.5) Requirement already satisfied: sphinxcontrib-serializinghtml>=1.1.9 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (1.1.10) Requirement already satisfied: sphinxcontrib-qthelp in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.7) Requirement already satisfied: Jinja2>=3.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (3.1.3) Requirement already satisfied: Pygments>=2.14 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.17.2) Requirement already satisfied: docutils<0.22,>=0.18.1 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (0.21.1) Requirement already satisfied: snowballstemmer>=2.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.2.0) Requirement already satisfied: babel>=2.9 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.14.0) Requirement already satisfied: alabaster~=0.7.14 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (0.7.16) Requirement already satisfied: imagesize>=1.3 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (1.4.1) Requirement already satisfied: requests>=2.25.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.31.0) Requirement already satisfied: packaging>=21.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (24.0) Requirement already satisfied: importlib-metadata>=4.8 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (7.1.0) Requirement already satisfied: tomli>=2 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.0.1) Collecting docutils<0.22,>=0.18.1 (from sphinx->-r docs/VerifStrat/requirements.txt (line 3)) Downloading docutils-0.20.1-py3-none-any.whl.metadata (2.8 kB) Collecting sphinxcontrib-jquery<5,>=4 (from sphinx_rtd_theme->-r docs/VerifStrat/requirements.txt (line 4)) Downloading sphinxcontrib_jquery-4.1-py2.py3-none-any.whl.metadata (2.6 kB) Collecting commonmark>=0.8.1 (from recommonmark->-r docs/VerifStrat/requirements.txt (line 5)) Downloading commonmark-0.9.1-py2.py3-none-any.whl.metadata (5.7 kB) Requirement already satisfied: zipp>=0.5 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from importlib-metadata>=4.8->sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (3.18.1) Requirement already satisfied: MarkupSafe>=2.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from Jinja2>=3.0->sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.1.5) Requirement already satisfied: charset-normalizer<4,>=2 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from requests>=2.25.0->sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (3.3.2) Requirement already satisfied: idna<4,>=2.5 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from requests>=2.25.0->sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (3.7) Requirement already satisfied: urllib3<3,>=1.21.1 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from requests>=2.25.0->sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2.2.1) Requirement already satisfied: certifi>=2017.4.17 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from requests>=2.25.0->sphinx->-r docs/VerifStrat/requirements.txt (line 3)) (2024.2.2) Downloading sphinx_rtd_theme-2.0.0-py2.py3-none-any.whl (2.8 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.8/2.8 MB 47.7 MB/s eta 0:00:00 Downloading recommonmark-0.7.1-py2.py3-none-any.whl (10 kB) Downloading commonmark-0.9.1-py2.py3-none-any.whl (51 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 51.1/51.1 kB 122.3 MB/s eta 0:00:00 Downloading docutils-0.20.1-py3-none-any.whl (572 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 572.7/572.7 kB 162.4 MB/s eta 0:00:00 Downloading sphinxcontrib_jquery-4.1-py2.py3-none-any.whl (121 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 121.1/121.1 kB 139.7 MB/s eta 0:00:00 Installing collected packages: commonmark, docutils, sphinxcontrib-jquery, recommonmark, sphinx_rtd_theme Attempting uninstall: docutils Found existing installation: docutils 0.21.1 Uninstalling docutils-0.21.1: Successfully uninstalled docutils-0.21.1 Successfully installed commonmark-0.9.1 docutils-0.20.1 recommonmark-0.7.1 sphinx_rtd_theme-2.0.0 sphinxcontrib-jquery-4.1 [rtd-command-info] start-time: 2024-04-18T12:22:11.120618Z, end-time: 2024-04-18T12:22:11.205613Z, duration: 0, exit-code: 0 cat docs/VerifStrat/source/conf.py # -*- coding: utf-8 -*- # # Copyright (c) 2020 OpenHW Group # # Licensed under the Solderpad Hardware Licence, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # https://solderpad.org/licenses/ # # Unless required by applicable law or agreed to in writing, software # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. # # SPDX-License-Identifier: Apache-2.0 WITH SHL-2.0 # ############################################################################### # # Configuration file for the Sphinx documentation builder. # # This file does only contain a selection of the most common options. For a # full list see the documentation: # http://www.sphinx-doc.org/en/master/config # -- Path setup -------------------------------------------------------------- # If extensions (or modules to document with autodoc) are in another directory, # add these directories to sys.path here. If the directory is relative to the # documentation root, use os.path.abspath to make it absolute, like shown here. # # import os # import sys # sys.path.insert(0, os.path.abspath('.')) # -- Project information ----------------------------------------------------- project = u'CORE-V Verification Strategy' copyright = u'2020, 2021, OpenHW Group' author = u'Mike Thompson' # The short X.Y version version = u'' # The full version, including alpha/beta/rc tags release = u'' # -- General configuration --------------------------------------------------- # If your documentation needs a minimal Sphinx version, state it here. # # needs_sphinx = '1.0' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ 'sphinx.ext.autodoc', 'sphinx.ext.todo', 'recommonmark', 'sphinx.ext.autosectionlabel', # 'sphinxcontrib.wavedrom', ] #wavedrom_html_jsinline = False # Add any paths that contain templates here, relative to this directory. templates_path = ['ytemplates'] # The suffix(es) of source filenames. # You can specify multiple suffix as a list of string: # # source_suffix = ['.rst', '.md'] source_suffix = '.rst' # The master toctree document. master_doc = 'index' # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. # # This is also used if you do content translation via gettext catalogs. # Usually you set "language" from the command line for these cases. language = 'en' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. # This pattern also affects html_static_path and html_extra_path. exclude_patterns = [] # The name of the Pygments (syntax highlighting) style to use. pygments_style = None # -- Options for HTML output ------------------------------------------------- # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # #html_theme = 'alabaster' html_theme = "sphinx_rtd_theme" # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. # html_theme_options = {'style_nav_header_background': '#DDDDDD'} html_logo = '../images/openhw-landscape.svg' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". #html_static_path = ['ystatic'] # # Set html_static_path to null on the advice of RTDs: #https://github.com/readthedocs/readthedocs.org/issues/1776 html_static_path = [] # This theme overrides fixes the table with and breaks other formatting. #html_static_path = ['_static'] #html_context = { # 'css_files' : [ # '_static/theme_overrides.css', # Fix wide tables in RTD theme # ], # } # Custom sidebar templates, must be a dictionary that maps document names # to template names. # # The default sidebars (for documents that don't match any pattern) are # defined by theme itself. Builtin themes are using these templates by # default: ``['localtoc.html', 'relations.html', 'sourcelink.html', # 'searchbox.html']``. # # html_sidebars = {} # -- Options for HTMLHelp output --------------------------------------------- # Output file base name for HTML help builder. htmlhelp_basename = 'CORE-V_Verification_Strategy' # -- Options for LaTeX output ------------------------------------------------ latex_elements = { # The paper size ('letterpaper' or 'a4paper'). # # 'papersize': 'letterpaper', # The font size ('10pt', '11pt' or '12pt'). # # 'pointsize': '10pt', # Additional stuff for the LaTeX preamble. # # 'preamble': '', # Latex figure (float) alignment # # 'figure_align': 'htbp', } # Grouping the document tree into LaTeX files. List of tuples # (source start file, target name, title, # author, documentclass [howto, manual, or own class]). latex_documents = [ (master_doc, 'VerifStrat.tex', u'CORE-V-Docs Documentation', u'Mike Thompson', 'manual'), ] # -- Options for manual page output ------------------------------------------ # One entry per manual page. List of tuples # (source start file, name, description, authors, manual section). man_pages = [ (master_doc, 'VerifStrat', u'CORE-V Docs Documentation', [author], 1) ] # -- Options for Texinfo output ---------------------------------------------- # Grouping the document tree into Texinfo files. List of tuples # (source start file, target name, title, author, # dir menu entry, description, category) texinfo_documents = [ (master_doc, 'VerifStrat', u'CORE-V Docs Documentation', author, 'VerifStrat', 'Verification Strategy for CORE-V family of RISC-V processor cores.', 'Miscellaneous'), ] # -- Options for Epub output ------------------------------------------------- # Bibliographic Dublin Core info. epub_title = project # The unique identifier of the text. This can be a ISBN number # or the project homepage. # # epub_identifier = '' # A unique identification for the text. # # epub_uid = '' # A list of files that should not be packed into the epub file. epub_exclude_files = ['search.html'] # -- Extension configuration ------------------------------------------------- # -- Options for todo extension ---------------------------------------------- # If true, `todo` and `todoList` produce output, else they produce nothing. todo_include_todos = True ########################################################################### # auto-created readthedocs.org specific configuration # ########################################################################### # # The following code was added during an automated build on readthedocs.org # It is auto created and injected for every build. The result is based on the # conf.py.tmpl file found in the readthedocs.org codebase: # https://github.com/rtfd/readthedocs.org/blob/main/readthedocs/doc_builder/templates/doc_builder/conf.py.tmpl # # Note: this file shouldn't rely on extra dependencies. import importlib import sys import os.path # Borrowed from six. PY3 = sys.version_info[0] == 3 string_types = str if PY3 else basestring from sphinx import version_info # Get suffix for proper linking to GitHub # This is deprecated in Sphinx 1.3+, # as each page can have its own suffix if globals().get('source_suffix', False): if isinstance(source_suffix, string_types): SUFFIX = source_suffix elif isinstance(source_suffix, (list, tuple)): # Sphinx >= 1.3 supports list/tuple to define multiple suffixes SUFFIX = source_suffix[0] elif isinstance(source_suffix, dict): # Sphinx >= 1.8 supports a mapping dictionary for multiple suffixes SUFFIX = list(source_suffix.keys())[0] # make a ``list()`` for py2/py3 compatibility else: # default to .rst SUFFIX = '.rst' else: SUFFIX = '.rst' # Add RTD Static Path. Add to the end because it overwrites previous files. if not 'html_static_path' in globals(): html_static_path = [] if os.path.exists('_static'): html_static_path.append('_static') # Define this variable in case it's not defined by the user. # It defaults to `alabaster` which is the default from Sphinx. # https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-html_theme html_theme = globals().get('html_theme', 'alabaster') #Add project information to the template context. context = { 'html_theme': html_theme, 'current_version': "latest", 'version_slug': "latest", 'MEDIA_URL': "https://media.readthedocs.com/media/", 'STATIC_URL': "https://assets.readthedocs.com/", 'PRODUCTION_DOMAIN': "readthedocs.com", 'proxied_static_path': "/_/static/", 'versions': [ ("latest", "/en/latest/"), ], 'downloads': [ ], 'subprojects': [ ], 'slug': 'openhw-group-core-v-verif', 'name': u'core-v-verif', 'rtd_language': u'en', 'programming_language': u'words', 'canonical_url': '', 'analytics_code': 'None', 'single_version': False, 'conf_py_path': '/docs/VerifStrat/source/', 'api_host': 'https://readthedocs.com', 'github_user': 'openhwgroup', 'proxied_api_host': '/_', 'github_repo': 'core-v-verif', 'github_version': 'master', 'display_github': True, 'bitbucket_user': 'None', 'bitbucket_repo': 'None', 'bitbucket_version': 'master', 'display_bitbucket': False, 'gitlab_user': 'None', 'gitlab_repo': 'None', 'gitlab_version': 'master', 'display_gitlab': False, 'READTHEDOCS': True, 'using_theme': (html_theme == "default"), 'new_theme': (html_theme == "sphinx_rtd_theme"), 'source_suffix': SUFFIX, 'ad_free': False, 'docsearch_disabled': False, 'user_analytics_code': '', 'global_analytics_code': 'UA-17997319-2', 'commit': 'd4e32fc2', } # For sphinx >=1.8 we can use html_baseurl to set the canonical URL. # https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-html_baseurl if version_info >= (1, 8): if not globals().get('html_baseurl'): html_baseurl = context['canonical_url'] context['canonical_url'] = None if 'html_context' in globals(): for key in context: if key not in html_context: html_context[key] = context[key] else: html_context = context # Add custom RTD extension if 'extensions' in globals(): # Insert at the beginning because it can interfere # with other extensions. # See https://github.com/rtfd/readthedocs.org/pull/4054 extensions.insert(0, "readthedocs_ext.readthedocs") else: extensions = ["readthedocs_ext.readthedocs"] # Add External version warning banner to the external version documentation if 'branch' == 'external': extensions.insert(1, "readthedocs_ext.external_version_warning") readthedocs_vcs_url = 'None' readthedocs_build_url = 'https://readthedocs.com/projects/openhw-group-core-v-verif/builds/2160794/' project_language = 'en' # User's Sphinx configurations language_user = globals().get('language', None) latex_engine_user = globals().get('latex_engine', None) latex_elements_user = globals().get('latex_elements', None) # Remove this once xindy gets installed in Docker image and XINDYOPS # env variable is supported # https://github.com/rtfd/readthedocs-docker-images/pull/98 latex_use_xindy = False chinese = any([ language_user in ('zh_CN', 'zh_TW'), project_language in ('zh_CN', 'zh_TW'), ]) japanese = any([ language_user == 'ja', project_language == 'ja', ]) if chinese: latex_engine = latex_engine_user or 'xelatex' latex_elements_rtd = { 'preamble': '\\usepackage[UTF8]{ctex}\n', } latex_elements = latex_elements_user or latex_elements_rtd elif japanese: latex_engine = latex_engine_user or 'platex' # Make sure our build directory is always excluded exclude_patterns = globals().get('exclude_patterns', []) exclude_patterns.extend(['_build']) [rtd-command-info] start-time: 2024-04-18T12:22:11.279728Z, end-time: 2024-04-18T12:22:13.428685Z, duration: 2, exit-code: 0 python -m sphinx -T -b html -d _build/doctrees -D language=en . $READTHEDOCS_OUTPUT/html Running Sphinx v7.3.6 making output directory... done building [mo]: targets for 0 po files that are out of date writing output... building [html]: targets for 11 source files that are out of date updating environment: [new config] 11 added, 0 changed, 0 removed reading sources... [ 9%] corev_dv reading sources... [ 18%] corev_env reading sources... [ 27%] cv32_env reading sources... [ 36%] cva6_env reading sources... [ 45%] index reading sources... [ 55%] intro reading sources... [ 64%] planning_requirements reading sources... [ 73%] pulp_verif reading sources... [ 82%] quick_start reading sources... [ 91%] test_programs reading sources... [100%] uvm_tests looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done copying assets... copying static files... done copying extra files... done done writing output... [ 9%] corev_dv writing output... [ 18%] corev_env writing output... [ 27%] cv32_env writing output... [ 36%] cva6_env writing output... [ 45%] index writing output... [ 55%] intro writing output... [ 64%] planning_requirements writing output... [ 73%] pulp_verif writing output... [ 82%] quick_start writing output... [ 91%] test_programs writing output... [100%] uvm_tests generating indices... genindex done writing additional pages... search done copying images... [ 7%] ../images/CV32E_VE_phase2.png copying images... [ 14%] ../images/step_compare_sequence1.png copying images... [ 21%] ../images/insn_regs_write_queue.png copying images... [ 29%] ../images/rvvi_state.png copying images... [ 36%] ../images/rvfi_rvvi_scoreboard.png copying images... [ 43%] ../images/rvfi_rvvi_instruction_check.png copying images... [ 50%] ../images/rvfi_rvvi_csr_check.png copying images... [ 57%] ../images/rvfi_rvvi_interrupt.png copying images... [ 64%] ../images/ri5cy_tb.png copying images... [ 71%] ../images/ariane_tb.png copying images... [ 79%] ../images/ibex-ve.png copying images... [ 86%] ../images/TestProgramEnvironment.png copying images... [ 93%] ../images/type1.png copying images... [100%] ../images/type4.png dumping search index in English (code: en)... done dumping object inventory... done Updating searchtools for Read the Docs search... build succeeded. The HTML pages are in ../../../_readthedocs/html.