mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00

Go to file

Joffrey Huguet 5c0ebb457e Merge branch 'topic/26.1-update-tests' into '26.1'

SKIP test on Windows

Issue: eng/shared/release#2121

See merge request eng/spark/sparklib!225

2025-12-19 15:51:36 +00:00

proof

Session updates

2025-06-16 17:44:03 +09:00

src

Merge branch 'topic/1120-dross-empty-vector' into 'master'

2025-11-21 08:04:27 +00:00

tests

SKIP test on Windows because of small proof regressions

2025-12-19 15:58:02 +01:00

_CoqProject

V913-014, W224-046 Copy SPARKlib source files

2023-04-07 11:29:15 +02:00

.flake8

Add more checks to sparklib pre-commit checks

2024-05-22 18:06:28 +09:00

.gitattributes

hide diffs on session files in diffs

2024-04-03 16:54:58 +09:00

.gitignore

Fix .gitignore

2023-04-19 14:48:41 +02:00

.gitlab-ci.yml

Remove private url for public packages

2024-11-26 17:42:00 +09:00

.pre-commit-config.yaml

bump pre-commit hooks version

2025-02-06 18:58:01 +09:00

CONTRIBUTING.md

V913-014, W224-046 Copy SPARKlib source files

2023-04-07 11:29:15 +02:00

generate_session.py

Add more checks to sparklib pre-commit checks

2024-05-22 18:06:28 +09:00

LICENSE

Add LLVM exception to license

2023-04-17 14:30:42 +02:00

Makefile

Enable style checking for SPARKlib light

2025-06-20 00:55:20 +00:00

manual_proof.in

Fix proof of SPARK library

2023-07-06 11:03:57 +09:00

README.md

V913-014, W224-046 Copy SPARKlib source files

2023-04-07 11:29:15 +02:00

setup.sh

Adapt the project files for the dev setup, and setup.sh script

2023-07-26 12:32:48 +02:00

sparklib_common.gpr

Move comment to more appropriate place

2025-06-20 00:55:20 +00:00

sparklib_internal.gpr

Restructure sparklib to use subfolders instead of file naming schemes

2025-06-20 00:55:20 +00:00

sparklib_light_internal.gpr

Restructure sparklib to use subfolders instead of file naming schemes

2025-06-20 00:55:20 +00:00

sparklib_light.gpr.templ

Change project file names

2024-06-26 09:08:12 +00:00

sparklib.gpr.templ

Change project file names

2024-06-26 09:08:12 +00:00

README.md

1. Introduction

This repository contains the source code for the SPARKlib project. SPARKlib is meant to provide users of SPARK libraries to use in SPARK code. SPARKlib contains various libraries, such as a wide range of containers, as well as lemmas to use directly in user code.

2. Community

News about SPARK project and SPARKlib are shared primarily on AdaCore's blog.

3. Documentation

Documentation about what is provided in the SPARKlib and how to use it can be found in the [SPARK User's Guide] (https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html#spark-library).