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
25.0
Add File
New File
Upload File
Apply Patch
SPARKlib
/
tests
/
63__c_strings_proof
History
Claire Dross
5e102d7b90
Add Depends contract to SPARK.C.Strings.Free
2024-07-17 15:20:03 +02:00
..
proof
/sessions
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02: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
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02: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
Add Depends contract to SPARK.C.Strings.Free
2024-07-17 15:20:03 +02:00
test.yaml
Move tests for the proof of sparklib units to the sparkilb repo
2024-07-16 12:32:44 +02:00
