[gecode-users] Freeze with MSVC 2015 optimized build

Christian Schulte cschulte at kth.se
Sat Apr 2 14:21:04 CEST 2016


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




More information about the users mailing list