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.