bison-patches  

Messages by Thread

• • Re: Conflict counterexamples Adrian Vogelsgesang
  • Re: Conflict counterexamples Akim Demaille
• RFC: Conflict counterexamples Akim Demaille
• warnings: fix -Wmissing-prototypes issues Akim Demaille
• merge maint into master Akim Demaille
• [PATCH 0/4] Clean up handling of gnulib lists Akim Demaille
  • [PATCH 1/4] gnulib: update Akim Demaille
  • [PATCH 2/4] lists: fix various issues with the use of gnulib's list Akim Demaille
  • [PATCH 4/4] doc: using asan Akim Demaille
  • [PATCH 3/4] style: fix includes Akim Demaille
• [PATCH] style: decouple different uses of item_number Vincent Imbimbo
  • Re: [PATCH] style: decouple different uses of item_number Akim Demaille
  • Re: [PATCH] style: decouple different uses of item_number Akim Demaille
  • Re: [PATCH] style: decouple different uses of item_number Vincent Imbimbo
  • Re: [PATCH] style: decouple different uses of item_number Akim Demaille
  • Re: [PATCH] style: decouple different uses of item_number vmi6
• [PATCH v4] Add command line option to map file prefixes Joshua Watt
  • Re: [PATCH v4] Add command line option to map file prefixes Akim Demaille
• cex: clean the display of conflicted symbols Akim Demaille
  • Re: cex: clean the display of conflicted symbols Akim Demaille
• maint: c++: fix printing of state number on streams Akim Demaille
• [PATCH] cex: fix pruning crash Vincent Imbimbo
  • Re: [PATCH] cex: fix pruning crash Akim Demaille
• [PATCH 0/6] Use symbol kinds in symbol actions Akim Demaille
  • [PATCH 1/6] tests: show logs Akim Demaille
  • [PATCH 6/6] regen Akim Demaille
  • [PATCH 2/6] m4: use m4_shift2 etc. Akim Demaille
  • [PATCH 5/6] kinds: use the symbol kinds where applicable Akim Demaille
  • [PATCH 4/6] kinds: also define the possibly qualified symbol kinds Akim Demaille
  • [PATCH 3/6] m4: simplify useless quotation Akim Demaille
• style: spell fixes Akim Demaille
• style: rename user_token_number as code Akim Demaille
• [PATCH 0/3] Fix generated comments Akim Demaille
  • [PATCH 1/3] traces: show the full m4 invocation Akim Demaille
  • [PATCH 2/3] traces: provide a means to get short m4 traces Akim Demaille
  • [PATCH 3/3] fix generated comments Akim Demaille
• [PATCH 0/7] Fixing all cex leaks Vincent Imbimbo
  • [PATCH 3/7] cex: fix lssi leaks Vincent Imbimbo
  • [PATCH 1/7] cex: dervation reference counting Vincent Imbimbo
  • Re: [PATCH 1/7] cex: dervation reference counting Akim Demaille
  • [PATCH 2/7] cex: fix parse state leaks Vincent Imbimbo
  • [PATCH 4/7] cex: fix counterexample leak Vincent Imbimbo
  • [PATCH 7/7] cex: replace state-item data structures Vincent Imbimbo
  • Re: [PATCH 7/7] cex: replace state-item data structures Akim Demaille
  • [PATCH 6/7] cex: fix bad reference counting Vincent Imbimbo
  • [PATCH 5/7] cex: fix miscellaneous leaks Vincent Imbimbo
  • Re: [PATCH 0/7] Fixing all cex leaks Akim Demaille
  • Re: [PATCH 0/7] Fixing all cex leaks Akim Demaille
  • Re: [PATCH 0/7] Fixing all cex leaks Akim Demaille
• [PATCH v2] src: make path to m4 relocatable Thomas Petazzoni
  • Re: [PATCH v2] src: make path to m4 relocatable Akim Demaille
• [PATCH] src: make path to m4 relocatable Thomas Petazzoni
  • Re: [PATCH] src: make path to m4 relocatable Akim Demaille
  • Re: [PATCH] src: make path to m4 relocatable Thomas Petazzoni
• cex: style: prefer res for returned value Akim Demaille
• [PATCH] cex: fix leaks Vincent Imbimbo
  • Re: [PATCH] cex: fix leaks Akim Demaille
  • Re: [PATCH] cex: fix leaks Akim Demaille
  • Re: [PATCH] cex: fix leaks Akim Demaille
  • Re: [PATCH] cex: fix leaks Akim Demaille
  • Re: [PATCH] cex: fix leaks vmi6
  • Re: [PATCH] cex: fix leaks Akim Demaille
  • Re: [PATCH] cex: fix leaks Vincent Imbimbo
  • Re: [PATCH] cex: fix leaks Vincent Imbimbo
  • Re: [PATCH] cex: fix leaks Akim Demaille
