ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
415 Commits 15 Branches 0 Tags
master
Commit Graph

4 Commits

Author SHA1 Message Date
Johannes Kanig
6709166f47 Documentation for new body mode 2025-11-07 08:36:59 +00:00
Fernando Oleo Blanco
3d59531543 Fix documentation link in the README 2025-11-06 09:43:05 +00:00
Joffrey Huguet
7eee48d617 V913-014, W224-046 Copy SPARKlib source files 
This patch copies and adapts the source files of SPARKlib from the spark2014
repository into this one. It also changes the license of these files, as
SPARKlib is now licensed under Apache 2.0.
 2023-04-07 11:29:15 +02:00
Johannes Kanig
41cb1b3dd1 Initial commit 2023-02-06 09:51:38 +00:00