DeeDee questions

DeeDee answers

• How do I modify my post condition to achieve Gold standard of Spark proof - Ada SPARK
• When do I use a predefined class wide access type vs. an anonymous access to a class wide type as a parameter?
• GNAT.Command_Line.Getopt - how to enforce all command line options were valid?
• GNAT GPL Ada fails will linkage error when cross-compiling for the Raspberry pi
• Start executable from Ada program and read result
• Issue with freezing points in (Ada) SPARK
• SPARK Ada: Overlays Without Copying
• Spark-Ada postcondition for array total
• Does it ever make sense to specify 'Small and 'Delta separately?
• How to mark unreachable code in Ada/SPARK