[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
news, todo: update
From: |
Akim Demaille |
Subject: |
news, todo: update |
Date: |
Wed, 1 Jul 2020 07:07:55 +0200 |
commit 84ef175287fcfcf088c6b1618c26795c646f6cd2
Author: Akim Demaille <akim.demaille@gmail.com>
Date: Mon Jun 29 06:54:01 2020 +0200
news, todo: update
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 <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:
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- news, todo: update,
Akim Demaille <=