在 2019/11/12 19:03, KONRAD Frederic 写道:
>
> Actually that's almost what I did. But I expected the fmal function to
> do it for
> me. Am I wrong expecting that?
>
I don't know whether standard mathematical functions are required to
preserve the floating-point environment, but it is sort of recomm
Which version of binutils? I am using 2.32
> -Original Message-
> From: Peiyuan Song
> Sent: Monday, November 11, 2019 8:47 PM
> To: mingw-w64-public@lists.sourceforge.net
> Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool
> chain
>
> I using mingw-w64 commit is 2ce
在 2019/11/12 18:12, Biswapriyo Nath 写道:
> Update 1.
>
>
>
Thanks. I pushed this one.
--
Best regards,
LH_Mouse
signature.asc
Description: OpenPGP digital signature
___
Mingw-w64-public mailing list
Mingw-w64-public@lists.sourceforge.net
https://
Le 11/9/19 à 4:28 AM, Liu Hao a écrit :
在 2019/11/9 1:01, KONRAD Frederic 写道:
Hello,
I have some precision issues with qemu-system-riscv64. After debugging a
little
I found out that the math function fma(a, b, c) is inaccurate when
compiled with
mingw 6.0 under x86, x86_64 and run from a diff
Update 1.
From 77962942d1f980538c2c5b565e34e006a95cfe50 Mon Sep 17 00:00:00 2001
From: Biswapriyo Nath
Date: Mon, 11 Nov 2019 20:56:01 +0530
Subject: [PATCH] crt/gdi32: update import library
Signed-off-by: Biswapriyo Nath
---
mingw-w64-crt/lib-common/gdi32.def | 172 +-
mingw-w64-crt/li
在 2019/11/11 22:11, Kacvinsky, Tom 写道:
> AS you know, I had to build a custom GCC toolchain with UCRT support in the
> MinGW-w64.
>
> What I did next (aside from building our product) is build Microsoft's Z3
> theorem prover
> software.
>
> Here is the weird thing:
>
> On my machine, both Z3 b
在 2019/11/12 0:35, Biswapriyo Nath 写道:
> ...
>
>
> > @@ -298,9 +745,56 @@ ResetDCW@8
> ResizePalette@8
> RestoreDC@8
> RoundRect@28
> +TROBJ_bEnum@12
^^ shouldn't this be `STROBJ_bEnum@12` ?
> +STROBJ_bEnumPositionsOnly@12
> +STROBJ_bGetAdvanceWidths@16
> +STROBJ_dwGetCodePage@4
> +STROBJ
On Mon, 11 Nov 2019, Kacvinsky, Tom wrote:
On my machine, both Z3 built with the custom MinGW-w64 toolchain and Visual
Studio 2017
work fine wit the UCRT installed on my machine (Windows 10), but on our
automation test
machines (Windows 7), there is an issue loading the libz3 DLL. The error i
