[PATCH 0/4] Clean up handling of gnulib lists

[Akim Demaille]

Some minor simplifications and documentation.

Akim Demaille (4):
  gnulib: update
  lists: fix various issues with the use of gnulib's list
  style: fix includes
  doc: using asan

 README-hacking.md      |  49 ++++++++++++++
 gnulib                 |   2 +-
 src/AnnotationList.h   |   1 +
 src/counterexample.c   | 148 ++++++++++++++++++++++++-----------------
 src/derivation.c       |  34 ++++++----
 src/derivation.h       |  12 ++++
 src/fixits.c           |  20 +++---
 src/parse-simulation.c |  47 +++++++------
 src/parse-simulation.h |  12 ++++
 src/print-xml.h        |   2 -
 src/scan-code.l        |  14 ++--
 src/scan-gram.l        |  16 ++---
 src/scan-skel.l        |  10 +--
 src/state-item.h       |  13 ++++
 14 files changed, 251 insertions(+), 129 deletions(-)

-- 
2.26.2