Development Log

  • SPARK Pro
    Jun 16th, 2017

    Better handling of discriminants of protected types
    GNATprove now tracks the value of discriminants of protected types in a better way, leading to better proof results.