NEWS · ce437cd499a5df7235a9a9cc14450cde708bf03a · Spot / Spot · GitLab

Apr 28, 2012

Fix the associativity of ->, <->, U, R, W, and M wrt the PSL standard. · ce437cd4

Alexandre Duret-Lutz authored Apr 28, 2012

* src/ltlparse/ltlparse.yy: Make all the above operators
right-associative.  Also let `:' have precedence over `;'.
* src/ltltest/reduccmp.test: Adjust for the `:' precedence.
* doc/tl/tl.tex, NEWS: Document this.

ce437cd4

Fix the associativity of ->, <->, U, R, W, and M wrt the PSL standard.

Alexandre Duret-Lutz authored Apr 28, 2012

* src/ltlparse/ltlparse.yy: Make all the above operators
right-associative.  Also let `:' have precedence over `;'.
* src/ltltest/reduccmp.test: Adjust for the `:' precedence.
* doc/tl/tl.tex, NEWS: Document this.

To find the state of this project's repository at the time of any of these versions, check out the tags.