search for: refut

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...

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:

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...

...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...

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?

...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...

...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,...

...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>

...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 !

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.

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

...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!

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...

...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

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 ?

> 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...

...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...

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

...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]]

...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/