GNAT for CUDA® User's Guide

This guide documents GNAT for CUDA®, a toolsuite that allows to compile Ada and SPARK code directly for NVIDIA GPUs, leveraging the CUDA toolsuite that is provided by NVIDIA.