search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Release 1.8.1 #39

Closed keremc closed 3 years ago

keremc commented 3 years ago

This PR does the following changes:

sim642 commented 2 years ago

I'm confused, why was this called "release 1.8.1" when we never released such version (no CHANGES, no tag, no opam)?

I'm planning on making a Goblint release and it'd be good to have an up-to-date released goblint-cil for it (instead of an opam pin to a random intermediate commit), but now I'm not sure what the next version of goblint-cil should be called: 1.8.1 or 1.8.2? Was the point to bump the version number after having released 1.8.0 and have the number right in the develop branch for the following release? Or was it supposed to mark the release of 1.8.1 and the develop branch should have that all the way until we actually release 1.8.2? I don't know anymore what the release model here is supposed to be.