Skip to content
  • Alexandre Duret-Lutz's avatar
    Allow atomic propositions and identifiers like `X.Y'. · 4a622249
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlscan.ll: Do not recognize `.' as an AND.  Allow
    it in atomic propositions.
    * src/evtgbaparse/evtgbascan.ll, src/tgbaparse/tgbascan.ll: Accept
    `.' in identifiers.
    * src/misc/bareword.cc (is_bareword): Accept `.' inside
    barewords, so that there is no need to quote `X.Y'.
    * src/ltltest/parse.test: Do not use `.' as and operator..
    4a622249