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

Go to file

Claire Dross 562f599127 Merge branch 'topic/665-dross-formal-maps-test' into 'master'

File test for hashed maps

Issue: eng/spark/spark2014#665

See merge request eng/spark/sparklib!85

2024-09-16 09:31:37 +00:00

proof

Update sparklib sessions after alt-ergo update

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

src

Use logical equal in posts of unbounded hashed sets

2024-09-10 08:35:11 +00:00

tests

File test for hashed maps

2024-09-16 10:03:58 +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

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

Change project file names

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

sparklib_light_internal.gpr

Change project file names

2024-06-26 09:08:12 +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).