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
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
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
src
further proof optimizations, decreasing time needed to prove
2026-01-20 23:15:36 -05:00
src_alternate
Initial check-in
2018-10-30 14:59:14 -04:00
prj.gpr
Initial check-in
2018-10-30 14:59:14 -04:00
PROOF_ISSUES.md
further proof optimizations, decreasing time needed to prove
2026-01-20 23:15:36 -05:00
README.md
initial commit
2018-10-26 12:18:58 +02:00

README.md

SPARK_memory

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 54 KiB
Languages
Ada 99.9%