Read the Docs build information
Build id: 1678446
Project: openhw-group-core-v-verif
Version: latest
Commit: 2dd5594be3f81c3f58f677a6ccbabeee388e90ee
Date: 2023-08-23T16:04:11.369229Z
State: finished
Success: True


[rtd-command-info] start-time: 2023-08-23T16:04:21.106271Z, end-time: 2023-08-23T16:04:23.087714Z, duration: 1, exit-code: 0
git clone --depth 1 https://github.com/openhwgroup/core-v-verif.git .
Cloning into '.'...

[rtd-command-info] start-time: 2023-08-23T16:04:23.706654Z, end-time: 2023-08-23T16:04:27.646436Z, duration: 3, exit-code: 0
git fetch origin --force --prune --prune-tags --depth 50 refs/heads/master:refs/remotes/origin/master


[rtd-command-info] start-time: 2023-08-23T16:04:28.354181Z, end-time: 2023-08-23T16:04:28.515017Z, 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 <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at 2dd5594 Update .readthedocs.yaml

[rtd-command-info] start-time: 2023-08-23T16:04:29.129389Z, end-time: 2023-08-23T16:04:29.204030Z, duration: 0, exit-code: 0
git clean -d -f -f


[rtd-command-info] start-time: 2023-08-23T16:04:29.734235Z, end-time: 2023-08-23T16:04:29.792715Z, 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: 2023-08-23T16:04:37.189452Z, end-time: 2023-08-23T16:04:37.269135Z, duration: 0, exit-code: 0
asdf global python 3.9.17


[rtd-command-info] start-time: 2023-08-23T16:04:38.041980Z, end-time: 2023-08-23T16:04:39.083904Z, duration: 1, exit-code: 0
python -mvirtualenv $READTHEDOCS_VIRTUALENV_PATH
created virtual environment CPython3.9.17.final.0-64 in 682ms
  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==21.2.3, setuptools==57.4.0, wheel==0.37.0
  activators BashActivator,CShellActivator,FishActivator,PowerShellActivator,PythonActivator

[rtd-command-info] start-time: 2023-08-23T16:04:39.564905Z, end-time: 2023-08-23T16:04:52.148588Z, duration: 12, 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 (21.2.3)
Collecting pip
  Downloading pip-23.2.1-py3-none-any.whl (2.1 MB)
Requirement already satisfied: setuptools in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (57.4.0)
Collecting setuptools
  Downloading setuptools-68.1.2-py3-none-any.whl (805 kB)
Installing collected packages: setuptools, pip
  Attempting uninstall: setuptools
    Found existing installation: setuptools 57.4.0
    Uninstalling setuptools-57.4.0:
      Successfully uninstalled setuptools-57.4.0
  Attempting uninstall: pip
    Found existing installation: pip 21.2.3
    Uninstalling pip-21.2.3:
      Successfully uninstalled pip-21.2.3
Successfully installed pip-23.2.1 setuptools-68.1.2

[rtd-command-info] start-time: 2023-08-23T16:04:52.627064Z, end-time: 2023-08-23T16:05:01.734972Z, duration: 9, exit-code: 0
python -m pip install --upgrade --no-cache-dir pillow mock==1.0.1 alabaster>=0.7,<0.8,!=0.7.5 commonmark==0.9.1 recommonmark==0.5.0 sphinx sphinx-rtd-theme readthedocs-sphinx-ext<2.3
Collecting pillow
  Obtaining dependency information for pillow from https://files.pythonhosted.org/packages/50/e5/0d484d1ac71b934638f91b7156203ba5bf3eb12f596b616a68a85c123808/Pillow-10.0.0-cp39-cp39-manylinux_2_28_x86_64.whl.metadata
  Downloading Pillow-10.0.0-cp39-cp39-manylinux_2_28_x86_64.whl.metadata (9.5 kB)
