From 774f64b778650581ab0ac4d87d0efb9a6a391b5a Mon Sep 17 00:00:00 2001 From: Per Lindgren <per.lindgren@ltu.se> Date: Mon, 14 Dec 2020 16:01:30 +0100 Subject: [PATCH] changelog --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2e6395b..7669953 100644 --- a/CHANGELOG.md +++ b/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. -- GitLab