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, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Filip Konvicka Sent: Friday, April 1, 2016 14:41 To: users@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, cschu...@kth.se Expert Researcher, SICS, > cschu...@sics.se > > -----Original Message----- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On > Behalf Of Filip Konvicka > Sent: Friday, October 2, 2015 09:58 AM > To: users@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@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
