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

Go to file

Joffrey Huguet dc7cd02b08 Merge branch 'topic/fsf-15-cp' into 'fsf-15'

Change project file names

Issue: eng/spark/spark2014#637

See merge request eng/spark/sparklib!147

2025-06-11 08:39:51 +00:00

proof

Update sparklib sessions after alt-ergo update

2024-06-11 18:17:34 +09:00

src

Remove redundant parentheses inside unary operators

2025-01-10 12:06:04 +01:00

tests

Change project file names

2025-06-10 12:32:18 +02: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

Hide internal URL

2024-11-27 19:39:00 +01: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

Improve style checking options for SPARKlib and clean up

2024-04-04 18:26:48 +09: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

Factorize Default_Switches

2024-04-18 09:52:30 +02:00

sparklib_internal.gpr

Stop using Big_Integers_Ghost in the SPARKlib

2024-10-25 08:28:38 +00:00

sparklib_light_internal.gpr

Stop using Big_Integers_Ghost in the SPARKlib

2024-10-25 08:28:38 +00:00

sparklib_light.gpr.templ

Change project file names

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

sparklib.gpr

Change project file names

2025-06-10 12:32:18 +02: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).