Development Log

  • SPARK Pro
    May 12th, 2016

    Support for pragma Unused/Unreferenced/Unmodified
    SPARK now has support for pragma Unused, Unreferenced and Unmodified. We silence warnings (but not checks) about variables that have been mentioned in one of these pragmas; they can be used as an alternative to pragma Warnings Off.