ada/SPARK_memory
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARK_memory.git synced 2026-02-12 13:03:17 -08:00
Code Issues Packages Projects Releases Wiki Activity
5 Commits 3 Branches 0 Tags
master
Commit Graph

5 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
QuentinOchem
c58dfa9b1d Merge pull request #2 from AdaCore/proof_fixes 
fixed proof for recent versions of SPARK, following Claude work
 2026-01-21 09:33:02 -05:00
Quentin Ochem
3138bb07e2 further proof optimizations, decreasing time needed to prove 2026-01-20 23:15:36 -05:00
Quentin Ochem
cea2e16bda fixed proof for recent versions of SPARK, following Claude work 2026-01-20 18:21:39 -05:00
QuentinOchem
4ac7e6c95c Initial check-in 2018-10-30 14:59:14 -04:00
dias
233011b3ed initial commit 2018-10-26 12:18:58 +02:00