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

Go to file

Joffrey Huguet 5ccc0764e1 Merge branch 'cherry-pick-3e25f066' into '25.1'

Use helper function in sparklib for compiling/running

Issue: eng/spark/spark2014#776

See merge request eng/spark/sparklib!106

2024-11-22 09:28:01 +00:00

proof

Update sparklib sessions after alt-ergo update

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

src

Merge branch 'topic/750__big_integers_light' into 'master'

2024-10-31 16:09:59 +00:00

tests

Merge branch 'topic/776-kanig-helper' into 'master'

2024-11-22 09:21:03 +00: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

Add more checks to sparklib pre-commit checks

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

.pre-commit-config.yaml

Add more checks to sparklib pre-commit checks

2024-05-22 18:06:28 +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

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

Merge branch 'topic/750__big_integers_light' into 'master'

2024-10-25 09:37:27 +00:00

sparklib_light_internal.gpr

Merge branch 'topic/750__big_integers_light' into 'master'

2024-10-25 09:37:27 +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).