SPARK_Examples

This repository shows various examples of SPARK2014 code

• spark-by-example: SPARK2014 translation of examples from "ACSL-by-example" report
• sparkle: some elements for a SPARK2014 library, on top of the C standard library + Ada.Command_Line