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
