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, 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
