... | @@ -5,7 +5,7 @@ First, create a std++ release. The process is nearly the same except you should |
... | @@ -5,7 +5,7 @@ First, create a std++ release. The process is nearly the same except you should |
|
- [ ] Rename the "Iris master" section to something like "Iris 3.4.0", following the pattern from earlier releases.
|
|
- [ ] Rename the "Iris master" section to something like "Iris 3.4.0", following the pattern from earlier releases.
|
|
- [ ] Mention changes in Coq version support. You can find out what versions of Coq are supported by looking at what's tested in [.gitlab-ci.yml](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/.gitlab-ci.yml).
|
|
- [ ] Mention changes in Coq version support. You can find out what versions of Coq are supported by looking at what's tested in [.gitlab-ci.yml](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/.gitlab-ci.yml).
|
|
- [ ] For Iris, we like to highlight some new features by copying their notes to the top of the section - just use your judgment to decide what's worth highlighting. (We haven't done this for std++ in the past but if someone wants to pick highlights there, go for it!)
|
|
- [ ] For Iris, we like to highlight some new features by copying their notes to the top of the section - just use your judgment to decide what's worth highlighting. (We haven't done this for std++ in the past but if someone wants to pick highlights there, go for it!)
|
|
- [ ] Add the list of contributors since the last release. You can get this list with a command like `git log --pretty="%an" iris-4.1.0..HEAD | sort -u | (readarray -t ARRAY; printf "%s, " ${ARRAY[@]})` (which gets commits since the iris-4.1.0 tag). We list contributors in alphabetical order by first name. Check the list for duplicates due to slightly different names, and fix the entries for those people that do not use their full name for git.
|
|
- [ ] Add the list of contributors since the last release. You can get this list with a command like `git log --pretty="%an" iris-4.1.0..HEAD | sort -u` (which gets commits since the iris-4.1.0 tag). We list contributors in alphabetical order by first name. Check the list for duplicates due to slightly different names, and fix the entries for those people that do not use their full name for git.
|
|
- [ ] Add the release date to the CHANGELOG files.
|
|
- [ ] Add the release date to the CHANGELOG files.
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag --list` output for the tag naming scheme.)
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag --list` output for the tag naming scheme.)
|
|
- [ ] (for someone with access to the website hosting) Update the Iris appendix PDF (e.g., https://plv.mpi-sws.org/iris/appendix-3.6.pdf), then update https://iris-project.org at https://github.com/logsem/iris-project.
|
|
- [ ] (for someone with access to the website hosting) Update the Iris appendix PDF (e.g., https://plv.mpi-sws.org/iris/appendix-3.6.pdf), then update https://iris-project.org at https://github.com/logsem/iris-project.
|
... | | ... | |