search for: proves

Displaying 20 results from an estimated 1082 matches for "proves".

Did you mean: prove
2006 Feb 06
6
.rjs template doesn''t load?
Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: PGP.sig Type: application/pgp-signature Size: 194 bytes Desc: This is a digitally signed message part Url : http://wrath.rubyonrails.org/pipermail/rails/attachments/20060206/cf123b71/PGP.bin
2003 Apr 01
5
ISOLINUX problem booting with no Hard Disk
I am experiencing a problem booting a machine with ISOLINUX on a machine that has no hard drive (CD-ROM only). I''ve tried two different machines, a Dell Poweredge 2600 and a Dell Poweredge 1300, both exhibit identical symptoms. When I boot the exact same cd on a system with a hard drive, the boot is just fine. I had been using ISOLINUX 1.66, but I just upgraded to 2.02 and I am having
2018 Jan 26
1
Late setting of SCEV NoWrap flags does bad with cache
Hi Max, On Wed, Jan 24, 2018 at 10:03 PM, Maxim Kazantsev via llvm-dev <llvm-dev at lists.llvm.org> wrote: > I want to raise a discussion about reasonability of late setting of > nsw/nuw/nw flags to SCEV AddRecs through setNoWrapFlags method. A discussion > about this have already happened in August last year, there was a concern > about different no-wrap flags that come
2018 Jan 26
1
Late setting of SCEV NoWrap flags does bad with cache
Thanks for your insides Sanjoy! I don't really believe that option 2 may work just because even if we recalculate the range for this add recurrency, there are already its derivatives with cached ranges (the most obvious example is sext and expressions where this sext is involved). We can speculate about what is "simple enough" to not cache the ranges, but I believe that there is
2006 Apr 28
19
Remember James McGovern?
Remember James McGovern and his articles about Rails and enterprise? Well... Check this one out where he "puts his money where his mouth is" http://duckdown.blogspot.com/2006/04/ruby-community-proved-mcgovern-wrong.html -- -------------- Jon Gretar Borgthorsson http://www.jongretar.net/
2017 Aug 01
7
[RFC] Add IR level interprocedural outliner for code size.
> > > > Also as a side note, I think in the original MachineOutliner RFC thread > there was some confusion as to whether it was possible to solve the code > folding outlining problem exactly as a graph problem on SSA using standard > value numbering algorithms in polynomial time. > > I can elaborate further, but > 1. it is easy to see that you can map an arbitrary
2018 Jan 26
1
Late setting of SCEV NoWrap flags does bad with cache
On Thu, Jan 25, 2018 at 9:55 PM, Maxim Kazantsev <max.kazantsev at azul.com> wrote: > I don't really believe that option 2 may work just because even if we recalculate the range for this add recurrency, there are already its derivatives with cached ranges (the most obvious example is sext and expressions where this sext is involved). We can speculate about what is "simple
2018 Jan 25
1
Late setting of SCEV NoWrap flags does bad with cache
Hello Everyone, I want to raise a discussion about reasonability of late setting of nsw/nuw/nw flags to SCEV AddRecs through setNoWrapFlags method. A discussion about this have already happened in August last year, there was a concern about different no-wrap flags that come from different sequences of SCEV flags invocations. It was mentioned there that late setting of flags is actually a
2006 Sep 05
0
volunteers to prove out experiment
All, I''ve created a branch with the modules and directories restructured to reflect three distinct modules: Spec::Expectations Spec::Mocks Spec::Runner Will the brave among you (with a little time on your hands - just a little) please check out the branch, build and install the gem and let me know if you run into any problems? svn co
2017 Jul 31
5
GEP with a null pointer base
On Mon, Jul 31, 2017 at 7:40 AM Peter Lawrence <peterl95124 at sbcglobal.net> wrote: > Dave, > Dead code elimination is generally done in a pass called dead > code elimination, > Can you give concrete examples why the same would not be true for UB code > elimination ? > I haven't actually looked at how optimizations on the basis of the code being UB-free
2011 Dec 05
5
Spec'ing a block
Hi folks How would you spec something like this: as_user username do FileUtils.chmod_R 0755, "#{directory}/*" end Where as_user fires off a new process (and set uid to username). It seems that this won''t catch FileUtils.chmod_R: FileUtils.should_receive(:chmod_R).with(0755, "#{@domain.directory}/*") I guess that is because it is passed in
2012 Oct 15
4
Benchmark puppetDB
Dear All, I know puppetDB its more faster than storeconfigs, but to replace storeconfigs with puppetDB into production server Its need more explanation than some link from puppetlabs, need prove to my bos and team. For testing i just have 1 puppetmaster and 1 and 2 puppet agent, how i can look different performance? Its that any idea / or complex puppet stanza to benchmark / compare this
2018 May 10
2
LLVM SCEV isAddRecNeverPoison and strength reduction
+CC llvm-dev On Tue, May 8, 2018 at 2:34 AM, Gal Zohar <Gal.Zohar at ceva-dsp.com> wrote: > I noticed that SCEV, when trying to perform strength reduction, doesn’t use > the ability to prove an induction variable does not signed/unsigned wrap due > to infinite loops. > > Is there an easy way to use the isAddRecNeverPoison function when > determining if strength
2006 Mar 18
9
Using <%= text_field %> within partials is problematic
All, Thanks for any help in advance. I have what I think is a very straightforward partial template and I can''t figure out why a text_field call within it doesn''t work. Here is my calling template: lists.rhtml <div id="target_lists"> <%= render(:partial => "target_lists", :collection => @target_lists) %> </div> In the
2006 Mar 24
1
Radio Button Tag and hash @Params.
Hi, I''ve a little problem using the Radio Button Tag. I use the " @prove=MODEL.column_names() " to keep attribute names of a table. After i used this code to select a attribute subsets of them : <% i=''0''%> <% for @obj in @prove %> <% @key='':key''+i%> <%= radio_button_tag (@key,@obj) %> <%
2006 Feb 24
1
Ruby and Jabber?
Hey guys, Has anyone used Ruby to interact with a jabber server? Just kinda curious... -Josh ----------- Due to the recent increase in spam and falsely sent email, I now PGP Sign all of my outgoing mail to prove my identity. This means that you will see an attachment called "PGP.sig" with this message. This attachment can be used to prove that I am who I say I am. If you are
2017 Aug 01
0
GEP with a null pointer base
Dave, I will try to locate and take a look at the actual llvm logic that deletes based on UB-presence, one of these days, and report back. In the mean time... Your “For example:" is a plausibility argument only. It is not meaningful until you can show this happening in real source code from real applications that are compiler warning free and static analysis warning free. Hal
2006 Jan 27
27
Preferred Ruby Editor/IDE for OS X?
Just a quick question, if I were tired of typing ruby into a terminal editor, say I wanted, oh, a scroll bar, mouse support, and maybe syntax highlighting? Anyone know os a good Ruby/Rails editor or IDE, one that runs on OS X, possibly in Java? -Josh ----------- Due to the recent increase in spam and falsely sent email, I now PGP Sign all of my outgoing mail to prove my identity.
2005 Jul 15
5
Nested Controllers
Hi there, I wondered if anybody had any experience with having nested controllers?For example, I''d like a hierarchy something like this: /product /product/list /product/detail /product/detail/category I can''t find any documentation on this, so any advice/experience anybody might have would prove useful. N.B. This is for a generator
2008 Jan 10
6
Centos 5 Samba File Server dropping files
Twice I''ve gotten the report that a user has attempted to move a folder of many files up one level, and all of the files disappeared. Searching for the files in the share proves that they aren''t there any more, nor are they where they should have been moved to. I desperately need to find the cause of this. Has anyone else seen this happen on their file server? The samba log file doesn''t appear to be any help. It just shows that some files were ope...