Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlparse
ltlscan.ll
Find file
Blame
History
Permalink
ltlparse: Preliminary support for utf8 operators.
· 80a9c3e2
Alexandre Duret-Lutz
authored
Mar 14, 2012
* src/ltlparse/ltlscan.ll: Recognize several utf8 operators such as □, ◇, ◯,
↔
, ⤇, etc.
80a9c3e2