diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..f7dad212cb --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,7 @@ +## 0.29.1 - 2022-09-12 + +### Bug fixes + +- Report an error, when --max-error > 1 and no --view is provided, see #2144 +- Sort SMT disjuncts generated by `ZipOracle`, see #2149 +- Check invariants at step 0 with --discard-disabled=false, see #2158 and #2161 diff --git a/VERSION b/VERSION index bd20a9a5a6..25939d35c7 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.29.1-SNAPSHOT +0.29.1