--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on July 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] WG: Label to refer to a state of the prior iteration



On Christoph Weber's request I forward the following mail:
------

Hello,

I am experimenting to prove an algorithm similar to binary_search (lower_bound).
Currently I would like to "compare" a Variable to itself in the state of the previous iteration.

I would like to know, if such a Label would be of any interest to be implemented or if the concept of adressing the variable in the previous iteration is flawed and should not longer be regarded.

I hope I made my question clear.

Sincerely

Christoph Weber