search for: engler

...int foo (int x, int y) { return x+y; } The behavior of foo() is undefined when x+y overflows. If course it is trivial to come up with similar examples based on shifts, multiplies and divides, etc. A potential solution is "under-constrained execution": http://www.stanford.edu/~engler/issta07v-engler.pdf I will bug Dawson and Daniel and see if I can get ahold of some code for this. John

On 01/20/2010 05:54 PM, John Regehr wrote: > Hi folks, > > I've posted an updated code size comparison between LLVM, GCC, and > others here: > > http://embed.cs.utah.edu/embarrassing/ > > New in this version: > > - much larger collection of harvested functions: more than 360,000 > > - bug fixes and UI improvements > > - added the x86 Open64

...atively a testcase could be manually constructed for the top 10 functions in the size comparison charts, and see whether they are miscompiled. Repeat until top 10 has no miscompilations. > > A potential solution is "under-constrained execution": > > http://www.stanford.edu/~engler/issta07v-engler.pdf > > I will bug Dawson and Daniel and see if I can get ahold of some code > for this. Although EXE isn't, KLEE is publicly available. Best regards, --Edwin

...n "randomize" but cannot find it anywhere (?randomize, help.search("randomize")). There are some references to "Randomize()" in the list archives, but it is not on my system (R 2.1.1 on Windows XP)... what package is it in? Thanks! Luis -- Luis Tercero, M.Sc. Engler-Bunte-Institut der Universit??t Karlsruhe (TH) Bereich Wasserchemie Engler-Bunte-Ring 1 D-76131 Karlsruhe Tel. +49 721 608 6381 Fax: +49 721 608 7051

...which will look good with the maroon logo. If you want grey and the size is correct, you needn't do anything. If not, please send your changes to me (off list) and I will try to accommodate your request. Vikram Adve L + XL Owen Anderson M Bob Archer Largest Ryan Brown M Bruno Cardoso L Mike Engler L Han Gao L Dan Gohman L + XL Dale Johannsen XL Anton Korobeynikov M Christopher Lamb M Chris Lattner M Tanya Lattner S Andrew Lenharth XL Nick Lewycky L Efrem Lipkin XL Schimmel Mark L x 2 Gabe McArthur L Paul McJones L Scott McMurray M Scott Michel L Devang Patel M Jeff Poznanovic L Chuck R...

Hi folks, I've posted an updated code size comparison between LLVM, GCC, and others here: http://embed.cs.utah.edu/embarrassing/ New in this version: - much larger collection of harvested functions: more than 360,000 - bug fixes and UI improvements - added the x86 Open64 compiler John

Is there any possibility to get high resolution plots in a windows xp system? I tried it with the device function png(filename = "c:/r/highresplot%d.png",pointsize=12, res=900) but when I try to set: width = 480, height = 480 or pointsize = 12, the text is not scaled in the same way as the plots. with regards Knut Krueger http://www.biostatistic.de

...yone know how to get VTK running on a xen kenerl machine? Maybe there is a patch for the driver I did not find yet? Regards, Markus -- Dipl.-Inform. Med. Markus Mehrwald Institut für Prozessrechentechnik, Automation und Robotik Medizin-Gruppe Universität Karlsruhe (TH) Gebäude 40.28, Zimmer 110 Engler-Bunte-Ring 8 76131 Karlsruhe Fon: +49 (721) 608-7113 Fax: +49 (721) 608-7141 _______________________________________________ Xen-users mailing list Xen-users@lists.xensource.com http://lists.xensource.com/xen-users

All: I would like to attend the LLVM Developer's Meeting. Please add me to the list. Sincerely, Mike Engler Adobe Systems, Inc.

Hello, is it possible to login into a DomU (Windows) without beeing logged in in the Dom0 on the same PC where Xen runs? So I want to have something like the Windows login screen on e. g. tty2 so I do not need to login twice (first in Dom0 and the second one in the DomU). Thanks for help, Markus _______________________________________________ Xen-users mailing list

Hi guys, I got 2 licenses of g.729 and while running the asterisk with Monitor (for recording a channel) and using one channel for the call... I receive this error: WARNING[23826]: codec_g729.c:180 g729tolin_framein: Out of G.729 Decoder Licenses! many times.... it starts only when the call through the Zap channel takes place. while this error is being running on my screen I ran the cli command: