[isabelle-dev] PolyML update

Dear list, I've been playing around with adding unsigned 64 bit integers to the AFP entry Native_Word. In doing so, I realised that PolyML in 64 bit mode has a bug in the Word64 implementation in the version that the current development version 2a6371fb31f0 uses (PolyML 5.6-1). For example,

Re: [isabelle-dev] PolyML update

If there is really such a serious bug, we should update asap, imhoPeter Original Message Subject: [isabelle-dev] PolyML updateFrom: Andreas Lochbihler To: DEV Isabelle Mailinglist CC: Dear list,I've been playing around with

Re: [isabelle-dev] PolyML update

On 11/08/17 18:31, Andreas Lochbihler wrote: > > I realised that PolyML in 64 bit mode > has a bug in the Word64 implementation in the version that the current > development version 2a6371fb31f0 uses (PolyML 5.6-1). For example, > dividing 18446744073709551611 by 3 using the Word64 structure