• style: use hash_xinsert Akim Demaille
• [PATCH] cex: fix a crash Vincent Imbimbo
  • Re: [PATCH] cex: fix a crash Akim Demaille
  • Re: [PATCH] cex: fix a crash Akim Demaille
• [PATCH] cex: fix crash from zombie result Vincent Imbimbo
  • Re: [PATCH] cex: fix crash from zombie result Akim Demaille
• c: restore definition of _Noreturn as [[noreturn]] in C++ Akim Demaille
• examples: don't promote unchecked function calls Akim Demaille
• maint: fix: do not emit nested comments Akim Demaille
• [PATCH v2] bison: fix the parallel build mingli.yu
  • Re: [PATCH v2] bison: fix the parallel build Akim Demaille
• [PATCH] bison: fix the parallel build mingli.yu
• tests: improve update-test Akim Demaille
• [PATCH 0/5] Conflict Counterexample Generation Vincent Imbimbo
  • [PATCH 3/5] Counterexample search Vincent Imbimbo
  • [PATCH 4/5] counterexample generation integration Vincent Imbimbo
  • [PATCH 1/5] State-item pair graph generation Vincent Imbimbo
  • [PATCH 5/5] counterexample test suite Vincent Imbimbo
  • [PATCH 2/5] Parse simulator Vincent Imbimbo
  • Re: [PATCH 0/5] Conflict Counterexample Generation Akim Demaille
  • Re: [PATCH 0/5] Conflict Counterexample Generation Vincent Imbimbo
  • Re: [PATCH 0/5] Conflict Counterexample Generation Akim Demaille
  • Re: [PATCH 0/5] Conflict Counterexample Generation Akim Demaille
  • Re: [PATCH 0/5] Conflict Counterexample Generation Akim Demaille
  • Re: [PATCH 0/5] Conflict Counterexample Generation Akim Demaille
  • cex: isolate missing API from gl_list Akim Demaille
  • cex: stylistic changes Akim Demaille
  • cex: fix a crash Akim Demaille
  • cex: style changes in state-item Akim Demaille
  • cex: avoid uninitialized variables Akim Demaille
• bench: add support to randomize the order of execution Akim Demaille
• bench: use a Makefile Akim Demaille
• examples: use markdown hyperlinks Akim Demaille
• maint: examples: beware of ~/.inputrc Akim Demaille
• Re: Public / protected access to parser's symbol_name() in C++ Akim Demaille
  • Re: Public / protected access to parser's symbol_name() in C++ Akim Demaille
  • Re: Public / protected access to parser's symbol_name() in C++ Akim Demaille
• [maint] yacc.c: restore ansi-c compatibility Akim Demaille
• bench: use *.cc for C++ Akim Demaille
• gnulib: update, and use the attribute module Akim Demaille
  • Re: gnulib: update, and use the attribute module Paul Eggert
  • Re: gnulib: update, and use the attribute module Akim Demaille
• Re: lzip (was: Bison 3.6 released) Akim Demaille
• news: prepare for 3.6 Akim Demaille
• doc: complete the table of symbols Akim Demaille
• [PATCH] Add command line option to map file prefixes Joshua Watt
  • Re: [PATCH] Add command line option to map file prefixes Akim Demaille
  • Re: [PATCH] Add command line option to map file prefixes Joshua Watt
  • Re: [PATCH] Add command line option to map file prefixes Akim Demaille
  • Re: [PATCH] Add command line option to map file prefixes Joshua Watt
  • [PATCH v2] Add command line option to map file prefixes Joshua Watt
  • Re: [PATCH v2] Add command line option to map file prefixes Akim Demaille
  • [PATCH v3] Add command line option to map file prefixes Joshua Watt
  • Re: [PATCH v3] Add command line option to map file prefixes Akim Demaille
  • Re: [PATCH v3] Add command line option to map file prefixes Joshua Watt
  • Re: [PATCH v3] Add command line option to map file prefixes Akim Demaille
  • Re: [PATCH v3] Add command line option to map file prefixes Joshua Watt
• doc: clarify the glossary item about kinds Akim Demaille
• doc: document yypstate_expected_tokens Akim Demaille
• doc: restructure the push parser documentation Akim Demaille
• todo: more Akim Demaille
• yacc.c: improve formatting of the generated code Akim Demaille
• java: demonstrate push parsers Akim Demaille
• java: fix coding style Akim Demaille
• [PATCH 0/4] Clean up minor Java issues Akim Demaille
  • [PATCH 1/4] java: comment changes Akim Demaille
  • [PATCH 2/4] java: avoid useless work Akim Demaille
  • [PATCH 3/4] java: style: fix coding style of yyerror/reportSyntaxError Akim Demaille
  • [PATCH 4/4] java: add missing i18n requests Akim Demaille
