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
/
63__c_strings_proof
History
Johannes Kanig
5205d4b4fa
Baselines for prover updates
2026-01-13 09:56:25 +00:00
..
proof
/sessions
Baselines for prover updates
2026-01-13 09:56:25 +00:00
c_constant_strings.adb
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02:00
c_constant_strings.ads
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02:00
c_strings.adb
Update sessions for alt-ergo SMT input
2025-03-25 18:05:59 +09:00
c_strings.ads
Add Depends contract to SPARK.C.Strings.Free
2024-07-17 15:20:03 +02:00
test.gpr
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02:00
test.out
Minor test update
2025-11-18 14:15:18 +01:00
test.yaml
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02:00
