Whatever happened with this? The new release has been out for a while, and it
would make sense to integrate your work now, well before any thought of a new
release.
Larry
> On 27 Aug 2017, at 15:59, Viorel Preoteasa wrote:
>
> I managed to integrate the new complete distributive lattice into H
> They are just identifiers and I don't think they are computed with.
> However, I don't intend to change formalization beyond a global
> implementation of int by some fixed size integers, if that can be done
> easily. Otherwise we live with the increase in runtime from 7:20 to 8:20.
Hence a suita