.. M2-ISA-R documentation master file, created by
   sphinx-quickstart on Tue Aug  9 16:02:38 2022.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to M2-ISA-R's documentation!
====================================

.. toctree::
   :maxdepth: 3
   :caption: Contents:

   Home <self>
   Usage <usage>
   CoreDSL 2 coverage analysis <coverage>
   autoapi/index

Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`