ada/program_proofs_in_spark
0
0
Fork 0
mirror of https://github.com/AdaCore/program_proofs_in_spark.git synced 2026-02-12 13:11:58 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 37500dca9b Bump version fsf Yannick Moy 2023-04-27 23:17:40 +02:00
  • 883390f7fe Add info on Alire crate Yannick Moy 2023-04-22 19:07:06 +02:00
  • a70c41ae79 Revert "first version" master Yannick Moy 2023-04-22 10:32:39 +02:00
  • 6beebdb6d0 first version Yannick Moy 2023-04-22 10:31:11 +02:00
  • 07b50718ce Add test for search and enable assertions Yannick Moy 2023-04-22 08:07:05 +02:00
  • 8a64b8f60a Add test file for abstract syntax trees Yannick Moy 2023-04-22 07:06:47 +02:00
  • e5332bfc2a Complete project files Yannick Moy 2023-04-22 06:37:37 +02:00
  • 47a8577d0d Add missing loop variant Yannick Moy 2023-04-22 06:36:00 +02:00
  • 62f49a5479 Add Alire dependency Yannick Moy 2023-04-22 06:38:04 +02:00
  • 97f16b37c9 Complete project files Yannick Moy 2023-04-22 06:37:37 +02:00
  • aacf00014f Add missing loop variant Yannick Moy 2023-04-22 06:36:00 +02:00
  • 2538ad63da Add Apache-2.0 license yannickmoy 2023-04-20 11:52:30 +02:00
  • 4bbbb49a53 Use GNAT 12 for compilation ot Ada 2022 features Yannick Moy 2023-04-20 14:17:42 +02:00
  • 22ee1b3dd4 Fix release name Yannick Moy 2023-04-20 11:58:37 +02:00
  • 44ba735458 Add Alire manifest Yannick Moy 2023-04-20 11:55:37 +02:00
  • af073d27a6 Add Apache-2.0 license yannickmoy 2023-04-20 11:52:30 +02:00
  • 72d715b9c8 Merge pull request #1 from AdaCore/master yannickmoy 2023-03-25 14:43:55 +01:00
  • c3d69d58fd Merge branch 'fsf' into master yannickmoy 2023-03-25 14:43:41 +01:00
  • e80ae995ee Add info on contribbuting Yannick Moy 2023-03-25 14:41:18 +01:00
  • 6ac4dca80c typo Yannick Moy 2023-03-21 17:20:06 +01:00
  • 7e031a9e7c typo Yannick Moy 2023-03-21 17:19:53 +01:00
  • 68d151e61f Update README Yannick Moy 2023-03-21 16:55:00 +01:00
  • ffb938515f Update README Yannick Moy 2023-03-21 16:53:46 +01:00
  • ddb3205ddb Adaptations of proofs for FSF version of SPARK Yannick Moy 2023-03-21 16:39:01 +01:00
  • 6f16b11e37 Fix project name Yannick Moy 2023-03-21 16:34:04 +01:00
  • 5ecfe0ea6f Adapt sort for unconstrained arrays Yannick Moy 2023-03-21 11:59:04 +01:00
  • 8cce803302 Add quicksort algo Yannick Moy 2023-03-21 11:22:29 +01:00
  • 09fb662a20 Add selection sort Yannick Moy 2023-03-21 10:18:38 +01:00
  • 6306351cee Add Dutch National Flag algo Yannick Moy 2023-03-20 18:11:14 +01:00
  • 9baba186f1 Add search algos Yannick Moy 2023-03-20 14:49:20 +01:00
  • 2843c534b8 Add proof of AST Yannick Moy 2023-03-20 11:14:46 +01:00
  • a431c32baf Add Fibonacci squared Yannick Moy 2023-03-16 21:25:54 +01:00
  • 02d5168565 Add unary numbers Yannick Moy 2023-03-16 20:38:05 +01:00
  • 883851bc27 Add first example in SPARK Yannick Moy 2023-03-14 11:43:01 +01:00
  • a66f5ae8f8 Initial commit couraillon 2023-03-14 10:51:47 +01:00