* TODO: Add pointer to Sylvain Schmitz's work on static detection

of potential ambiguities in GLR grammers.

diff --git a/ChangeLog b/ChangeLog
index f85054237d261fe02ba7787e7eb54ac9425c8f75..4cf3d1880f08f0c27d9247eb852c89e72ad0266b 100644 (file)
--- 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
 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 ca610cc04dc8d79c710128cb4ba0130f57dfd52d..7d6f20ea810dd5b9a316d0d243bbd942d47b1053 100644 (file)
--- 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.
 
 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
 
 
 * Extensions