Development Log

  • SPARK Pro
    Jul 21st, 2017

    Conversion between arrays with different components
    GNATprove now supports conversion between array types with different component types as long as the component types are statically matching (as allowed by the Ada RM).