search for: unproven

...thing close to the > paper mentioned, I can't think of a case where you'd care to > distinguish between "not visited" and "visited but undef". That is, > instead of starting from "map each each instruction as not visited" we > should be able to (my unproven conjecture) start from "map each > instruction to undef", making the "unknown" element superfluous. > See the email i just sent. Your scheme would work if you didn't want to optimize undef, because you'd just make meet (anything, undef) -> overdefined. It'...

...re implementing something close to the paper mentioned, I can't think of a case where you'd care to distinguish between "not visited" and "visited but undef". That is, instead of starting from "map each each instruction as not visited" we should be able to (my unproven conjecture) start from "map each instruction to undef", making the "unknown" element superfluous. -- Sanjoy > >> Is there a case in your algorithm in which treating an >> unknown as an undef will be a problem? >> >> Actually given the above lattice...

...ely rare." > > What he was referring to/describing was a contrast with the optimizations described prior to that. > > It's something like this: > > UB-based optimizations don't prove UB is present - they optimize on the assumption that it is not present due to some unproven (by the compiler, but assumed to be known by the developer) invariants in the program. > > Think about a simple case like array bounds - the compiler emits an unconditional load to the memory because it assumes the developer correctly validated the bounds or otherwise constructed so that out...

...(i.e. multicard), it's supposed to detect the right setting for several of the memory config variables a given GPU supports (memory type, bus width, amount of installed RAM chips). The implementation I'm attaching seems to work on all the cards I've got at hand, but I've done a few unproven assumptions about the many different memory configs there are, so I'd like to get as many Acked- and Tested-by's as possible before pushing (a cleaned up version of) this patch. Instructions you may follow if you have an nv0x-nv3x card (i.e. GF FX5xxx or older): 1/ Apply and build the atta...

Chandler, The only thing David made clear that wasn’t already clear is that he believes UB to be “comparatively rare”, which is in agreement with what Hal already said which is that he does not expect deleting UB will be of benefit to for example SPEC benchmarks. Given that it is “comparatively rare”, why all the effort to delete it ? And why make deleting it the default rather

According to the schedule (e.g. on the right on llvm.org), we should have tagged the release by now, but we haven't, so we're officially behind schedule. I'm still optimistic that we can wrap this up pretty soon, though. This is what's blocking us: - PR26509: Crash in InnerLoopVectorizer::vectorizeLoop() I'm waiting to hear what Cong comes up with, otherwise we can revert

The various pages about samba 4 warn about rough edges, upgrade, file services, and print services. I have some domains that have never had a Windows domain that now need Windows AD authentication. I don't need file services and print services, and upgrade is not a problem. Is samba 4 ready for this use case, or should we still go with Microsoft's AD? Thanks! - Morty

Please allow me to announce the creation of a new open source Media Container Format, named 'matroska' Project page is here http://sf.net/projects/matroska ; homepage is http://matroska.sourceforge.net , HTML should be online soon. Steve 'robux4' LHomme and myself have left the MCF project because of incompatibilities of our work with the project goals defined by the founder of

Please allow me to announce the creation of a new open source Media Container Format, named 'matroska' Project page is here http://sf.net/projects/matroska ; homepage is http://matroska.sourceforge.net , HTML should be online soon. Steve 'robux4' LHomme and myself have left the MCF project because of incompatibilities of our work with the project goals defined by the founder of

...g filesystems can be _worse_ than non-journaled. If the recovery mechanism of the JFS is to "aggressively" go to the journal, journal mis-reads can _toast_ a filesystem. I'll take a full fsck that _always_ works to a jounaling filesystem that aggressively goes to the journal, or has unproven recovery tools. I have experienced this on NTFS many times. To the point where I _force_ a CHKDSK anyway, on any improper shutdown (effectively negating the benefit of a JFS). NTFS is based on IBM's OS/2 HPFS, so this isn't just a Microsoft design mentality (as HPFS follows some of the s...

How 'bout PAM? /usr/ports/security/pam_ldap. If you have machines that can't do PAM, perhaps NIS is the way to go (assuming, of course, you're behind a firewall). You can store login information in LDAP like you want, then use a home-grown script to extract the information to a NIS map. Or, if you have a Solaris 8 machine lying around, you can cut out the middle step and use

My issue may be related to this bug: http://projects.puppetlabs.com/issues/13858 "Custom types in environments require loading into master''s libdir" However, now I''m not so sure, This was working previously with a given client. However, after trying on a fresh client, it''s failing with: err: Could not run Puppet configuration client: Could not find a

...>> What he was referring to/describing was a contrast with the optimizations described prior to that. >> >> It's something like this: >> >> UB-based optimizations don't prove UB is present - they optimize on the assumption that it is not present due to some unproven (by the compiler, but assumed to be known by the developer) invariants in the program. >> >> Think about a simple case like array bounds - the compiler emits an unconditional load to the memory because it assumes the developer correctly validated the bounds or otherwise constructed so...

Hello Gurus, Greetings. I have been assigned some work on the development of a migration tool. The requirement is that it has to migrate the data on a UFS/VxFs filesystem to an ext2 filesystem. What are the technical apects I will have to look into to achieve the same? Is it possible to change the on-disk structure of the UFS/VxFs filesystem to an ext2 filesystem? The question may

...thing very well and can be used to build larger things' 2) filters, aka OggFile, the first 'larger thing', now in progress along with resource usage optimizations (eg, zero-copy). We're going to get that right before building a huge feature-rich system on a foundation that's unproven / doesn't exist. In summary, I'd prefer you let the people here who have demonstrated they're capable of working together without forking continue to do so without this ongoing pseudotechnical distraction. (And if you want to do something productive with XML, how about contribute to...

...thing very well and can be used to build larger things' 2) filters, aka OggFile, the first 'larger thing', now in progress along with resource usage optimizations (eg, zero-copy). We're going to get that right before building a huge feature-rich system on a foundation that's unproven / doesn't exist. In summary, I'd prefer you let the people here who have demonstrated they're capable of working together without forking continue to do so without this ongoing pseudotechnical distraction. (And if you want to do something productive with XML, how about contribute to...

https://bugs.freedesktop.org/show_bug.cgi?id=100177 Bug ID: 100177 Summary: [GM206] Misrendering in XCOM Ennemy Within Product: Mesa Version: 17.0 Hardware: x86-64 (AMD64) OS: Linux (All) Status: NEW Severity: normal Priority: medium Component: Drivers/DRI/nouveau Assignee:

Dear list members, Every "modern" OS comes with dozens of useless fonts, so that the current font drop-down list in most programs is overcrowded with fonts one never will use. Selecting a useful font becomes a nightmare. In an attempt to ease the selection of useful fonts, I began looking into sorting fonts using some statistical techniques. I summed my ideas on the OpenOffice.org

...he >> paper mentioned, I can't think of a case where you'd care to >> distinguish between "not visited" and "visited but undef". That is, >> instead of starting from "map each each instruction as not visited" we >> should be able to (my unproven conjecture) start from "map each >> instruction to undef", making the "unknown" element superfluous. > > > See the email i just sent. > > Your scheme would work if you didn't want to optimize undef, because you'd > just make meet (anything, undef)...

On Sat, February 28, 2015 4:22 pm, Chris Murphy wrote: > On Sat, Feb 28, 2015 at 1:26 PM, Valeri Galtsev > <galtsev at kicp.uchicago.edu> wrote: >> Indeed. That is why: no LVMs in my server room. Even no software RAID. >> Software RAID relies on the system itself to fulfill its RAID function; >> what if kernel panics before software RAID does its job? Hardware RAID