spot/THANKS
Alexandre Duret-Lutz cdc89dad16 work around an issue in Flex 2.6.4
The fallback definition of SIZE_MAX supplied by flex was not
preprocessor friendly and prevented robin_hood.hh from doing "#if
SIZE_MAX == UINT64_MAX", as observed by Marc Espie on OpenBSD.

* spot/parseaut/scanaut.ll, spot/parsetl/scantl.ll: Define
__STDC_VERSION__ just so that the code generated by Flex
include <inttypes.h>.
* NEWS: Mention the bug.
* THANKS: Add Marc.
2022-02-17 16:57:18 +01:00

63 lines
1 KiB
Text

We are grateful to these people for their comments, help, or suggestions.
Akim Demaille
Andreas Tollkötter
Andrew Wells
Anton Pirogov
Ayrat Khalimov
Cambridge Yang
Caroline Lemieux
Christian Dax
Christopher Ziegler
Clément Tamines
David Müller
Ernesto Posse
Étienne Renault
Fabrice Kordon
Felix Klaedtke
Florian Perlié-Long
František Blahoudek
Gerard J. Holzmann
Hashim Ali
Heikki Tauriainen
Henrich Lauko
Jan Strejček
Jean-Michel Couvreur
Jean-Michel Ilié
Jens Kreber
Jeroen Meijer
Jiraphapa Jiravaraphan
Joachim Klein
Juan Tzintzun
Juraj Major
Kristin Y. Rozier
Marc Espie
Martin Dieguez Lodeiro
Matthias Heizmann
Maxime Bouton
Michaël Cadilhac
Michael Tautschnig
Michael Weber
Mikuláš Klokočka
Ming-Hsien Tsai
Nikos Gorogiannis
Paul Guénézan
Reuben Rowe
Roei Nahum
Rüdiger Ehlers
Silien Hong
Simon Jantsch
Shengping Shaw
Shufang Zhu
Sonali Dutta
Tereza Šťastná
Tobias Meggendorfer.
Tomáš Babiak
Valentin Iovene
Victor Khomenko
Vitus Lam
Yann Thierry-Mieg
Yannick Molinghen
Yechuan Xia
Yong Li
Yuri Victorovich