|
From: Julian S. <js...@ac...> - 2017-03-29 16:21:52
|
On 29/03/17 17:54, Mineeva, Tatyana A wrote: > Our team cannot access the Valgrind Subversion repository: > $ svn co svn://svn.valgrind.org/valgrind/trunk valgrind > svn: Can't connect to host 'svn.valgrind.org': Connection timed out > Is the this repository functional, or should we switch to the git repository? The SVN repo works fine. I've been using it this afternoon and committed to it just a few minutes ago. So as Eliot says, this is probably a corporate firewall problem. Such things have happened before. > We do not currently have success cloning the Valgrind git repository: > $ git clone git://sourceware.org/git/valgrind.git > Cloning into 'valgrind'... > fatal: unable to connect to sourceware.org: > sourceware.org[0: 209.132.180.131]: errno=Connection timed out I don't know. Ivo might know more. Ivo? > I would also like to take this opportunity to update you on our current > progress on adding AVX-512 support to Valgrind. Thank you for the update. That sounds promising. I suspect there will be some fun and games merging this with the trunk, so in general it would be best if you can keep your work based on the most recent possible version of the trunk, rather than on 3.12.0. J |