This website requires JavaScript.
Explore
Help
Sign In
ada
/
spark2014
Watch
0
Star
0
Fork
0
You've already forked spark2014
mirror of
https://github.com/AdaCore/spark2014.git
synced
2026-02-12 12:39:11 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
fsf
Add File
New File
Upload File
Apply Patch
spark2014
/
scripts
History
Johannes Kanig
ca2347a641
adding new test for slow non-large
2025-11-21 10:05:06 +00:00
..
gprconfig_memcache_wrapper
…
bisect.sh
…
check_test_times.py
adding new test for slow non-large
2025-11-21 10:05:06 +00:00
ci_predef.sh
add comment to script
2025-10-16 08:50:09 +00:00
copyright.py
cleanup script and support different copyright format
2024-01-16 09:00:55 +00:00
flowpp.py
…
gnat2why_cov_wrapper
…
opam.sh
…
README.txt
…
spark.opam
…
test2prove.py
Add an option to invoke gnatfuzz in test2prove.py in order
2025-06-04 07:19:05 +00:00
testgen.py
Add python script to integrate gnattest with gnatprove
2025-04-16 08:59:43 +00:00
why3keywords.py
Copyright update
2025-01-06 09:47:26 +09:00
why3log.py
…
README.txt
Scripts supporting the development of SPARK 2014.
Reference in New Issue
View Git Blame
Copy Permalink
