AdaCore Product Roadmap documentation

Contents:

• 1. AdaCore GNAT Pro 27 Roadmap
  • 1.1. Embedded and Real-Time OS Support
  • 1.2. LLVM Compiler
  • 1.3. GNAT Project File Support
• 2. AdaCore SPARK Pro 27 Roadmap
  • 2.1. SPARK
• 3. AdaCore GNAT Pro for Rust 27 Roadmap
  • 3.1. Toolchain
  • 3.2. Embedded and Real-Time OS Support
• 4. AdaCore GNAT SAS 27 Roadmap
  • 4.1. LangKit Query Language
• 5. AdaCore CodeSonar for C and C++ 27 Roadmap
  • 5.1. Static Analysis
• 6. AdaCore GNAT DAS 27 Roadmap
  • 6.1. GNATcoverage
  • 6.2. GNATtest
  • 6.3. GNATfuzz
• 7. AdaCore GNAT Pro 28 Roadmap
  • 7.1. Embedded and Real-Time OS Support
• 8. AdaCore GNAT DAS 28 Roadmap
  • 8.1. GNATfuzz