Issues

• gnat2why: invalid switch: -s

  AdaCore/spark2014#78 · Filter by author HROMANO opened on Oct 6, 2026

• GNATPROVE crash on GNAT16 w/ nested limited object

  AdaCore/spark2014#77 · Filter by author docandrew opened on Oct 3, 2026
  1

• 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

• Standard'Target_Name is wrong

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

• 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