-
Alexandre Duret-Lutz authored* src/ltlast/bunop.cc: Fix detection of f[:*2] as siPSL if f is siPSL * src/tests/kind.test: Test it. * NEWS: Mention it.
5d9e7d1f
To find the state of this project's repository at the time of any of these versions, check out the tags.