Home

ethos

ethos is a flexible and efficient proof checker for SMT solvers

Update the NEWS file, ensuring that all changes since the last release are listed. The title of the section should be ethos x.y.z, without the prerelease annotation.
Update the version number in this line.
Commit and push the changes above.
Create a draft release with a new tag named ethos-x.y.z, and copy the contents of the NEWS file for version x.y.z into the description.
Add the binaries from the latest CI run to the draft release.
Finally, publish the release.