Development Log

  • CodePeer
    Sep 27th, 2017

    Improved for-loop unrolling in generated SCIL
    When generating SCIL for a for-loop, CodePeer may decide to unroll the loop. Loops are now unrolled in more cases than before; the previous version would only unroll a loop whose body was a sequence of assignment statements. This unrolling results in more precise analysis results for some programs.