.. VeriStand Safety Controls documentation master file, created by
   sphinx-quickstart on Mon Dec 13 15:26:17 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to MARTe Compiler Documentation
======================================

This is a minimal set of documentation to show how to install, configure and use the MARTe Compiler.

The runners are typically expected to be operated by external applications rather than users so usage is not expected to be operated manually - which is however described in this documentation and can be useful for debugging.

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   Installation & Configuration <install>
   Usage <usage>
   Debugging <debugging>