Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Tweak precedence of "->" and <->. · 351a8076
    Alexandre Duret-Lutz authored 
    * src/ltlparse/ltlparse.yy: Change the precedence of "->" and
"<->" so that "a & b -> c" is interpreted as "(a & b) -> c"
instead of "a & (b -> c)".  The new interpretation is more
intuitive, and matches that of LBTT.
    351a8076
To find the state of this project's repository at the time of any of these versions, check out the tags.