[gecode-users] Freeze with MSVC 2015 optimized build

[Christian Schulte]

Uuups, gosh. That I did not know. Right now I cannot try MSV 2013 easily as
I am travelling. But maybe I'll check somehow.

Cheers
Christian

--
Christian Schulte, www.gecode.org/~schulte 
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Filip Konvicka
Sent: Thursday, September 17, 2015 05:02 PM
To: users at gecode.org
Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build

Hi Christian,

Thanks!  OK - I just know that the official Gecode 4.4.0 distribution (MSVC
2013) works OK, and so does the debug (non-optimized) version built from
trunk using MSVC 2015.

Cheers,
Filip

> Hi Filip,
>
> This seems to be an issue with Gecode and not the compiler... Guido 
> promised me that he will look into floats. Real soon, he said ;-)
>
> Cheers
> Christian
>
> --
> Christian Schulte, www.gecode.org/~schulte Professor of Computer 
> Science, KTH, cschulte at kth.se Expert Researcher, SICS, 
> cschulte at sics.se
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On 
> Behalf Of Filip Konvicka
> Sent: Thursday, September 17, 2015 03:39 PM
> To: users at gecode.org
> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>
> Sure, it's the script from my original post.  I'm re-attaching it now.
> I also used Gecode trunk (updated about September 1st) with Qt-5.5, 
> built in my Cygwin environment with MSVC 2015 RTM x64 compiler.
>
> Thanks,
> Filip
>
>> Hi Filip,
>>
>> If you tell me which script you tried, I can try here (even though 
>> Gist works for me with MSVC 2015 and Qt-5.5.0, using the trunk).
>>
>> Cheers
>> Christian
>>
>> --
>> Christian Schulte, www.gecode.org/~schulte Professor of Computer 
>> Science, KTH, cschulte at kth.se Expert Researcher, SICS, 
>> cschulte at sics.se
>>
>> -----Original Message-----
>> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On 
>> Behalf Of Filip Konvicka
>> Sent: Thursday, September 17, 2015 03:24 PM
>> To: users at gecode.org
>> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>>
>>> I was trying to use the Qt installer but Qt does not seem to be 
>>> visible in the cygwin environment.  I'll try the source package as 
>>> you suggest, that sounds better to me.
>>
>> So in the end I finished using the pre-built version of Qt and I'm 
>> now able to run the script in Gist (Gist::dfs). The issue is still there.
>> I ran 'Next Solution' - this apparently runs the search in a separate 
>> thread but never finishes (and 'Stop' does not stop the search, you 
>> have to kill the program). Inspecting the nodes one by one freezes 
>> the program during the 3rd expansion, and in this case the program 
>> stops
> responding altogether.
>>
>> So my guess is this is really some tight loop somewhere in Gecode 
>> (maybe caused by a new optimization or bug in the new compiler?)
>>
>> Cheers,
>> Filip
>>
>>
>>
>> _______________________________________________
>> Gecode users mailing list
>> users at gecode.org
>> https://www.gecode.org/mailman/listinfo/gecode-users
>>



_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users