NEWS · e8527d5ae9639259ef0de89d0816a306b3cccdb5 · Spot / Spot · GitLab

Sep 02, 2017

Improve simplification of expr[*0..1] · e8527d5a

Alexandre Duret-Lutz authored Sep 02, 2017

Fixes #108.

* spot/tl/simplify.cc: Implement the reduction.
* doc/tl/tl.tex, NEWS: Document it.
* tests/core/reduccmp.test: Test it.

e8527d5a

Improve simplification of expr[*0..1]

Alexandre Duret-Lutz authored Sep 02, 2017

Fixes #108.

* spot/tl/simplify.cc: Implement the reduction.
* doc/tl/tl.tex, NEWS: Document it.
* tests/core/reduccmp.test: Test it.

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