From dev-return-288-archive-asf-public=cust-asf.ponee.io@tvm.apache.org Thu Apr 25 09:38:51 2019 Return-Path: X-Original-To: archive-asf-public@cust-asf.ponee.io Delivered-To: archive-asf-public@cust-asf.ponee.io Received: from mail.apache.org (hermes.apache.org [207.244.88.153]) by mx-eu-01.ponee.io (Postfix) with SMTP id 1235318076D for ; Thu, 25 Apr 2019 11:38:50 +0200 (CEST) Received: (qmail 46703 invoked by uid 500); 25 Apr 2019 09:38:50 -0000 Mailing-List: contact dev-help@tvm.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@tvm.apache.org Delivered-To: mailing list dev@tvm.apache.org Received: (qmail 46601 invoked by uid 99); 25 Apr 2019 09:38:48 -0000 Received: from pnap-us-west-generic-nat.apache.org (HELO spamd3-us-west.apache.org) (209.188.14.142) by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 25 Apr 2019 09:38:48 +0000 Received: from localhost (localhost [127.0.0.1]) by spamd3-us-west.apache.org (ASF Mail Server at spamd3-us-west.apache.org) with ESMTP id 3524E180C96 for ; Thu, 25 Apr 2019 09:38:48 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at spamd3-us-west.apache.org X-Spam-Flag: NO X-Spam-Score: 0.9 X-Spam-Level: X-Spam-Status: No, score=0.9 tagged_above=-999 required=6.31 tests=[DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.001, HTML_MESSAGE=2, MAILING_LIST_MULTI=-1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=disabled Authentication-Results: spamd3-us-west.apache.org (amavisd-new); dkim=pass (1024-bit key) header.d=discuss.tvm.ai header.b=TlCKDjSr; dkim=pass (1024-bit key) header.d=elasticemail.com header.b=crGvR5kB Received: from mx1-lw-us.apache.org ([10.40.0.8]) by localhost (spamd3-us-west.apache.org [10.40.0.10]) (amavisd-new, port 10024) with ESMTP id X1VYdOGGG4eW for ; Thu, 25 Apr 2019 09:38:46 +0000 (UTC) Received: from mail-ed1-f53.google.com (mail-ed1-f53.google.com [209.85.208.53]) by mx1-lw-us.apache.org (ASF Mail Server at mx1-lw-us.apache.org) with ESMTPS id B964A5FDA5 for ; Thu, 25 Apr 2019 09:31:25 +0000 (UTC) Received: by mail-ed1-f53.google.com with SMTP id c1so12587092edk.5 for ; Thu, 25 Apr 2019 02:31:25 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:delivered-to:dkim-signature:dkim-signature:from :date:subject:message-id:reply-to:sender:to:feedback-id:in-reply-to :references:list-unsubscribe:auto-submitted:precedence:list-id :list-archive:mime-version; bh=W08V+8qtFDl3xo71qYUQhTxA5JZbTHVAPyH/Dk5Hqto=; b=qCclCT7H7f6yj6zG1YyK1AenuX/4q8CREG5TDPeJy/bhxBh+ZTvHcL7fl3UBpq8pAl ZwL6w0p6gzdqbs4YhI5DlkT/uug/k3u9142iFtE0NM7y7MSwj8W7VmsHsRFPM7ZGMTmM WsDuUqfkDTWqHVXDcXDMlRuzf1mU1TO23IgWpAef3HsrACf/Og+IYjhhO4bFDhL3MDIR bZNBg+upe4rINX7DKWcnZYcs6OJnaCOl47a0pwHtRPMhrbI2HcGZihUPIXV7HoY9drEj XDBJH99Yao1Fyr6MsxTzmbXh/b3JqWrkAyehiUoGyaGVSTLNgcYBAana9+sMfWGn+U2B yjag== X-Gm-Message-State: APjAAAXmXvdEO0JuZkeNb/r8GxGKV7Zh6boLDoogX4wcsBGm46M4ud0e DXbJtY45DE7V3kJ5jP3IUL1dOPFsyupbB7qa0k+c/twTZOj9074= X-Received: by 2002:a50:92dc:: with SMTP id l28mr4230215eda.19.1556184678753; Thu, 25 Apr 2019 02:31:18 -0700 (PDT) X-Forwarded-To: dev@tvm.apache.org X-Forwarded-For: tvm.archiver@gmail.com dev@tvm.apache.org Delivered-To: tvm.archiver@gmail.com Received: by 2002:a50:8791:0:0:0:0:0 with SMTP id a17csp1700789eda; Thu, 25 Apr 2019 02:31:18 -0700 (PDT) X-Google-Smtp-Source: APXvYqxp1qqvckYKTt6/882uIIhm12LGiQCVYiWtPC74poVvGX0s9JDEEnwefE80KH2H6PYkni0k X-Received: by 2002:a1c:a907:: with SMTP id s7mr2918580wme.153.1556184677921; Thu, 25 Apr 2019 02:31:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1556184677; cv=none; d=google.com; s=arc-20160816; b=gtTkDYkjzw5sCukC1Dzo6BL96GqdEBDqMLXER3Y9akd62pAfL39hZ9V7spf3P7PiPH 6leebcJDKZW2CNnY8WEJgw1qtWrmUmWLBmgnBsrHpYPSaQRt6FfipKTZSnnziwo2tyPJ cw45fcd+FPEUI/3wptKzkfr/vI3YsqJicnOYBJ8eksd0LE6JXGR8aZDxi3fohZrrJ//c RvDP+uWyHIhYZkPFfEBGZ6kkhxwfPNOzY10GCImv9GQu3e77xM1evvIxLWqimRAFMGpo vufDS/0onNm7s4tV/dIVJGpn1jElu5ThXNwyn5Z+L6qloxV24dUuBEWXeekQ8wUiqeDi 2n5A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:list-archive:list-id:precedence:auto-submitted :list-unsubscribe:references:in-reply-to:feedback-id:to:sender :reply-to:message-id:subject:date:from:dkim-signature:dkim-signature; bh=W08V+8qtFDl3xo71qYUQhTxA5JZbTHVAPyH/Dk5Hqto=; b=DkvcocnX1LuyR21Q7yzHTkOOJNY9SoNZwmZOG+PnBU+J3wgIEs9sLz5GP5zwLSY25k fe/Y/aE7pC4+XUaqYA1XJp49noX+mja4nAn9XW+EVbi2uvg+zOm0hWrRA47V6X79zDfl iJTCLnDDJ3PHUpnuql5J0wkWt+E+883CP0Ov1MrUIiNwUQZauWN5jJCsBPMnKMR+EQM8 zxTaY1Nz2fkV06PQuh+fwXuLj6dB+AOJ23xi3JP7h8RdM5hFmrZLhT2f5uOolOlBjYMH 7S+sfgsypmeSx+LxZa32sW9pFS0g1VlrsE7b0R2LeCKXMbH4RuGFOr058V6DQ9VbPbTl 1HnA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@discuss.tvm.ai header.s=api header.b=TlCKDjSr; dkim=pass header.i=@elasticemail.com header.s=api header.b=crGvR5kB; spf=neutral (google.com: 216.169.98.215 is neither permitted nor denied by best guess record for domain of noreply@discuss.tvm.ai) smtp.mailfrom=noreply@discuss.tvm.ai Received: from np215.mxout.mta3.net (np215.mxout.mta3.net. [216.169.98.215]) by mx.google.com with ESMTPS id t17si13812640wrs.390.2019.04.25.02.31.17 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 25 Apr 2019 02:31:17 -0700 (PDT) Received-SPF: neutral (google.com: 216.169.98.215 is neither permitted nor denied by best guess record for domain of noreply@discuss.tvm.ai) client-ip=216.169.98.215; Authentication-Results: mx.google.com; dkim=pass header.i=@discuss.tvm.ai header.s=api header.b=TlCKDjSr; dkim=pass header.i=@elasticemail.com header.s=api header.b=crGvR5kB; spf=neutral (google.com: 216.169.98.215 is neither permitted nor denied by best guess record for domain of noreply@discuss.tvm.ai) smtp.mailfrom=noreply@discuss.tvm.ai DKIM-Signature: v=1; a=rsa-sha256; d=discuss.tvm.ai; s=api; c=relaxed/simple; t=1556184676; h=from:date:subject:reply-to:to:list-unsubscribe:mime-version; bh=p1lJYSbdABSPGEZo1rGk30hrtBxlz/+tljC/tpIv3Ys=; b=TlCKDjSrEU7DUfFb6LWoZcXIDP8S7S4Dt2Nada3MNK/0HOoNXYbMiXusFDbuOqedma1GbQyKOUt 1hCXn0jPlDgFQH1JOnxHuK9LxR9bEk0i+fZ5Rfn8TYLKioADhpWxIhXS4KnxU7jMO5JcZt8oEN+EP STf/ypJ1RifY+hEfc5Y= DKIM-Signature: v=1; a=rsa-sha256; d=elasticemail.com; s=api; c=relaxed/simple; t=1556184676; h=from:date:subject:reply-to:to:list-unsubscribe; bh=p1lJYSbdABSPGEZo1rGk30hrtBxlz/+tljC/tpIv3Ys=; b=crGvR5kBDhjjConV7ShqsaDk20ZxXOXAzpT+nl8HPCqOKdBraG+W2ZPN6jo33Z5sECToyd4iN4W Zkbb/qvOT80RMWoF58Z/v7hdKRqb0MIFUYNGX57J/F+rAOZWuaxxIOPVarrWY0cq336ltA2bUu0cb ox73NOJx/vQrxoieAP8= From: Cherry Han via TVM Discuss Date: Thu, 25 Apr 2019 09:31:04 +0000 Subject: [TVM Discuss] [Development] [DISCUSS] Contributing new docs for InferBound Message-Id: <4u7cispgsn9x.zv8kiu3boqbTPPo5wFZZiA2@tracking.discuss.tvm.ai> Reply-To: Cherry Han via TVM Discuss Sender: Cherry Han via TVM Discuss To: tvm.archiver@gmail.com X-Msg-EID: zv8kiu3boqbTPPo5wFZZiA2 Feedback-ID: qz0r3x:-4pr9lq2h:ElasticEmailFBL In-Reply-To: References: X-Auto-Response-Suppress: All Auto-Submitted: auto-generated List-Archive: https://discuss.tvm.ai/t/discuss-contributing-new-docs-for-inferbound/2151 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=-eZCfHnSN9SzZdMWRe8sbWRnOhxNE78Qs7XWKzA==" --=-eZCfHnSN9SzZdMWRe8sbWRnOhxNE78Qs7XWKzA== Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Symbolic bounds as Expr --- [Visit Topic](https://discuss.tvm.ai/t/discuss-contributing-new-docs-for-inferbound/2151/15) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/7fba0184e6e21542242e021364e3a1f7e520eb0b578c0ef007f6469c4285b788). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=zv8kiu3boqbTPPo5wFZZiA2 --=-eZCfHnSN9SzZdMWRe8sbWRnOhxNE78Qs7XWKzA==--