iOS yes: https://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ugx/ios_topics.html https://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ug... Never us

iOS yes: https://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ugx/ios_topics.html https://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ug... Never used it though.