search for: gjk

How about state of SVA (Secure Virutal Archtecture)? It seems there is no any demo or prototype produced. Cheers, Liu Jian ---- email to: gjk.liu at gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100420/e8dc1b16/attachment.html>

...tan): write() failed with mbox file /home/stan/mail/1-Debian-Users: File too large May 10 17:45:04 greer dovecot: deliver(stan): write() failed with mbox file /home/stan/mail/1-Debian-Users: File too large May 10 17:45:04 greer dovecot: deliver(stan): sieve: msgid=<20100510224422.GA4293 at heima.gjk.dk>: failed to store into mailbox '1-Debian-Users': Internal error occurred. Refer to server log for more information. [2010-05-10 17:45:04] May 10 17:45:04 greer dovecot: deliver(stan): sieve: msgid=<20100510224422.GA4293 at heima.gjk.dk>: stored mail into mailbox 'INBOX'...

Hi Qiuping yi, > I am a new novice of LLVM, and I want know how to get the left-hand > operand of an instruction? > > For example: > how to get the %temp2 operand in the next instruction: > > %temp2 = malloc i8, i32 %n there is no left-hand side, temp2 is just a name for the instruction. Since the LLVM IR is in SSA form, registers have exactly one definition, and thus there

Hi all, The slides we used on "CGO MCLinker and LLVM Tutorial" are now available on the MCLinker website: http://code.google.com/p/mclinker/wiki/2013CGOTutorial Enjoy! - The CGO Tutorial on MCLinker and LLVM 2013 committee

Dear all, Is there any project or work about the formal analysis of Xen? For example, Using theorem provers, eg. Acl2, isabelle, coq etc. to verify it. Thanks! Cheers:) Liu Jian -- email to: gjk.liu@gmail.org _______________________________________________ Xen-community mailing list Xen-community@lists.xensource.com http://lists.xensource.com/mailman/listinfo/xen-community

Hi, I am a new novice of LLVM, and I want know how to get the left-hand operand of an instruction? For example: how to get the %temp2 operand in the next instruction: %temp2 = malloc i8, i32 %n Thanks a lot! Best Regards! -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hi all, We did some benchmarks on code size with clang, gcc 4.5, and open64. Clang performed second in the test. The benchmark is CSiBE. Clang can't compile the linux kernel (some inline asm not supported) and replaypc (error: use of unknown builtin '__builtin_next_arg'). The concrete results are attached. -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hello list. I'm trying to rebuild the 2.6.9.67.0.20.EL kernel, but it fails even without modifications. How did I try it? Created a (non-root) build environment (not a mock ) Installed the kernel.scr.rpm and did a rpmbuild -ba --target=`uname -m` kernel-2.6.spec 2> prep-err.log | tee prep-out.log The build failed at the end: Processing files: kernel-xenU-devel-2.6.9-67.0.20.EL Checking

...zcaE3u7~6m$|hW%&ig3(T?ib za$vSt7hNlOEJ%-n%)+dr$-*c`WN)J({Wq(7wxjlrA at ucP`e~Y}*iPex;b}CHY at lgJ zr4@$hq`PkPKBv*=ruviAW^a-zGwew!r&Vkvb=fTq=^r1{RiRolSN~WeS0!Vs<f>F` zH6^K%70_;utk%fZYB}1+pqEwjLi>^uvZkrpJtEqhZ9m6s>!H)UE!(lHF{LA9XsJrB z!EhhLPz|UZw0N78HLhy++jKG&6EC-9h0p-(cu*=;1u0GJKO<Tij98Uur63Sh?fLq& zPJ$LR00pDeqd3i8vPycqPNf|nnW>J8RF`G at Mnl<d6-D at 2{cKNU7NLR|h$}V!f*37O zR|`F;O?_fV^^`{|;SwY48c*k0)1cN>3-wpk+J0Y+B-2gWL(tns7d>jN>*IgfKx?3b ze9}<f8T#0Ek at xe$=aWh9l#_jafHB(D=Sv8eMm0TvS8%+p?q6{`<MQ?sYgx28Y=<`p z`Z|N4QLEU8G|qO)?g@##LPf`L2!5dyc5fV8OC5...

Hi, I probably found a minor security hole (as it may be IMHO) in my (latest) stable release of SAMBA (2.2.9a-1) Using Win98SE I am logging to Samba server. I am using root preexec and root postexec on Home share's to maintain a list of "correctly logged" users. When a Windows workstation craches, Samba finds this after some 5 long minutes. Until that time, although a new user logs