spark2014

ada/spark2014

mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00

Files

Johannes Kanig 1b8773df0c Apply 1 suggestion(s) to 1 file(s)

Co-authored-by: Piotr Trojanek <trojanek@adacore.com>

2026-02-11 23:35:54 +00:00

2020-02-14 17:28:40 +01:00

bisect.sh

2020-03-27 01:37:21 +01:00

check_test_times.py

2026-02-11 23:35:54 +00:00

ci_predef.sh

add comment to script

2025-10-16 08:50:09 +00:00

Update copyright info

2026-01-05 10:01:19 +00:00

flowpp.py

2023-09-20 09:36:25 +00:00

gnat2why_cov_wrapper

2021-12-16 10:26:01 +09:00

opam.sh

2023-02-04 11:13:28 +00:00

README.txt

2015-07-21 11:31:21 +01:00

spark.opam

2023-02-04 11:13:28 +00:00

test2prove.py

2025-06-04 07:19:05 +00:00

testgen.py

2025-04-16 08:59:43 +00:00

why3keywords.py

Update copyright info

2026-01-05 10:01:19 +00:00

why3log.py

2023-01-25 08:42:40 +00:00

Scripts supporting the development of SPARK 2014.