search for: refut

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

Did you mean: refute
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 full project (tmux) with Yices; the CSA ran for 24hrs and it didn't complete the analyze. For comparison, it takes 90s to analyze it...
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 started here 2 years ago, with very successful results...but, I have a Novell/Netware department to fight against that u...
2015 Sep 09
3
LibFuzzer and platforms availability
...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 Linux platform? Can somebody confirm or refute my conclusion? [1] http://llvm.org/docs/LibFuzzer.html [2] http://clang.llvm.org/docs/DataFlowSanitizer.html -- AlexDenisov Software Engineer, http://lowlevelbits.org -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature...
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
...correctly. ~ [libdefaults] ~ dns_lookup_kdc = true The end result is that this is a kerberos configuration issue and not a Samba bug (Of course you could call it our bug since kinit works and we don't). I would be grateful if the people experiencing this problem could either confirm or refute my theory. Thanks. cheers, jerry ~ ---------------------------------------------------------------------- ~ Hewlett-Packard ------------------------- http://www.hp.com ~ SAMBA Team ---------------------- http://www.samba.org ~ GnuPG Key ---- http://w...
2012 Jul 27
0
[LLVMdev] ACE claims better result than LLVM for ARM 9 ?
...N-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 they compared against LLVM fairly with it tuning for the right architecture, had frame pointers set the same way, etc... -Chris ps, it's hard to take them seriously when they make factually incorrect statements like LLVM 3.0 being the latest,...
2017 Mar 16
1
Dovecot 2.2.27 proxy - enforcing per client IP connection limits
...CH commands on each and every mailbox. I've wondered whether installing Solr would alleviate this: it wouldn't directly address the connection limit problem, but perhaps it can return results fast enough to keep the concurrent connections count down. Can anyone with Solr installed confirm/refute this: does installing Solr keep iOS clients from roofing the connection count? Joseph Tam <jtam.home at gmail.com>
2019 Feb 11
2
smtp_address_cmp does not ignore case of localpart
...uhr-uni-bochum.de because :addresses contains (only) first.last at ruhr-uni-bochum.de. Regards, Andreas -- ! AJ3630-RIPE @ RUB8-RIPE Network Operation Center ! ! Dezernat 5.I Ruhr-Universitaet Bochum ! ! The amount of energy necessary to refute bullshit is ! ! an order of magnitude bigger than to produce it. -- Alberto Brandolini !
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
...d 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 confirm or refute my numbers? Thanks!
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 Richard, Doug, etc. Have I mentioned how much I hate the header search logic for GCC? =/ In good news, the fix was reasonably simple and I've already committe...
2003 Sep 04
7
Comparison of SAS & R/Splus
...lent numerical analysts that ensure its superiority to anything freely available, PROC NLMIXED is more flexible than nlme( ) in the sense that it allows a much wider array of error structures than can be used in R/Splus, &etc. I obviously do not subscribe to these views and would like to refute them, but I am not a numerical analyst and am still a novice at R/Splus. Do there exist refereed papers comparing the numerical capabilities of these platforms? If not, are there other resources I might look up and pass along to my colleagues? Much thanks in advance, david paul
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 for example. Any design which starts...
2015 Sep 10
2
LibFuzzer and platforms availability
...welcome. > I would also appreciate if someone can set up a build bot for libFuzzer on > Mac :) > (similar to lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fuzzer) > > >> >> Does it mean that LibFuzzer available only on Linux platform? Can >> somebody confirm or refute my conclusion? >> >> [1] http://llvm.org/docs/LibFuzzer.html >> [2] http://clang.llvm.org/docs/DataFlowSanitizer.html >> -- >> AlexDenisov >> Software Engineer, http://lowlevelbits.org >> >> >> _______________________________________________ &g...
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
...fects of these stressors on gene expression, (2) If so, what are folks' recomendations? (3) Obviously low sample size means low statistical power, but I have always been told that calculating variance for n=2 and doing stats on that basis is not even mathematically valid. Can anyone confirm or refute this? Thank you for any advice you may have to offer, -- Eli Meyer Postdoctoral Fellow Department of Integrative Biology University of Texas at Austin Austin, TX 78712 office: (512) 475-6424 cell: (310) 618-4483 [[alternative HTML version deleted]]
2004 Apr 16
4
Feature request: more log info/stats
...session end? How many new mails were read and how many mails deleted during that session? The rationale is that with this info at hand the (unfortunately) very common user whining along the lines of "the mail server ate my mails" or "I never saw this mail!" are much easier to refute. Regards and keep up the good work, Christian Balzer -- Christian Balzer Network/Systems Engineer NOC chibi at gol.com Global OnLine Japan/Fusion Network Services http://www.gol.com/