From 84ef175287fcfcf088c6b1618c26795c646f6cd2 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Mon, 29 Jun 2020 06:54:01 +0200 Subject: [PATCH] news, todo: update --- NEWS | 4 ++++ TODO | 17 ----------------- 2 files changed, 4 insertions(+), 17 deletions(-) diff --git a/NEWS b/NEWS index b3a5d1ea..f9cc58bb 100644 --- a/NEWS +++ b/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, diff --git a/TODO b/TODO index 25ad2b5c..f6c36229 100644 --- a/TODO +++ b/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 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: