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 SPARK Pro 26 Roadmap
  • 2.1. SPARK
• 3. AdaCore GNAT Pro for Rust 26 Roadmap
  • 3.1. Toolchain
  • 3.2. Embedded and Real-Time OS Support
• 4. AdaCore GNAT SAS 26 Roadmap
  • 4.1. GNAT SAS
• 5. AdaCore GNAT DAS 26 Roadmap
  • 5.1. GNATcoverage
  • 5.2. GNATtest
  • 5.3. GNATfuzz
• 6. AdaCore GNAT Pro 27 Roadmap
  • 6.1. Embedded and Real-Time OS Support
  • 6.2. GNAT Project File Support
• 7. AdaCore SPARK Pro 27 Roadmap
  • 7.1. SPARK
• 8. AdaCore GNAT Pro for Rust 27 Roadmap
  • 8.1. Embedded and Real-Time OS Support
• 9. AdaCore GNAT DAS 27 Roadmap
  • 9.1. GNATfuzz
• 10. AdaCore GNAT DAS 28 Roadmap
  • 10.1. GNATfuzz