Development Log

  • SPARK Pro
    Apr 20th, 2017

    Better handling of powers of 2 in modular types
    GNATprove now handles better powers of 2 that are of a modular type, leading to better proof results. This improvement only concerns modular types whose modulus is itself a power of 2.