summaryrefslogtreecommitdiffstats
path: root/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog3
1 files changed, 3 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index dc0bdd10c8..bfd6dc6a5a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2019-08-20 Ismael Luceno <ismael@sourcemage.org>
+ * devel/z3: new spell, The Z3 Theorem Prover
+
2019-08-17 Vlad Glagolev <stealth@sourcemage.org>
* utils/perf: new spell, Linux performance analyzing tool