• news: make it more consistent Akim Demaille
• yacc.c: avoid the use of a temporary Akim Demaille
• doc: document YYEOF, YYUNDEF and YYerror Akim Demaille
• [PATCH 0/3] Fixes for distcheck Akim Demaille
  • [PATCH 1/3] tests: beware of portability of readline Akim Demaille
  • [PATCH 2/3] style: avoid gettextize warnings Akim Demaille
  • [PATCH 3/3] package: fix distcheck Akim Demaille
• FTR: Akim Demaille
  • Re: FTR: Paul Eggert
  • Re: FTR: Hans Åberg
  • Re: his cure is worſe than the diſeaſe Akim Demaille
  • Re: FTR: fix the interface of yyexpected_tokens Akim Demaille
  • Re: FTR: fix the interface of yyexpected_tokens Akim Demaille
• [PATCH 0/4] Clean up Akim Demaille
  • [PATCH 4/4] yacc.c: install backward compatibility for YYERRCODE Akim Demaille
  • [PATCH 2/4] java: clean up the definition of token kinds Akim Demaille
  • [PATCH 3/4] style: c++: s/type/kind/ where appropriate Akim Demaille
  • [PATCH 1/4] error: rename the error token from YYERRCODE to YYerror Akim Demaille
• [PATCH 0/4] dogfooding: use YYERRCODE in bison Akim Demaille
  • [PATCH 4/4] dogfooding: use YYERRCODE in our scanner Akim Demaille
  • [PATCH 3/4] scanner: avoid spurious errors about empty character literals Akim Demaille
  • [PATCH 2/4] scanner: bad character literals are errors Akim Demaille
  • [PATCH 1/4] regen Akim Demaille
• RFC: a name for the error token Akim Demaille
  • Re: RFC: a name for the error token Paul Eggert
  • Re: RFC: a name for the error token Akim Demaille
• [PATCH 00/16] Returning the error token from the scanner does not trigger an error message Akim Demaille
  • [PATCH 06/16] all: prefer YYERRCODE to YYERROR Akim Demaille
  • [PATCH 03/16] style: glr.c: fix indentation issue Akim Demaille
  • [PATCH 02/16] style: fix a few remaining 'type' instead of 'kind' Akim Demaille
  • [PATCH 07/16] c++: fix a few style issues Akim Demaille
  • [PATCH 11/16] examples: bistromathic: comment changes Akim Demaille
  • [PATCH 01/16] skeletons: make the warning about implementation details clearer Akim Demaille
  • [PATCH 14/16] c: don't emit an error message when the scanner returns YYERRCODE Akim Demaille
  • [PATCH 05/16] style: glr.c: clarify Akim Demaille
  • [PATCH 10/16] doc: hacking tricks Akim Demaille
  • [PATCH 15/16] all: don't emit an error message when the scanner returns YYERRCODE Akim Demaille
  • [PATCH 12/16] examples: bistromathic: when quitting, close the current line Akim Demaille
  • [PATCH 13/16] examples: bistromathic: demonstrate error recovery Akim Demaille
  • [PATCH 04/16] style: prefer b4_has_translations_if Akim Demaille
  • [PATCH 08/16] c++: always define symbol_name Akim Demaille
  • [PATCH 16/16] todo: update Akim Demaille
  • [PATCH 09/16] c++: make valid to print the empty symbol Akim Demaille
• skeletons: make the warning about implementation details clearer Akim Demaille
• style: c: fix a few minor issues about indentation of cpp directives Akim Demaille
• bench: store in benches/012 rather than in benches/12 Akim Demaille
• bench: minor improvements Akim Demaille
• style: clarify #endif Akim Demaille
• examples: bistromathic: shorten token description Akim Demaille
• diagnostics: fix a typo Akim Demaille
• todo: update for YYERRCODE Akim Demaille
• c, c++: provide a default definition for N_ Akim Demaille
• tokens: clean up the translation of special symbols Akim Demaille
• i18n: also look in src/parse-gram.c Akim Demaille
• style: fix comments Akim Demaille
• examples: beware of readline on macOS Akim Demaille
• c++: give public access to the symbol kind Akim Demaille
• doc: token_kind_type in C++ Akim Demaille
• doc: updates for 3.6 Akim Demaille
  • doc: updates for 3.6 Akim Demaille
• style: comments changes about error handling Akim Demaille
• skeletons: use symbol(-2, kind) Akim Demaille
• examples: bistro: don't be lazy with switch Akim Demaille
• RFC: YYUNDEF vs. YYERRCODE Akim Demaille
• [PATCH 00/10] Documentation and fixes Akim Demaille
  • [PATCH 01/10] c, c++: also define YYEMPTY in yytoken_kind_t Akim Demaille

• Earlier messages
• Later messages