.. GNATprove Developer Guide documentation master file, created by
   sphinx-quickstart on Tue Aug  1 17:08:02 2017.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

GNATprove Developer's Guide
===========================

   Copyright (C) 2017-2022, AdaCore and Capgemini Engineering

   Permission is granted to copy, distribute and/or modify this document
   under the terms of the GNU Free Documentation License, Version 1.1
   or any later version published by the Free Software Foundation;
   with no Invariant Sections, with no Front-Cover Texts, and with no
   Back-Cover Texts.
   A copy of the license is included in the section entitled 'GNU
   Free Documentation License'.

Contents:

.. toctree::
   :maxdepth: 6

   tool_structure
   legality_checking
   flow_analysis
   gg
   translation_why3
   gnatwhy3
   gps_integration
   manual_proof
   counterexamples
   tool_interaction
   miscellaneous
