Development Log

  • CodePeer
    Sep 21st, 2017

    More precision for floating-point variables in loops
    CodePeer now computes more precise information about values of variables of floating-point types updated in a loop. It takes into account the value of the variable before the loop, the increment of the variable in an iteration of the loop, and the exit condition of the loop when the variable is part of this condition, as well as the relation of the variable to other variables that are part of the exit condition.