From 51f12cffd2c0d0e73054668fa6816ccad36a801d Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 24 Jan 2021 09:30:02 +0100 Subject: package: fix details after merge with 3.7.5 * TODO, cfg.mk: Update. * src/parse-gram.c, src/parse-gram.h: Regen. --- TODO | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'TODO') diff --git a/TODO b/TODO index 4f89e749..c52f5358 100644 --- a/TODO +++ b/TODO @@ -1,4 +1,26 @@ * Soon +** Missing tests +commit c22902e360e0fbbe9fd5657dcf107e03166da309 +Author: Akim Demaille +Date: Sat Jan 23 18:40:15 2021 +0100 + + tables: fix handling for useless tokens + +See https://github.com/akimd/bison/issues/72#issuecomment-766153154 + +commit 2c294c132528ede23d8ae4959783a67e9ff05ac5 +Author: Vincent Imbimbo +Date: Sat Jan 23 13:25:18 2021 -0500 + + cex: fix state-item pruning + +See https://lists.gnu.org/r/bug-bison/2021-01/msg00002.html + +** pos_set_set +The current approach is correct, but with poor performances. Bitsets need +to support 'assign' and 'shift'. And instead of extending POS_SET just for +the out-of-range new values, we need something like doubling the size. + ** YY_LOCATION_PRINT This is an internal detail. But it's very handy, we should make it public. It already has leaked in the documentation by accident. -- cgit v1.2.1