program_proofs_in_spark 0.1.1 (#799)

* Publish project of SPARK examples This will be useful for training / tutorials based on Alire. * Updated the examples to include drivers for execution
2023-04-28 10:14:30 +02:00
parent 6153961d80
commit bbece6102a
1 changed files with 22 additions and 0 deletions
@@ -0,0 +1,22 @@
+name = "program_proofs_in_spark"
+description = "Programs from the book Program Proofs in SPARK"
+version = "0.1.1"
+
+authors = ["Yannick Moy"]
+maintainers = ["Yannick Moy <moy@adacore.com>"]
+maintainers-logins = ["yannickmoy"]
+licenses = "Apache-2.0"
+website = "https://github.com/AdaCore/program_proofs_in_spark"
+project-files = ["ch5/ch5.gpr", "ch7/ch7.gpr", "ch12/ch12.gpr", "ch13/ch13.gpr", "ch15/ch15.gpr"]
+tags = ["spark"]
+
+[[depends-on]]
+gnat = ">=12 & <2000"
+
+[[depends-on]]
+gnatprove = "^12.1.1"
+
+[origin]
+commit = "37500dca9b643d1cd2f3711e1f97264923ea0baa"
+url = "git+https://github.com/AdaCore/program_proofs_in_spark.git"
+