DeeDee questions

DeeDee answers

• Suppress warnings for unchecked conversion
• Tracing execution of an Ada program
• Ada program to detect an end of line
• "Taking on a Challenge in SPARK Ada" - Sum ghost function in post-condition having unintended behavior
• How to get current date?
• How to prove equivalence of two functions?
• Ada constraint error: Discriminant check failed. What does this mean?
• 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?