search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
359 stars 53 forks source link

Releases notes for 0.9.8.8 and update docs #1562

Closed mario-bucev closed 3 months ago

mario-bucev commented 3 months ago

For the 0.9.8.8 release

romac commented 3 months ago

I was wondering why the newer releases do not increase either the minor or patch versions anymore but instead use even more fine-grained sub-patch versions? Is there a reason for this?

mario-bucev commented 3 months ago

@vkuncak