diff options
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |