Development Log

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).