news, todo: update
Akim Demaille <[email protected]>
| Newsgroups | gmane.comp.parsers.bison.patches |
|---|---|
| Message-ID | <[email protected]> |
commit 84ef175287fcfcf088c6b1618c26795c646f6cd2 Author: Akim Demaille <[email protected]> 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: