Update release-notes.md

dgpv · Nov 14, 2023 · 347639d · 347639d
1 parent c32b11c
commit 347639d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/release-notes.md b/release-notes.md
@@ -2,8 +2,9 @@
 
 Version 0.1.2.dev0:
 
-* Fix: scriptnum decoding was not imposing "0 >= x => 255" bound on the byte sequence if its size was 1.
-  This was causing problems with `bsst-assume` tests, but likely that this could have caused problems elsewhere, too
+* Add ability to set assertions on stack values and assumptions for data placeholders. Please see newly added "Assertions" and "Assumptions" sections in README. You might also look at `tests/test_assertions_and_assumptions.py` for examples of usage
+
+* Fix: scriptnum decoding was not imposing "0 >= x => 255" bound on the byte sequence if its size was 1. This was causing problems with `bsst-assume` tests, but likely that this could have caused problems elsewhere, too
 
 * Fixes in parser: quotes within quotes were allowed, but should not; angle brackets were sometimes not ignored