Ada_spark_workflow

A demo of best practices for open-source Ada/SPARK development