Development Log

  • SPARK Pro
    Jun 21st, 2017

    No checks for array conversion with static bounds
    GNATprove no longer generates length checks when converting between two static array types with equal lengths.