From mboxrd@z Thu Jan 1 00:00:00 1970
From: bugzilla-daemon@freedesktop.org
Subject: [Bug 87568] WebGL can cause GPU reset
Date: Mon, 22 Dec 2014 19:09:10 +0000
Message-ID:
References:
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="===============1096576529=="
Return-path:
Received: from culpepper.freedesktop.org (unknown [131.252.210.165])
by gabe.freedesktop.org (Postfix) with ESMTP id 0F6AF6E37D
for ; Mon, 22 Dec 2014 11:09:10 -0800 (PST)
In-Reply-To:
List-Unsubscribe: ,
List-Archive:
List-Post:
List-Help:
List-Subscribe: ,
Errors-To: dri-devel-bounces@lists.freedesktop.org
Sender: "dri-devel"
To: dri-devel@lists.freedesktop.org
List-Id: dri-devel@lists.freedesktop.org
--===============1096576529==
Content-Type: multipart/alternative; boundary="1419275350.cbDB1.5151"; charset="UTF-8"
--1419275350.cbDB1.5151
Date: Mon, 22 Dec 2014 19:09:09 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
https://bugs.freedesktop.org/show_bug.cgi?id=87568
--- Comment #1 from Ian Romanick ---
It can be impossible to tell the difference between a draw that will take a
very long time and a draw that will never complete, so possibly not. See also
http://en.wikipedia.org/wiki/Halting_problem.
--
You are receiving this mail because:
You are the assignee for the bug.
--1419275350.cbDB1.5151
Date: Mon, 22 Dec 2014 19:09:10 +0000
MIME-Version: 1.0
Content-Type: text/html; charset="UTF-8"
It can be impossible to tell the difference between a draw that will take a
very long time and a draw that will never complete, so possibly not. See also
http://en.wikipedia.org/wiki/Halting_problem.