diff options
| author | Ismael Luceno | 2019-08-20 20:02:33 +0200 |
|---|---|---|
| committer | Ismael Luceno | 2019-08-20 21:19:28 +0200 |
| commit | 33fb668917b5498dfe2528e98c59f69ec19654e4 (patch) | |
| tree | 7be670037b063b91bb86a1388307d9513f316913 /ChangeLog | |
| parent | 5441f4885345dcbdd922b14a6c4216a98ca7d2a8 (diff) | |
z3: new spell, The Z3 Theorem Prover
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 |