From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 13 Dec 2006 20:23:19 +0000 (+0000)
Subject: * TODO: Add pointer to Sylvain Schmitz's work on static detection
X-Git-Tag: v2.3b~226
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/38eb7751e46092fedde6e25eb531c855635b1cfa

* TODO: Add pointer to Sylvain Schmitz's work on static detection
of potential ambiguities in GLR grammers.
---

diff --git a/ChangeLog b/ChangeLog
index f8505423..4cf3d188 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2006-12-13  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* TODO: Add pointer to Sylvain Schmitz's work on static detection
+	of potential ambiguities in GLR grammers.
+
 2006-12-12  Joel E. Denny  <jdenny@ces.clemson.edu>
 
 	* tests/testsuite.at (AT_CHECK): When checking if $1 starts with
diff --git a/TODO b/TODO
index ca610cc0..7d6f20ea 100644
--- a/TODO
+++ b/TODO
@@ -56,6 +56,9 @@ Provide better assistance for understanding the conflicts by providing
 a sample text exhibiting the (LALR) ambiguity.  See the paper from
 DeRemer and Penello: they already provide the algorithm.
 
+** Statically check for potential ambiguities in GLR grammars.  See
+<http://www.i3s.unice.fr/~schmitz/papers.html#expamb> for an approach.
+
 
 * Extensions