search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
203 stars 51 forks source link

Semantic Versioning #87

Closed liyishuai closed 5 years ago

liyishuai commented 5 years ago

Despite the rapid development, some release 0.1.0 would be convenient for heavy users e.g. DeepWeb. https://semver.org/#how-should-i-deal-with-revisions-in-the-0yz-initial-development-phase

gmalecha commented 5 years ago

I would actually be tempted to suggest that what we have (or plan to have) is worthy of a 1.0.0 release. Unless we adopt Haskell versioning scheme :-)

liyishuai commented 5 years ago

Indeed, the "First release" project seems much more than a v0.1.0 looks like.

Lysxia commented 5 years ago

If I read this right we should actually have been doing 0.* releases since the start. So I propose to make 0.1.0 release right after #114 since there are already projects depending on this library in the current state, and move the remaining milestones to 1.0.0.

Lysxia commented 5 years ago

It looks like we're in good shape for 1.0.0 now already.

liyishuai commented 5 years ago

I've drafted coq/opam-coq-archive#608, which depends on a release in this repo.

Lysxia commented 5 years ago

Let's make a release this afternoon/evening.

Zdancewic commented 5 years ago

Sounds great!

Lysxia commented 5 years ago

Here we go https://github.com/DeepSpec/InteractionTrees/releases/tag/1.0.0