This website requires JavaScript.
Explore
Help
Sign In
ada
/
SPARKlib
Watch
0
Star
0
Fork
0
You've already forked SPARKlib
mirror of
https://github.com/AdaCore/SPARKlib.git
synced
2026-02-12 13:11:36 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
SPARKlib
/
tests
/
752__full
History
Johannes Kanig
5205d4b4fa
Baselines for prover updates
2026-01-13 09:56:25 +00:00
..
main.adb
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
sparklib.gpr
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
test.gpr
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
test.out
Baselines for prover updates
2026-01-13 09:56:25 +00:00
test.py
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
test.yaml
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
