Development Log

  • SPARK Pro
    May 16th, 2016

    Do not re-use files from previous versions of SPARK
    Intermediate files in the gnatprove directory from previous versions of the tools could mislead later versions of the tools, sometimes resulting in confusing crashes or confusing error messages. We now detect any such version mismatch and issue a prompt to clean up.