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

Commit Graph

  • c58dfa9b1d Merge pull request #2 from AdaCore/proof_fixes master QuentinOchem 2026-01-21 09:33:02 -05:00
  • 3138bb07e2 further proof optimizations, decreasing time needed to prove proof_fixes Quentin Ochem 2026-01-20 23:15:36 -05:00
  • cea2e16bda fixed proof for recent versions of SPARK, following Claude work Quentin Ochem 2026-01-20 18:21:39 -05:00
  • 1b11b130d8 Update README.md QuentinOchem-patch-1 QuentinOchem 2019-01-08 14:00:57 -05:00
  • 4ac7e6c95c Initial check-in QuentinOchem 2018-10-30 14:59:14 -04:00
  • 233011b3ed initial commit dias 2018-10-26 12:18:58 +02:00