Issues

• GNATprove crash, may be related to Exceptional_Cases

  AdaCore/spark2014#83 · Filter by author harveywi opened on Oct 23, 2026

• GNATProve crash on FSF GNAT 15 w/ indexed existential quantifier

  AdaCore/spark2014#82 · Filter by author docandrew opened on Oct 22, 2026

• GNATPROVE Crash

  AdaCore/spark2014#80 · Filter by author odavy37 opened on Oct 12, 2026
  2

• Add group borrows or some other more flexible version of borrow checking to SPARK

  AdaCore/spark2014#79 · Filter by author ValorZard opened on Oct 11, 2026
  

• How to create a custom SPARK tasking profile?

  AdaCore/spark2014#76 · Filter by author ValorZard opened on Sep 22, 2026
  5

• Thread_Local_Storage isn't modeled properly in SPARK

  AdaCore/spark2014#74 · Filter by author ValorZard opened on Sep 15, 2026

• System'To_Address (-1) doesn't work in SPARK

  AdaCore/spark2014#73 · Filter by author ValorZard opened on Sep 15, 2026
  2

• Add ability to have Ghost Tasks

  AdaCore/spark2014#72 · Filter by author ValorZard opened on Sep 15, 2026
  3

• gnatprove ICE: Storage_Error on an iterated component association in an expression function

  AdaCore/spark2014#69 · Filter by author tonygair opened on Sep 7, 2026
  1

• gnatprove bug related to Ada Util Log Rolling File Appender

  AdaCore/spark2014#66 · Filter by author odavy37 opened on Aug 14, 2026
  2

• GNATprove miscomputes Global aspect for generic formal parameter

  AdaCore/spark2014#62 · Filter by author daniel-larraz opened on Dec 29, 2025
  1

• No warning given for uninitialized volatile variable

  AdaCore/spark2014#59 · Filter by author Zerohour43123 opened on May 14, 2025
  1

• IPstack/AIP epoch. Year 2038 problem

  AdaCore/spark2014#47 · Filter by author kevlar700 opened on Nov 20, 2023