Development Log

  • SPARK Pro
    Aug 23rd, 2017

    Ordering of checks for manual proof better preserved
    When manual proof is used, the order of checks is important for matching existing proofs to the checks. The SPARK tools now preserve this order better than previously. This simplifies the usage of SPARK tools when doing manual proof.