Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    parseaut: improve parsing of HOA labels · ce1cf550
    Alexandre Duret-Lutz authored 
    On a debug build with the automaton from #476, the gain seems to be
about 33% of the parsing time.

* spot/parseaut/parseaut.yy, spot/parseaut/parsedecl.hh,
spot/parseaut/scanaut.ll: Share a hash map of string->BDD
between the scanner and parser so that [labels] can be looked
up by the scanner if they have already been parsed once.
* NEWS: Mention it.
    ce1cf550
To find the state of this project's repository at the time of any of these versions, check out the tags.