search for: refutable

Displaying 20 results from an estimated 89 matches for "refutable".

2018 Sep 21
1
[cfe-dev] SMT solvers in clang SA
We are currently implementing the backends for other solvers (you can follow the progress here: https://github.com/mikhailramalho/clang). So far we got Boolector, MathSAT and Yices ready. CVC4 should be done soon. When used to refute bugs, they all give roughly the same results: a ~5% speedup if there are refuted bugs or a ~5% slowdown if no bug is refuted. I've only tried to analyze one
2018 Sep 21
2
SMT solvers in clang SA
Hi all, Currently studying the impact of SMT solvers on Clang SA. Can anyone help in telling more about the SMT solvers use in clang SA ? ( Have already tested Z3 SMT solver implemented in GSoC 2018 , also looking for other SMT solvers if possible ) Thanks, Siddharth -------------- next part -------------- An HTML attachment was scrubbed... URL:
1999 Dec 13
3
Comments request to refute arguments about Samba...
I can't answer any of this, but the following was taken from a thread on the "Novell Technology Transfer Partners List <NOVTTP@LISTSERV.SYR.EDU>" and passed over to me by my boss... Any comments/refutations/etc most definitely accepted... Please note that *I'm* the Senior Unix Systems Administrator at the University I work at, and have been moving us towards Samba since I
2015 Sep 09
3
LibFuzzer and platforms availability
Hi there. I’m trying to use LibFuzzer on OSX and face some issues: I checked out LibFuzzer documentation[1] and managed to proceed until the final step of the first example. Now I see linker errors related to dfsan, dfsan’s documentation[2] states explicitly “DataFlowSanitizer is a work in progress, currently under development for x86_64 Linux.”. Does it mean that LibFuzzer available only on
2011 Sep 04
5
Ranking and term proximity
Hi, I was reading an article recently about how google ranks results (among many other things of course) based on the proximity of the search terms in the source documents. In addition, the position of the search terms in the search query string itself is also taken into consideration when determining how important each term is. Does Xapian do something similar - at least for the first part?
2004 Jan 27
3
Solution -- can connect via IP but not by name
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Here's an update for those of you struggling to get Samba working in an AD domain environment. ~ Summary: in securirty = ads, clients can browse to the ~ Samba member server via IP but not by name (either netbios ~ or DNS). Kinit and wbinfo -t all work as expected. The apparent reason for this is that the 2k client uses NTLMSSP when you
2012 Jul 27
0
[LLVMdev] ACE claims better result than LLVM for ARM 9 ?
On Jul 27, 2012, at 9:36 AM, Sebastien DELDON-GNB wrote: > ACE issued following PR: > http://www.ace.nl/news/aces-cosy-compiler-framework-outperforms-llvm-arm9-processor > Weird that they don't give any number and use ARM 9, do they mean cortex-a9 ? It's impossible to say. This sort of marketing statement is impossible to refute, because there are no details. Who knows whether
2017 Mar 16
1
Dovecot 2.2.27 proxy - enforcing per client IP connection limits
Adi Pircalabu writes: > For us it is, we're periodically getting hammered by iOS devices that > try to open 300+ simultaneous IMAP connections for a single user from > the same IP, while the average hovers usually below 50 for the busier > mailboxes with many folders. Oh yeah, I've seen this. I think this happens when someone does a global pattern search, which causes the
2019 Feb 11
2
smtp_address_cmp does not ignore case of localpart
Hi, in src/lib-smtp/smtp-address.c line 759 the localpart is compared with null_strcmp, which does not ignore the case. While this is the correct behavior (according to the RFC) it causes problems in real life. In my case the vacation notices are not sent, if someone writes to First.Last at ruhr-uni-bochum.de because :addresses contains (only) first.last at ruhr-uni-bochum.de. Regards,
2003 Jul 22
2
Cisco 802.11b VoIP phone?
I wonder if anyone could send me a pointer to technical specs and pricing information. I got a mail today from an acquaintence that contains what I believe is some serious misinformation, referring to the 7960 as their new portable 802.11b SIP phone. A quick search of eBay would seem to refute that. I hope this is an OK question to ask. . . Thx. b.
2003 May 28
1
D-Link DGE-550SX support
I found some ancillary information that seems to indicate that there is a driver that will allow a D-Link DGE-550SX Gigabit fiber NIC to work under FreeBSD 4.x. Can anyone confirm or refute this, or provide additional information? If the NIC is not supported, is there a recommendation for a gigabit fiber NIC that works well under 4.8? Thanks, Steve
2017 Sep 18
2
Confusing lstat() performance
Hi Ben, do you know if the smallfile benchmark also does interleaved getdents() and lstat, which is what I found as being the key difference that creates the performance gap (further down this thread)? Also, wouldn't `--threads 8` change the performance numbers by factor 8 versus the plain `ls` and `rsync` that I did? Would you mind running those commands directly/plainly on your cluster to
2014 Aug 27
3
[LLVMdev] [3.5 Release] Release Candidate 3 Now Available
See http://llvm.org/PR19289 for lots of details. It had already been reported before but I had missed it and so had most others. =[ I'm pretty sure this breaks every 32-bit debian based Linux distro. I've asked David Majnemer to try to confirm or refute that. If it does impact every 32-bit debian based Linux distro, I think this should be a release blocker sad as I am to say it. CC-ing
2003 Sep 04
7
Comparison of SAS & R/Splus
I am one of only 5 or 6 people in my organization making the effort to include R/Splus as an analysis tool in everyday work - the rest of my colleagues use SAS exclusively. Today, one of them made the assertion that he believes the numerical algorithms in SAS are superior to those in Splus and R -- ie, optimization routines are faster in SAS, the SAS Institute has teams of excellent numerical
2012 Jul 27
4
[LLVMdev] ACE claims better result than LLVM for ARM 9 ?
ACE issued following PR: http://www.ace.nl/news/aces-cosy-compiler-framework-outperforms-llvm-arm9-processor Weird that they don't give any number and use ARM 9, do they mean cortex-a9 ?
2015 May 18
3
[LLVMdev] New EH representation for MSVC compatibility
> optimizing EH codepaths is not usually performance critical. >> Leaving aside the rest of the thread, I feel the need to refute this point in isolation. I've found that optimizing (usually simplifying and eliminating) exception paths ends up being *extremely* important for my workloads. Failing to optimize exception paths sufficiently tends to indirectly hurt things like inlining
2015 Sep 10
2
LibFuzzer and platforms availability
r247321 refactors the code so that it should build on Mac. I haven't actually tested it on Mac -- so please help me and send follow up patches if needed. check-fuzzer will still fail because some of the libFuzzer tests require dfsan. I'd use some help from someone with a Mac to modify lib/Fuzzer/test/CMakeLists.txt so that it does not run dfsan-dependent tests on Mac. Thanks, --kcc On
2008 Aug 21
2
Partial Transfer Problem
I am using the command options listed below. If I set --partial or --partial-dir, I see the partial file appear as expected. However, even with --partial-dir set as you see below, the .rsync-partial directory is never created. Instead the partial file just appears in the directory. The bigger problem is that if I interrupt the transfer and then restart it some time later, rsync just creates a
2008 Jul 14
1
Analysis of poorly replicated array data
Greetings, I have "inherited" a cDNA macroarray dataset that is structured as follows. Three different stressors were tested. For each stressor, there are two treatments (control and stressed). For each treatment, two biological replicates exist, and these are paired (i.e., there is a stressed array for colony A and a control array from this same colony). For one of these samples,
2004 Apr 16
4
Feature request: more log info/stats
Hello, even though Timo seems to be hibernating (it's not _that_ cold in ole Suomi ;) I'd like to beg for a feature that would be very much appreciated over here. If something like this is already present and eluded my thorough archive and doc searches, feel free to smack me and then point me to the right direction. Feature request: More extensive session information and statistics in