AdaCore Product Roadmap documentation

Contents:

• 1. AdaCore GNAT Pro 26 Roadmap
  • 1.1. Embedded and Real-Time OS Support
  • 1.2. GCC Compiler
  • 1.3. LLVM Compiler
  • 1.4. IDE
  • 1.5. Libadalang
• 2. AdaCore GNAT SAS 26 Roadmap
  • 2.1. GNAT SAS
• 3. AdaCore GNAT DAS 26 Roadmap
  • 3.1. GNATcoverage
  • 3.2. GNATtest
  • 3.3. GNATfuzz
• 4. AdaCore GNAT Pro 27 Roadmap
  • 4.1. Embedded and Real-Time OS Support
  • 4.2. LLVM Compiler
  • 4.3. GNAT Project File Support
• 5. AdaCore SPARK Pro 27 Roadmap
  • 5.1. SPARK
• 6. AdaCore GNAT Pro for Rust 27 Roadmap
  • 6.1. Toolchain
  • 6.2. Embedded and Real-Time OS Support
• 7. AdaCore GNAT SAS 27 Roadmap
  • 7.1. LangKit Query Language
• 8. AdaCore GNAT DAS 27 Roadmap
  • 8.1. GNATcoverage
  • 8.2. GNATtest
  • 8.3. GNATfuzz
• 9. AdaCore GNAT DAS 28 Roadmap
  • 9.1. GNATfuzz