news, todo: update

NEWS

@@ -6,6 +6,8 @@ GNU Bison NEWS
 
 *** Counterexample Generation
 
+  Contributed by Vincent Imbimbo.
+
   When given `--report=counterexamples` or `-Wcounterexamples`, bison will
   now output counterexamples for conflicts in the grammar.  These are
   strings in the grammar which can be parsed in two ways due to the
@@ -30,6 +32,8 @@ GNU Bison NEWS
 
 *** File prefix mapping
 
+  Contributed by Joshua Watt.
+
   Bison learned a new argument, `--file-prefix-map OLD=NEW`.  Any file path
   in the output (specifically `#line` directives and `#ifdef` header guards)
   that begins with the prefix OLD will have it replaced with the prefix NEW,

TODO

@@ -432,16 +432,6 @@ undocumented ''features''.  Maybe an empty action ought to be
 presented too.  Shall we try to make a single grammar with all these
 features, or should we have several very small grammars?
 
-** --report=conflict-path
-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.lsv.fr/~schmitz/pub/expamb.pdf> for an approach.
-An Experimental Ambiguity Detection Tool ∗ Sylvain Schmitz
-LORIA, INRIA Nancy - Grand Est, Nancy, France
-
 * Extensions
 ** More languages?
 Well, only if there is really some demand for it.
@@ -532,13 +522,6 @@ XML output for GNU Bison and gcc
 XML output for GNU Bison
    http://yaxx.sourceforge.net/
 
-** Counterexample generation
-https://lists.gnu.org/archive/html/bug-bison/2016-06/msg00000.html
-http://www.cs.cornell.edu/andru/papers/cupex/
-
-Andrew Myers and Vincent Imbimbo are working on this item, see
-https://github.com/akimd/bison/issues/12
-
 * Coding system independence
 Paul notes: