[gecode-users] Freeze with MSVC 2015 optimized build

[Filip Konvička]

Christian,

Thanks.  I was referring to this September & October thread - there were 
issues with Gecode freezing on some FloatVar problems (my testcase and 
your "Float::Arithmetic::Div::C") with MSVC 2015, and you said then that 
it might be resolved by not using SSE2 (but that Guido would investigate 
more).  We also identified a number of float tests that were failing on 
GCC 5 (not with GCC 4.9).

I can try re-running our tests here with the current trunk to see if 
something changed - I just thought that I would ask directly whether you 
did something specific to address these issues.  The failures seemed a 
bit non-deterministic...

Thanks,
Filip

> MSVC2015 works for Gecode.4.4.0 since its initial release, I in fact
> uploaded packages to the Gecode website last week. Since last week (Mar 30)
> the update 2 to MSVC 2015 finally also compiles the trunk and the upcoming
> Gecode 5.0.0.
>
> Don't know about GCC, though.
>
> 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: Friday, April 1, 2016 14:41
> To: users at gecode.org
> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>
> Hi Christian,
>
> Have you had any chance to look into supporting gcc 5 and MSVC 2015?
>
> Thanks,
> Filip
>
>> Hi Filip,
>>
>> Thanks for the information. This really looks like a gcc problem.
>> Guido, can you reproduce this behavior?
>>
>> 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: Friday, October 2, 2015 09:58 AM
>> To: users at gecode.org
>> Subject: Re: [gecode-users] Freeze with MSVC 2015 optimized build
>>
>> Hi,
>>
>> We were looking a bit more into 4.4.0 on Linux where we've also hit
>> some issues.
>>
>> All tests worked fine with gcc 4.9.3.  However, with gcc 5.2.0 many
>> tests failed - see the attachements for details:
>>      gecode-4.4.0-gcc-5.2.0-failed_tests.list
>>      ... list of failed tests (except two memory fails below)
>>      gecode-4.4.0-gcc-5.2.0-failed_tests.log
>>      ... log from 'test' for failed tests
>>
>> Two tests ran out of memory (allocated several GBs of memory before
>> getting killed by system):
>>      Set::Branch::Sparse::3
>>      Set::Channel::Sorted
>>
>> gcc details:
>> target=x86_64-linux-gnu
>> GCC_VER=5.2.0
>> GMP_VER=6.0.0
>> MPFR_VER=3.1.3
>> MPC_VER=1.0.3
>> BINUTILS_VER=2.25
>>
>> It could also be a gcc bug of course, hard to tell.
>>
>> Thanks,
>> Filip
>>
>
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>