I've finished my version of the waypoint plan manager verified to the gold level in SPARK. I'm creating this PR to merge it into branch "develop," but I think it might be better to create a new branch "SparkGoldWPM," unless you're sure you want to replace the existing SPARK version with this one. I’ve updated the example used to test out this version of the WPM and moved it to directory “examples/04_Ada_SparkGoldWPM“
I've finished my version of the waypoint plan manager verified to the gold level in SPARK. I'm creating this PR to merge it into branch "develop," but I think it might be better to create a new branch "SparkGoldWPM," unless you're sure you want to replace the existing SPARK version with this one. I’ve updated the example used to test out this version of the WPM and moved it to directory “examples/04_Ada_SparkGoldWPM“