changelog

CHANGELOG.md

@@ -2,6 +2,12 @@
 
 Most recent changes:
 
+- 2020-12-14 Some clarifications:
+
+  - In `array.rs`, missing `not` in "(Hint, even if we don't use the result `b`, Rust do not optimize out the call, why?)"
+
+  - Small clarifications to other examples (see diff for details.)
+  
 - 2020-12-12 Update with `cyccnt` example.
 
 - 2020-12-08 Update `README.md` for Ubuntu (like) system with `z3` dependency.