Issues

• Cleanup/deprecation

  Componolit/ada-runtime#86 · Filter by author jklmnn opened on Jul 28, 2022
  1

• Compatibility to FSF GNAT 12

  Componolit/ada-runtime#84 · Filter by author treiher opened on Jul 28, 2022
  

• Serial debug support for nRF52832

  Componolit/ada-runtime#79 · Filter by author jklmnn opened on Aug 12, 2020
  

• Project always completely rebuilt when runtime is used

  Componolit/ada-runtime#76 · Filter by author treiher opened on May 28, 2020

• Support for executing function contracts

  Componolit/ada-runtime#67 · Filter by author senier opened on Apr 17, 2020

• Heap allocator

  Componolit/ada-runtime#56 · Filter by author senier opened on Oct 28, 2019

• Prove 64 bit integer arithmetics

  Componolit/ada-runtime#50 · Filter by author jklmnn opened on Jul 18, 2019

• Integration tests based on Gneiss

  Componolit/ada-runtime#32 · Filter by author senier opened on May 21, 2019