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
30 Commits 2 Branches 0 Tags
fsf
Commit Graph

30 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Yannick Moy
37500dca9b Bump version 2023-04-27 23:17:40 +02:00
Yannick Moy
883390f7fe Add info on Alire crate 2023-04-22 19:07:06 +02:00
Yannick Moy
07b50718ce Add test for search and enable assertions 2023-04-22 08:07:05 +02:00
Yannick Moy
8a64b8f60a Add test file for abstract syntax trees 2023-04-22 07:06:47 +02:00
Yannick Moy
62f49a5479 Add Alire dependency 2023-04-22 06:38:04 +02:00
Yannick Moy
97f16b37c9 Complete project files 2023-04-22 06:37:37 +02:00
Yannick Moy
aacf00014f Add missing loop variant 2023-04-22 06:36:35 +02:00
Yannick Moy
4bbbb49a53 Use GNAT 12 for compilation ot Ada 2022 features 2023-04-20 14:17:42 +02:00
Yannick Moy
22ee1b3dd4 Fix release name 2023-04-20 11:58:37 +02:00
Yannick Moy
44ba735458 Add Alire manifest 2023-04-20 11:55:37 +02:00
yannickmoy
af073d27a6 Add Apache-2.0 license 2023-04-20 11:52:30 +02:00
yannickmoy
72d715b9c8 Merge pull request #1 from AdaCore/master 
update README
 2023-03-25 14:43:55 +01:00
yannickmoy
c3d69d58fd Merge branch 'fsf' into master 2023-03-25 14:43:41 +01:00
Yannick Moy
e80ae995ee Add info on contribbuting 2023-03-25 14:41:18 +01:00
Yannick Moy
6ac4dca80c typo 2023-03-21 17:20:06 +01:00
Yannick Moy
7e031a9e7c typo 2023-03-21 17:19:53 +01:00
Yannick Moy
68d151e61f Update README 2023-03-21 16:55:00 +01:00
Yannick Moy
ffb938515f Update README 2023-03-21 16:53:46 +01:00
Yannick Moy
ddb3205ddb Adaptations of proofs for FSF version of SPARK 
Minor adaptations are needed to remove dependency on SPARKlib and
to do without variants on Big_Natural and structural variants,
as well as the absence of Automatic_Instantiation.
 2023-03-21 16:39:01 +01:00
Yannick Moy
6f16b11e37 Fix project name 2023-03-21 16:34:04 +01:00
Yannick Moy
5ecfe0ea6f Adapt sort for unconstrained arrays 2023-03-21 11:59:04 +01:00
Yannick Moy
8cce803302 Add quicksort algo 2023-03-21 11:22:29 +01:00
Yannick Moy
09fb662a20 Add selection sort 2023-03-21 10:18:38 +01:00
Yannick Moy
6306351cee Add Dutch National Flag algo 2023-03-20 18:11:14 +01:00
Yannick Moy
9baba186f1 Add search algos 2023-03-20 14:49:20 +01:00