From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id F29467F8FC for ; Fri, 30 May 2014 01:04:11 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jpathy@fssrv.net) identity=pra; client-ip=209.85.192.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jpathy@fssrv.net"; x-sender="jpathy@fssrv.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jpathy@fssrv.net designates 209.85.192.45 as permitted sender) identity=mailfrom; client-ip=209.85.192.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jpathy@fssrv.net"; x-sender="jpathy@fssrv.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qg0-f45.google.com) identity=helo; client-ip=209.85.192.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jpathy@fssrv.net"; x-sender="postmaster@mail-qg0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiUDAPq7h1PRVcAtlGdsb2JhbABZg1lYgmu/RwOBBwgWDgEBAQEHCwsJEiqCPhEdAQE4JQ8CJgIkEgEFAVeIIA2mKmqKMHeEfwEFoBURAgSBKo1Fgl+BS4omj1OROBgphQiCDw X-IPAS-Result: AiUDAPq7h1PRVcAtlGdsb2JhbABZg1lYgmu/RwOBBwgWDgEBAQEHCwsJEiqCPhEdAQE4JQ8CJgIkEgEFAVeIIA2mKmqKMHeEfwEFoBURAgSBKo1Fgl+BS4omj1OROBgphQiCDw X-IronPort-AV: E=Sophos;i="4.98,937,1392159600"; d="scan'208";a="77029779" Received: from mail-qg0-f45.google.com ([209.85.192.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 May 2014 01:04:11 +0200 Received: by mail-qg0-f45.google.com with SMTP id z60so3102238qgd.18 for ; Thu, 29 May 2014 16:04:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fssrv.net; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=G3/ad69/HSbi8IOuyMj3ftkPf+qd6HRKgO380lW7q+I=; b=kWQSVr+RPAD6m1oH5nTtpBf40/WFLtdwRhcRLTwZEofUBewh6c+Oke0h+nxhMbS4Xk xabXap9P+VxPHcQIVwp49cvX74nr1twPZz4S5JKdK5/QLaF3TK7n4RjFcGOESRcH0Emu caeYiSadHo3YBsECemn9pzm0Dg/i4UyQb0CZo= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=G3/ad69/HSbi8IOuyMj3ftkPf+qd6HRKgO380lW7q+I=; b=VFT1eqp0UFw81S9BtrZ8Cfh+OhMpJ18WgvUeiJDCsfOXRfSB3Nj1IsKr/wNdFHw53y k/OdWGI0FiAviEzu8/Mlz0hW963J6q94z+JiF3mA8fKaiuqUSYgyLMqUsCwKm65P4TdE bkwddeRUt7J1yilWUTnOp0EbCpD+HikqhiJnLEZ+Abr4L9KVdLiZFqxT6kUfJlQsttNg 6HPUVDzOCIz1mVVM03rJPIamU9CTvYVk7iO81DYt0IvXIfwZoRNNJyEgcjEY7kTDw3o9 UZ/9of0h+xvBTFMEHmbrpRIVLZezr5rV6OJzA25bG5xEJ7zMj2zkqOhd6i6xP9rkhuKZ TySw== X-Gm-Message-State: ALoCoQk1unbPONR8QB/iZCFc1GKfklW9leX3r+aityrpphfXeHs2UQQq1DFoD6pIcAXnj43A+B27 MIME-Version: 1.0 X-Received: by 10.140.50.168 with SMTP id s37mr14638957qga.36.1401404650492; Thu, 29 May 2014 16:04:10 -0700 (PDT) Received: by 10.140.89.80 with HTTP; Thu, 29 May 2014 16:04:10 -0700 (PDT) X-Originating-IP: [142.58.22.159] Date: Thu, 29 May 2014 16:04:10 -0700 Message-ID: From: Jiten Pathy To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] Multicore runtime Is there any public available code corresponding [1] with some progress, if any? Thank you. 1. https://github.com/ocamllabs/compiler-hacking/wiki/Multicore-runtime