Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] WG: Label to refer to a state of the prior iteration
  • From: kerstin.hartig at (Kerstin Hartig)
  • Date: Thu, 9 Jul 2009 08:40:38 +0200
  • References: <AD320CBF59AF4406AD0FBD74C093F955@AHARDPLACE>

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


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.


Christoph Weber