-
Alexandre Duret-Lutz authored
* spot/parseaut/parseaut.yy, spot/parseaut/parsedecl.hh, spot/parseaut/public.hh, spot/parseaut/scanaut.ll: Use a reentrant scanner, so that we can now parse multiple automaton streams at the same time. This is needed for the future autcross, which is going to read several individual automata produced by different tools, while reading the stream of automata to process.
b9fff6a4
To find the state of this project's repository at the time of any of these versions, check out the tags.