Displaying 20 results from an estimated 500 matches similar to: "re-linking hard links"
2018 Dec 07
2
Testing compiler reliability using Csmith
Thanks, Vedant. Yes, we have done a lot of testing of Clang/LLVM (and GCC)
in the past several years (more details at
https://people.inf.ethz.ch/suz/emi/index.html):
[GCC/LLVM bugs: *1,602* (total) / *1,007* (fixed)]
[Reports: GCC (link1 <http://tinyurl.com/ojzdt78>, link2
<http://tinyurl.com/oxlkmjc>, link3 <http://tinyurl.com/jd3jnl3>, link4
2018 Dec 12
2
Testing compiler reliability using Csmith
You may also be interested in the following resources on compilers
correctness (articles, software, and talks -- from the general topics to
the ones specifically focused on testing, validation, and verification):
https://github.com/MattPD/cpplinks/blob/master/compilers.correctness.md
Best regards,
Matt P. Dziubinski
On 12/7/2018 20:19, Philip Reames via llvm-dev wrote:
> There's also
2018 Dec 07
2
Testing compiler reliability using Csmith
Hello everyone!
We are working on writing a paper about testing the reliability of C compilers by using Csmith (a random C99 program generator).
A previous testing effort, using Csmith, found 202 LLVM bugs, which represented 2% of all reported bugs at that time (PDF: https://www.flux.utah.edu/download?uid=114 <https://www.flux.utah.edu/download?uid=114>): . However, after this paper was
2007 Apr 06
1
Authentication problems using libsmbclient API and DFS shares
Hi,
I'm trying to create a map of DFS links to actual
server/share's.? I know that you can get this information by logging
on to the DFS root server, but I'm trying to use the libsmbclient API to
get this information.
I have created a fairly simple DFS
structure on 2003 servers with everything on the same domain.
//MyDomain/DFSRoot
/Link1 -> //Fileserv-1/FileShare1
2009 May 11
2
Fwd: rsync on OSX for transferring files using FAT32
Hi,
Which version of Mac OS X are you running? If you are on Mac OS 10.5.x
then I can only suggest that you try either formating the drive to HFS
+ or creating a disk image with an HFS+ file system.
If you are running Mac OS 10.4.x then ensure that that ACL support is
enabled on the drive. The following URL contains information on how to
check and enable ACL support :
2008 Apr 17
1
LinkingTo for 2 packages
Hello,
One of our packages contains C++ code that needs to be compiled against
2 other packages. So the LinkingTo field in DESCRIPTION looks like this
LinkingTo: FLCore,FLash
Both packages are also in the Depends field.
In R 2.6.2, first thing we noticed was that both names could not have
any space between them, althoguh the example in the html version of
"Writing R Extensions" does
2011 Sep 24
0
Redirecting devise after login
hi,
i am using devise gem in my app for authentication. if i enter
link1 -> http://localhost:3000/users/sign_in,
once i login, it will be redirected to
link2 -> http://localhost:3000/user/dashboard.
if i can add new posts or comments for that user using this link
link3 ->
http://localhost:3000/community_managers/posts/new/2/Facebook
lets say i am using
2012 Jul 13
0
Error 23 with hard links and 3.0.9 patched
Hello,
I'm setting up a system for automated synchronization and backup between different macs (OS X Lion 10.7). I use HFS+ Journaled as filesystem.
I wanted to follow these guidelines:
http://www.bombich.com/rsync.html
but I gave a look inside the patches Mr. Bombich suggested and I thought I could try first by using only the normal ones provided by rsync.samba.org, so I skipped
curl -o
2007 Sep 19
0
Authentication problems using libsmbclient to traverse DFS links
Hi,
I'm trying to create a map of DFS links to actual server/share's.
I know that you can get this information by logging on to the DFS root
server, but I'm trying to use the libsmbclient API to
get this information.
I have created a fairly simple DFS structure on 2003 servers with
everything on the same domain.
//MyDomain/DFSRoot
/Link1 -> //Fileserv-1/FileShare1
/Link2
2005 Jan 18
2
failover works - but balancing does not
here''s the setup (two dsl - same provider)
+-----> link1
LAN----- linux box --| |----------internet
+-----> link2
the setup is ok in terms of the failover requirement. the other link
takes over when one is down. however, there is a very noticeable lag
when both lines are up. i''ve tried changing
2006 Apr 17
6
Re:Problems in Dead Gateway Detection / Failover - MultipleISP Links
Hi There,
I am also trying to do the same for my network.
I have two links from different ISPs and I want to configure a failover and
load balancing Linux router.
I am facing same problem here, that how to detect link failure and let Linux
box switch the gateway.
I know it works when the first gateway is physically down and not reachable.
But what to do if my link is up but there is problem
2006 Oct 05
0
Re: LARTC Digest, Vol 20, Issue 4
Hi,
I think you now have 2 Links to the internet. You want to route web traffic
(transparent proxy triffic) via one link and the rest via the other link.
If it is the case, It is possible to do. I have done it.
here I have mentioned eth0 and eth1
eth0 is connected to one link (link1)
eth1 is connected to other link (link2) , via this link, web traffic will be
routed.
echo 210 link1 >>
2009 May 10
1
rsync on OSX for transferring files using FAT32
I am trying to transfer files between two OSX machines using a FAT32
formatted flash drive. I am transferring a "big" directory (7G).
Basically I want to sync everyday my home and work computers for some
directories.
I tried many possible rsyncs (original supplied, fink 3.0.5/3.0.4
macports 3.0.5, rsync-2.6.3+hfsmode-1.2b2, 3.0.6+fileflags+crtimes)
What I would really like to happen
2007 May 08
0
Squid + iproute2
Hi all, i have a problem i have this topology
192.168.1.7 GW 192.168.2.252
link 1 ------------------------------------ link 2
|
|
eth1 PROXY eth0
192.168.1.245 192.168.2.245
The default gw of the PROXY is 192.168.1.7 and the link2 is a
Secondary link that i need to go out to internet!!!! My internal IP of
the network is
2006 Mar 14
9
firewall problem
snat not working
my local ip is aaa.aaa.aaa.aaa
asterisk sitting on the internet at ip bbb.bbb.bbb.bbb
my firewall''s internal ip is 192.168.0.254
i did snat:
iptables -t nat -A POSTROUTING -o ppp0 -j SNAT --to aaa.aaa.aaa
iptables -t nat -L -v gives:
Chain POSTROUTING (policy ACCEPT 23663 packets, 2182K bytes)
pkts bytes target prot opt in out source
destination
33056
2007 May 14
13
Multihome load balancing - kernel vs netfilter
Hi,
I have searched the archives on the topic, and it seems that the list
gurus favor load balancing to be done in the kernel as opposed to other
means. I have been using a home-grown approach, which splits traffic
based on `-m statistic --mode random --probability X`, then CONNMARKs
the individual connections and the kernel happily routes them. I
understand that for > 2 links it will become
2015 Jul 20
2
[LLVMdev] Using thin archives when building llvm
On 20 July 2015 at 09:00, Brad King <brad.king at kitware.com> wrote:
> On 07/17/2015 02:44 PM, Rafael EspĂndola wrote:
>> Setting CMAKE_CXX_CREATE_STATIC_LIBRARY works on OS X and linux, but
>> on windows I still see a call to "lld-link2 /lib..." when
>> CMAKE_CXX_CREATE_STATIC_LIBRARY is set to use llvm-lib.
>
> What CMake generator are you using on
2007 Nov 13
2
connection diagram
Hi
I am practically new to R, and need to construct connection diagrams,
I have a table of data, of nodes in vertical rows, and horizontally
the number of outgoing connections to other nodes, and the indices of
these nodes, each in a column, so some columns are used, and some are
not, based on how many connections I have
the node is identified by these variables (dimension, wave number,
2015 Jul 22
2
[LLVMdev] Using thin archives when building llvm
On 20 July 2015 at 10:53, Brad King <brad.king at kitware.com> wrote:
> On 07/20/2015 10:48 AM, Rafael EspĂndola wrote:
>>>> Setting CMAKE_CXX_CREATE_STATIC_LIBRARY works on OS X and linux, but
>>>> on windows I still see a call to "lld-link2 /lib..." when
>>>> CMAKE_CXX_CREATE_STATIC_LIBRARY is set to use llvm-lib.
>>
>> I was
2014 Nov 02
0
Rsync hangs on "No space left on device" on the server side
Hi,
We're replicating data over WAN using rsync over hpn-ssh.
In case of destination disk full, rsync on the server side exits with
rsync: close failed on <path> : No space left on device (28)
rsync error: error in file IO (code 11) at receiver.c(731)
However, parent sshd process doesn't recognize it and remains running - keeping rsync on the source side waiting