Collecting mock==1.0.1
  Downloading mock-1.0.1.zip (861 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 861.9/861.9 kB 20.7 MB/s eta 0:00:00
  Preparing metadata (setup.py): started
  Preparing metadata (setup.py): finished with status 'done'
Collecting alabaster!=0.7.5,<0.8,>=0.7
  Downloading alabaster-0.7.13-py3-none-any.whl (13 kB)
Collecting commonmark==0.9.1
  Downloading commonmark-0.9.1-py2.py3-none-any.whl (51 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 51.1/51.1 kB 119.0 MB/s eta 0:00:00
Collecting recommonmark==0.5.0
  Downloading recommonmark-0.5.0-py2.py3-none-any.whl (9.8 kB)
Collecting sphinx
  Obtaining dependency information for sphinx from https://files.pythonhosted.org/packages/40/c0/e62ce9d243bfa2d9f290d7c730c7df3d9e979f0016e38c767f33ffcc2185/sphinx-7.2.2-py3-none-any.whl.metadata
  Downloading sphinx-7.2.2-py3-none-any.whl.metadata (5.9 kB)
Collecting sphinx-rtd-theme
  Obtaining dependency information for sphinx-rtd-theme from https://files.pythonhosted.org/packages/18/01/76f40a18e9209bb098c1c1313c823dbbd001b23a2db71e7fd4eb5a48559c/sphinx_rtd_theme-1.3.0-py2.py3-none-any.whl.metadata
  Downloading sphinx_rtd_theme-1.3.0-py2.py3-none-any.whl.metadata (4.5 kB)
Collecting readthedocs-sphinx-ext<2.3
  Obtaining dependency information for readthedocs-sphinx-ext<2.3 from https://files.pythonhosted.org/packages/8c/f1/3d783ebfc084a9d556123d54669116101760e5e0dbb894b006745bcb59ea/readthedocs_sphinx_ext-2.2.2-py2.py3-none-any.whl.metadata
  Downloading readthedocs_sphinx_ext-2.2.2-py2.py3-none-any.whl.metadata (1.5 kB)
Collecting docutils>=0.11 (from recommonmark==0.5.0)
  Obtaining dependency information for docutils>=0.11 from https://files.pythonhosted.org/packages/26/87/f238c0670b94533ac0353a4e2a1a771a0cc73277b88bff23d3ae35a256c1/docutils-0.20.1-py3-none-any.whl.metadata
  Downloading docutils-0.20.1-py3-none-any.whl.metadata (2.8 kB)
Collecting sphinxcontrib-applehelp (from sphinx)
  Obtaining dependency information for sphinxcontrib-applehelp from https://files.pythonhosted.org/packages/c0/0c/261c0949083c0ac635853528bb0070c89e927841d4e533ba0b5563365c06/sphinxcontrib_applehelp-1.0.7-py3-none-any.whl.metadata
  Downloading sphinxcontrib_applehelp-1.0.7-py3-none-any.whl.metadata (2.2 kB)
Collecting sphinxcontrib-devhelp (from sphinx)
  Obtaining dependency information for sphinxcontrib-devhelp from https://files.pythonhosted.org/packages/c0/03/010ac733ec7b7f71c1dc88e7115743ee466560d6d85373b56fb9916e4586/sphinxcontrib_devhelp-1.0.5-py3-none-any.whl.metadata
  Downloading sphinxcontrib_devhelp-1.0.5-py3-none-any.whl.metadata (2.2 kB)
Collecting sphinxcontrib-jsmath (from sphinx)
  Downloading sphinxcontrib_jsmath-1.0.1-py2.py3-none-any.whl (5.1 kB)
Collecting sphinxcontrib-htmlhelp>=2.0.0 (from sphinx)
  Obtaining dependency information for sphinxcontrib-htmlhelp>=2.0.0 from https://files.pythonhosted.org/packages/28/7a/958f8e3e6abe8219d0d1f1224886de847ab227b218f4a07b61bc337f64be/sphinxcontrib_htmlhelp-2.0.4-py3-none-any.whl.metadata
  Downloading sphinxcontrib_htmlhelp-2.0.4-py3-none-any.whl.metadata (2.2 kB)
Collecting sphinxcontrib-serializinghtml>=1.1.5 (from sphinx)
  Obtaining dependency information for sphinxcontrib-serializinghtml>=1.1.5 from https://files.pythonhosted.org/packages/95/d6/2e0bda62b2a808070ac922d21a950aa2cb5e4fcfb87e5ff5f86bc43a2201/sphinxcontrib_serializinghtml-1.1.9-py3-none-any.whl.metadata
  Downloading sphinxcontrib_serializinghtml-1.1.9-py3-none-any.whl.metadata (2.3 kB)
Collecting sphinxcontrib-qthelp (from sphinx)
  Obtaining dependency information for sphinxcontrib-qthelp from https://files.pythonhosted.org/packages/1f/e5/1850f3f118e95581c1e30b57028ac979badee1eb29e70ee72b0241f5a185/sphinxcontrib_qthelp-1.0.6-py3-none-any.whl.metadata
  Downloading sphinxcontrib_qthelp-1.0.6-py3-none-any.whl.metadata (2.2 kB)
Collecting Jinja2>=3.0 (from sphinx)
  Downloading Jinja2-3.1.2-py3-none-any.whl (133 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 133.1/133.1 kB 231.1 MB/s eta 0:00:00
Collecting Pygments>=2.14 (from sphinx)
  Obtaining dependency information for Pygments>=2.14 from https://files.pythonhosted.org/packages/43/88/29adf0b44ba6ac85045e63734ae0997d3c58d8b1a91c914d240828d0d73d/Pygments-2.16.1-py3-none-any.whl.metadata
  Downloading Pygments-2.16.1-py3-none-any.whl.metadata (2.5 kB)
Collecting snowballstemmer>=2.0 (from sphinx)
  Downloading snowballstemmer-2.2.0-py2.py3-none-any.whl (93 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 93.0/93.0 kB 225.9 MB/s eta 0:00:00
Collecting babel>=2.9 (from sphinx)
  Downloading Babel-2.12.1-py3-none-any.whl (10.1 MB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 10.1/10.1 MB 144.3 MB/s eta 0:00:00
Collecting imagesize>=1.3 (from sphinx)
  Downloading imagesize-1.4.1-py2.py3-none-any.whl (8.8 kB)
Collecting requests>=2.25.0 (from sphinx)
  Obtaining dependency information for requests>=2.25.0 from https://files.pythonhosted.org/packages/70/8e/0e2d847013cb52cd35b38c009bb167a1a26b2ce6cd6965bf26b47bc0bf44/requests-2.31.0-py3-none-any.whl.metadata
  Downloading requests-2.31.0-py3-none-any.whl.metadata (4.6 kB)
Collecting packaging>=21.0 (from sphinx)
  Downloading packaging-23.1-py3-none-any.whl (48 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 48.9/48.9 kB 213.6 MB/s eta 0:00:00
Collecting importlib-metadata>=4.8 (from sphinx)
  Obtaining dependency information for importlib-metadata>=4.8 from https://files.pythonhosted.org/packages/cc/37/db7ba97e676af155f5fcb1a35466f446eadc9104e25b83366e8088c9c926/importlib_metadata-6.8.0-py3-none-any.whl.metadata
  Downloading importlib_metadata-6.8.0-py3-none-any.whl.metadata (5.1 kB)
Collecting docutils>=0.11 (from recommonmark==0.5.0)
  Downloading docutils-0.18.1-py2.py3-none-any.whl (570 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 570.0/570.0 kB 255.0 MB/s eta 0:00:00
Collecting sphinxcontrib-jquery<5,>=4 (from sphinx-rtd-theme)
  Downloading sphinxcontrib_jquery-4.1-py2.py3-none-any.whl (121 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 121.1/121.1 kB 240.4 MB/s eta 0:00:00
Collecting zipp>=0.5 (from importlib-metadata>=4.8->sphinx)
  Obtaining dependency information for zipp>=0.5 from https://files.pythonhosted.org/packages/8c/08/d3006317aefe25ea79d3b76c9650afabaf6d63d1c8443b236e7405447503/zipp-3.16.2-py3-none-any.whl.metadata
  Downloading zipp-3.16.2-py3-none-any.whl.metadata (3.7 kB)
Collecting MarkupSafe>=2.0 (from Jinja2>=3.0->sphinx)
  Obtaining dependency information for MarkupSafe>=2.0 from https://files.pythonhosted.org/packages/de/63/cb7e71984e9159ec5f45b5e81e896c8bdd0e45fe3fc6ce02ab497f0d790e/MarkupSafe-2.1.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.metadata
  Downloading MarkupSafe-2.1.3-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)
  Obtaining dependency information for charset-normalizer<4,>=2 from https://files.pythonhosted.org/packages/f9/0d/514be8597d7a96243e5467a37d337b9399cec117a513fcf9328405d911c0/charset_normalizer-3.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.metadata
  Downloading charset_normalizer-3.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.metadata (31 kB)
Collecting idna<4,>=2.5 (from requests>=2.25.0->sphinx)
  Downloading idna-3.4-py3-none-any.whl (61 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 61.5/61.5 kB 203.9 MB/s eta 0:00:00
Collecting urllib3<3,>=1.21.1 (from requests>=2.25.0->sphinx)
  Obtaining dependency information for urllib3<3,>=1.21.1 from https://files.pythonhosted.org/packages/9b/81/62fd61001fa4b9d0df6e31d47ff49cfa9de4af03adecf339c7bc30656b37/urllib3-2.0.4-py3-none-any.whl.metadata
  Downloading urllib3-2.0.4-py3-none-any.whl.metadata (6.6 kB)
Collecting certifi>=2017.4.17 (from requests>=2.25.0->sphinx)
  Obtaining dependency information for certifi>=2017.4.17 from https://files.pythonhosted.org/packages/4c/dd/2234eab22353ffc7d94e8d13177aaa050113286e93e7b40eae01fbf7c3d9/certifi-2023.7.22-py3-none-any.whl.metadata
  Downloading certifi-2023.7.22-py3-none-any.whl.metadata (2.2 kB)
Downloading Pillow-10.0.0-cp39-cp39-manylinux_2_28_x86_64.whl (3.4 MB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.4/3.4 MB 179.2 MB/s eta 0:00:00
Downloading sphinx-7.2.2-py3-none-any.whl (3.2 MB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.2/3.2 MB 180.1 MB/s eta 0:00:00
Downloading sphinx_rtd_theme-1.3.0-py2.py3-none-any.whl (2.8 MB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.8/2.8 MB 167.9 MB/s eta 0:00:00
Downloading readthedocs_sphinx_ext-2.2.2-py2.py3-none-any.whl (11 kB)
Downloading importlib_metadata-6.8.0-py3-none-any.whl (22 kB)
Downloading Pygments-2.16.1-py3-none-any.whl (1.2 MB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 1.2/1.2 MB 259.8 MB/s eta 0:00:00
Downloading requests-2.31.0-py3-none-any.whl (62 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 62.6/62.6 kB 217.0 MB/s eta 0:00:00
Downloading sphinxcontrib_htmlhelp-2.0.4-py3-none-any.whl (99 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 99.2/99.2 kB 231.1 MB/s eta 0:00:00
Downloading sphinxcontrib_serializinghtml-1.1.9-py3-none-any.whl (92 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 92.7/92.7 kB 233.7 MB/s eta 0:00:00
Downloading sphinxcontrib_applehelp-1.0.7-py3-none-any.whl (120 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 120.0/120.0 kB 215.8 MB/s eta 0:00:00
Downloading sphinxcontrib_devhelp-1.0.5-py3-none-any.whl (83 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 83.5/83.5 kB 227.5 MB/s eta 0:00:00
Downloading sphinxcontrib_qthelp-1.0.6-py3-none-any.whl (89 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 89.4/89.4 kB 222.3 MB/s eta 0:00:00
Downloading certifi-2023.7.22-py3-none-any.whl (158 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 158.3/158.3 kB 225.1 MB/s eta 0:00:00
Downloading charset_normalizer-3.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (202 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 202.1/202.1 kB 233.0 MB/s eta 0:00:00
Downloading MarkupSafe-2.1.3-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (25 kB)
Downloading urllib3-2.0.4-py3-none-any.whl (123 kB)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 123.9/123.9 kB 231.1 MB/s eta 0:00:00
Downloading zipp-3.16.2-py3-none-any.whl (7.2 kB)
Building wheels for collected packages: mock
  Building wheel for mock (setup.py): started
  Building wheel for mock (setup.py): finished with status 'done'
  Created wheel for mock: filename=mock-1.0.1-py3-none-any.whl size=23753 sha256=1998ab1b8fbeee70c61aedc35827d9e65705b0a21bddd4ff7b1a46388b8c6bb0
  Stored in directory: /tmp/pip-ephem-wheel-cache-lxjg4r70/wheels/44/dc/c7/e89296d3612588db0aa6545ee3305c23b7a48b3a9922916e1f
Successfully built mock
Installing collected packages: snowballstemmer, mock, commonmark, zipp, urllib3, sphinxcontrib-jsmath, Pygments, pillow, packaging, MarkupSafe, imagesize, idna, docutils, charset-normalizer, certifi, babel, alabaster, requests, Jinja2, importlib-metadata, readthedocs-sphinx-ext, sphinxcontrib-serializinghtml, sphinxcontrib-qthelp, sphinxcontrib-htmlhelp, sphinxcontrib-devhelp, sphinxcontrib-applehelp, sphinx, sphinxcontrib-jquery, sphinx-rtd-theme, recommonmark
Successfully installed Jinja2-3.1.2 MarkupSafe-2.1.3 Pygments-2.16.1 alabaster-0.7.13 babel-2.12.1 certifi-2023.7.22 charset-normalizer-3.2.0 commonmark-0.9.1 docutils-0.18.1 idna-3.4 imagesize-1.4.1 importlib-metadata-6.8.0 mock-1.0.1 packaging-23.1 pillow-10.0.0 readthedocs-sphinx-ext-2.2.2 recommonmark-0.5.0 requests-2.31.0 snowballstemmer-2.2.0 sphinx-7.2.2 sphinx-rtd-theme-1.3.0 sphinxcontrib-applehelp-1.0.7 sphinxcontrib-devhelp-1.0.5 sphinxcontrib-htmlhelp-2.0.4 sphinxcontrib-jquery-4.1 sphinxcontrib-jsmath-1.0.1 sphinxcontrib-qthelp-1.0.6 sphinxcontrib-serializinghtml-1.1.9 urllib3-2.0.4 zipp-3.16.2

[rtd-command-info] start-time: 2023-08-23T16:05:02.338466Z, end-time: 2023-08-23T16:05:05.846060Z, duration: 3, exit-code: 0
python -m pip install --exists-action=w --no-cache-dir -r docs/VerifStrat/requirements.txt
Collecting sphinx==4.2.0 (from -r docs/VerifStrat/requirements.txt (line 3))
  Downloading Sphinx-4.2.0-py3-none-any.whl (3.1 MB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.1/3.1 MB 50.5 MB/s eta 0:00:00
Collecting sphinx_rtd_theme==1.0.0 (from -r docs/VerifStrat/requirements.txt (line 4))
  Downloading sphinx_rtd_theme-1.0.0-py2.py3-none-any.whl (2.8 MB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.8/2.8 MB 220.5 MB/s eta 0:00:00
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==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.7)
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==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.5)
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==4.2.0->-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==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.0.4)
Requirement already satisfied: sphinxcontrib-serializinghtml>=1.1.5 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.1.9)
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==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.6)
Requirement already satisfied: Jinja2>=2.3 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (3.1.2)
Requirement already satisfied: Pygments>=2.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.16.1)
Collecting docutils<0.18,>=0.14 (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3))
  Downloading docutils-0.17.1-py2.py3-none-any.whl (575 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 575.5/575.5 kB 256.1 MB/s eta 0:00:00
Requirement already satisfied: snowballstemmer>=1.1 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.2.0)
Requirement already satisfied: babel>=1.3 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.12.1)
Requirement already satisfied: alabaster<0.8,>=0.7 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (0.7.13)
Requirement already satisfied: imagesize in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.4.1)
Requirement already satisfied: requests>=2.5.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.31.0)
Requirement already satisfied: setuptools in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (68.1.2)
Requirement already satisfied: packaging in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.9/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (23.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>=2.3->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.1.3)
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.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (3.2.0)
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.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (3.4)
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.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.0.4)
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.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2023.7.22)
INFO: pip is looking at multiple versions of sphinxcontrib-htmlhelp to determine which version is compatible with other requirements. This could take a while.
Collecting sphinxcontrib-htmlhelp>=2.0.0 (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3))
  Obtaining dependency information for sphinxcontrib-htmlhelp>=2.0.0 from https://files.pythonhosted.org/packages/d0/a1/5b678486ce3f7f3135ac5396db4591e967fc6709f27aa57fe13c97180953/sphinxcontrib_htmlhelp-2.0.3-py3-none-any.whl.metadata
  Downloading sphinxcontrib_htmlhelp-2.0.3-py3-none-any.whl.metadata (2.2 kB)
  Obtaining dependency information for sphinxcontrib-htmlhelp>=2.0.0 from https://files.pythonhosted.org/packages/57/41/ad44d14fd5273a7b20905fa4dd8444abf1795f6581666f6272e7d8cabf5a/sphinxcontrib_htmlhelp-2.0.2-py3-none-any.whl.metadata
  Downloading sphinxcontrib_htmlhelp-2.0.2-py3-none-any.whl.metadata (2.2 kB)
  Downloading sphinxcontrib_htmlhelp-2.0.1-py3-none-any.whl (99 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 99.8/99.8 kB 228.5 MB/s eta 0:00:00
INFO: pip is looking at multiple versions of sphinxcontrib-serializinghtml to determine which version is compatible with other requirements. This could take a while.
Collecting sphinxcontrib-serializinghtml>=1.1.5 (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3))
  Obtaining dependency information for sphinxcontrib-serializinghtml>=1.1.5 from https://files.pythonhosted.org/packages/dc/85/ea34b6be0494eff8ae281107bb4a83f6c83066b358f2525a251dc852817c/sphinxcontrib_serializinghtml-1.1.8-py3-none-any.whl.metadata
  Downloading sphinxcontrib_serializinghtml-1.1.8-py3-none-any.whl.metadata (2.3 kB)
  Obtaining dependency information for sphinxcontrib-serializinghtml>=1.1.5 from https://files.pythonhosted.org/packages/36/c6/0d5b3f258fdb107558163e88607eb6c245d8785fbd707e027f2da7fbc795/sphinxcontrib_serializinghtml-1.1.7-py3-none-any.whl.metadata
  Downloading sphinxcontrib_serializinghtml-1.1.7-py3-none-any.whl.metadata (2.3 kB)
  Obtaining dependency information for sphinxcontrib-serializinghtml>=1.1.5 from https://files.pythonhosted.org/packages/82/a2/962548d13ceddff95eac7843c9ff37b451c02b69429007b93d6a10a353d3/sphinxcontrib_serializinghtml-1.1.6-py3-none-any.whl.metadata
  Downloading sphinxcontrib_serializinghtml-1.1.6-py3-none-any.whl.metadata (2.3 kB)
  Downloading sphinxcontrib_serializinghtml-1.1.5-py2.py3-none-any.whl (94 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 94.0/94.0 kB 220.4 MB/s eta 0:00:00
INFO: pip is looking at multiple versions of sphinxcontrib-applehelp to determine which version is compatible with other requirements. This could take a while.
Collecting sphinxcontrib-applehelp (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3))
  Obtaining dependency information for sphinxcontrib-applehelp from https://files.pythonhosted.org/packages/b1/db/2c9a62f9d7c8abf45fa79d28a9d0c80e16cb42deac58a699cbd952efda1a/sphinxcontrib_applehelp-1.0.6-py3-none-any.whl.metadata
  Downloading sphinxcontrib_applehelp-1.0.6-py3-none-any.whl.metadata (2.2 kB)
  Obtaining dependency information for sphinxcontrib-applehelp from https://files.pythonhosted.org/packages/57/57/1cdaff9321329139ffb0616b9907f2ddf46fa9a6a9488a93f049b2325472/sphinxcontrib_applehelp-1.0.5-py3-none-any.whl.metadata
  Downloading sphinxcontrib_applehelp-1.0.5-py3-none-any.whl.metadata (2.2 kB)
  Downloading sphinxcontrib_applehelp-1.0.4-py3-none-any.whl (120 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 120.6/120.6 kB 234.3 MB/s eta 0:00:00
INFO: pip is looking at multiple versions of sphinxcontrib-devhelp to determine which version is compatible with other requirements. This could take a while.
Collecting sphinxcontrib-devhelp (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3))
  Obtaining dependency information for sphinxcontrib-devhelp from https://files.pythonhosted.org/packages/5d/b6/7f58acb86c93e54236ca8b5b79dd3873138397060a74a143b1c1e30ba6bf/sphinxcontrib_devhelp-1.0.4-py3-none-any.whl.metadata
  Downloading sphinxcontrib_devhelp-1.0.4-py3-none-any.whl.metadata (2.2 kB)
  Obtaining dependency information for sphinxcontrib-devhelp from https://files.pythonhosted.org/packages/30/68/7e7c2e823a50cc4d0835b962425924fe7006afa2bc7151a79c30b91fcf52/sphinxcontrib_devhelp-1.0.3-py3-none-any.whl.metadata
  Downloading sphinxcontrib_devhelp-1.0.3-py3-none-any.whl.metadata (2.2 kB)
  Downloading sphinxcontrib_devhelp-1.0.2-py2.py3-none-any.whl (84 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 84.7/84.7 kB 188.7 MB/s eta 0:00:00
INFO: pip is looking at multiple versions of sphinxcontrib-qthelp to determine which version is compatible with other requirements. This could take a while.
Collecting sphinxcontrib-qthelp (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3))
  Obtaining dependency information for sphinxcontrib-qthelp from https://files.pythonhosted.org/packages/c1/54/d3f8d78634c43be776bbec969cce56cf6a6ba49fc950774179b6cc20176b/sphinxcontrib_qthelp-1.0.5-py3-none-any.whl.metadata
  Downloading sphinxcontrib_qthelp-1.0.5-py3-none-any.whl.metadata (2.2 kB)
  Obtaining dependency information for sphinxcontrib-qthelp from https://files.pythonhosted.org/packages/8d/57/6edeb937dbc2858d980242ffc5913303c19774048b68654e5bee9556e146/sphinxcontrib_qthelp-1.0.4-py3-none-any.whl.metadata
  Downloading sphinxcontrib_qthelp-1.0.4-py3-none-any.whl.metadata (2.2 kB)
  Downloading sphinxcontrib_qthelp-1.0.3-py2.py3-none-any.whl (90 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 90.6/90.6 kB 220.6 MB/s eta 0:00:00
Installing collected packages: sphinxcontrib-serializinghtml, sphinxcontrib-qthelp, sphinxcontrib-htmlhelp, sphinxcontrib-devhelp, sphinxcontrib-applehelp, docutils, sphinx, sphinx_rtd_theme
  Attempting uninstall: sphinxcontrib-serializinghtml
    Found existing installation: sphinxcontrib-serializinghtml 1.1.9
    Uninstalling sphinxcontrib-serializinghtml-1.1.9:
      Successfully uninstalled sphinxcontrib-serializinghtml-1.1.9
  Attempting uninstall: sphinxcontrib-qthelp
    Found existing installation: sphinxcontrib-qthelp 1.0.6
    Uninstalling sphinxcontrib-qthelp-1.0.6:
      Successfully uninstalled sphinxcontrib-qthelp-1.0.6
  Attempting uninstall: sphinxcontrib-htmlhelp
    Found existing installation: sphinxcontrib-htmlhelp 2.0.4
    Uninstalling sphinxcontrib-htmlhelp-2.0.4:
      Successfully uninstalled sphinxcontrib-htmlhelp-2.0.4
  Attempting uninstall: sphinxcontrib-devhelp
    Found existing installation: sphinxcontrib-devhelp 1.0.5
    Uninstalling sphinxcontrib-devhelp-1.0.5:
      Successfully uninstalled sphinxcontrib-devhelp-1.0.5
  Attempting uninstall: sphinxcontrib-applehelp
    Found existing installation: sphinxcontrib-applehelp 1.0.7
    Uninstalling sphinxcontrib-applehelp-1.0.7:
      Successfully uninstalled sphinxcontrib-applehelp-1.0.7
  Attempting uninstall: docutils
    Found existing installation: docutils 0.18.1
    Uninstalling docutils-0.18.1:
      Successfully uninstalled docutils-0.18.1
  Attempting uninstall: sphinx
    Found existing installation: Sphinx 7.2.2
    Uninstalling Sphinx-7.2.2:
      Successfully uninstalled Sphinx-7.2.2
  Attempting uninstall: sphinx_rtd_theme
    Found existing installation: sphinx-rtd-theme 1.3.0
    Uninstalling sphinx-rtd-theme-1.3.0:
      Successfully uninstalled sphinx-rtd-theme-1.3.0
Successfully installed docutils-0.17.1 sphinx-4.2.0 sphinx_rtd_theme-1.0.0 sphinxcontrib-applehelp-1.0.4 sphinxcontrib-devhelp-1.0.2 sphinxcontrib-htmlhelp-2.0.1 sphinxcontrib-qthelp-1.0.3 sphinxcontrib-serializinghtml-1.1.5

[rtd-command-info] start-time: 2023-08-23T16:05:12.715181Z, end-time: 2023-08-23T16:05:12.776051Z, 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')

#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': '2dd5594b',
}

# 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/1678446/'

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: 2023-08-23T16:05:13.282286Z, end-time: 2023-08-23T16:05:15.172563Z, duration: 1, exit-code: 0
python -m sphinx -T -E -b html -d _build/doctrees -D language=en . $READTHEDOCS_OUTPUT/html
Running Sphinx v4.2.0
loading translations [en]... done
making output directory... done
building [mo]: targets for 0 po files that are out of date
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... [ 54%] intro
reading sources... [ 63%] planning_requirements
reading sources... [ 72%] pulp_verif
reading sources... [ 81%] quick_start
reading sources... [ 90%] test_programs
reading sources... [100%] uvm_tests

looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... 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... [ 54%] intro
writing output... [ 63%] planning_requirements
writing output... [ 72%] pulp_verif
writing output... [ 81%] quick_start
writing output... [ 90%] 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... [ 28%] ../images/rvvi_state.png
copying images... [ 35%] ../images/rvfi_rvvi_scoreboard.png
copying images... [ 42%] ../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... [ 78%] ../images/ibex-ve.png
copying images... [ 85%] ../images/TestProgramEnvironment.png
copying images... [ 92%] ../images/type1.png
copying images... [100%] ../images/type4.png

copying static files... done
copying extra files... done
dumping search index in English (code: en)... done
dumping object inventory... done
build succeeded.

The HTML pages are in ../../../_readthedocs/html.
Updating searchtools for Read the Docs search...