Displaying 4 results from an estimated 4 matches for "subseteq".
2011 Mar 23
0
[LLVMdev] Range Analysis GSoC 2011 Proposal
Dear Douglas,
Comments below.
On 3/23/11 8:06 AM, Douglas do Couto Teixeira wrote:
> Dear LLVM community,
>
> I would like to contribute to LLVM in the Google Summer of Code
> project. My proposal is listed below. Please let me know your comments.
>
>
> Adding Range Analysis to LLVM
>
>
>
> Abstract
>
> The objective of this work is patch our
2011 Mar 23
3
[LLVMdev] Range Analysis GSoC 2011 Proposal
Dear LLVM community,
I would like to contribute to LLVM in the Google Summer of Code project. My
proposal is listed below. Please let me know your comments.
Adding Range Analysis to LLVM
Abstract
The objective of this work is patch our implementation of range analysis
into LLVM. I have a running implementation of range analysis in LLVM, but it
is not currently part of the main distribution. I
2012 Aug 13
27
[RFC-v2 0/6] vhost-scsi: Add support for host virtualized target
From: Nicholas Bellinger <nab at linux-iscsi.org>
Hi Paolo, Stefan, & QEMU folks,
The following is the second RFC series for vhost-scsi patches against mainline
QEMU v1.1.0. The series is available from the following working branch:
git://git.kernel.org/pub/scm/virt/kvm/nab/qemu-kvm.git vhost-scsi-merge
Apologies for the delayed follow-up on this series. The changes detailed
2012 Aug 13
27
[RFC-v2 0/6] vhost-scsi: Add support for host virtualized target
From: Nicholas Bellinger <nab at linux-iscsi.org>
Hi Paolo, Stefan, & QEMU folks,
The following is the second RFC series for vhost-scsi patches against mainline
QEMU v1.1.0. The series is available from the following working branch:
git://git.kernel.org/pub/scm/virt/kvm/nab/qemu-kvm.git vhost-scsi-merge
Apologies for the delayed follow-up on this series. The changes detailed