On 18 July 2013 16:02, <[email protected]> wrote: > As I said in the last email, we have issues with determinism with icount. > We are wondering if determinism is really ensured with icount?
My opinion is that it *should* be deterministic but it would be unsurprising if the determinism had got broken along the way. > Both icount and reverse execution need an instruction counter. icount use a > count-down mechanism but reverse execution need a continuous counter. For now > we have build a separate counter and we think that these two counters can be > merged. However we would like feedback about this before modifying this. I definitely think that there should only be one counter, not two. thanks -- PMM
