summaryrefslogtreecommitdiffstats
path: root/ChangeLog
diff options
context:
space:
mode:
authorIsmael Luceno2019-08-20 20:29:32 +0200
committerIsmael Luceno2019-08-20 21:19:28 +0200
commit854c75b0ba4dc27f77af57fcc860388b802818ed (patch)
tree91d8d4d3b5c4e3154bf000a7ef3469390e93cadf /ChangeLog
parentc4483e65511909beb496ab8690584729e44da2d8 (diff)
cil: new spell, C Intermediate Language
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog1
1 files changed, 1 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 18063c31c9..b666d2b3db 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,7 @@
2019-08-20 Ismael Luceno <ismael@sourcemage.org>
* devel/z3: new spell, The Z3 Theorem Prover
* devel/ocamlbuild: new spell, generic build tool
+ * devel/cil: new spell, C Intermediate Language
2019-08-17 Vlad Glagolev <stealth@sourcemage.org>
* utils/perf: new spell, Linux performance analyzing tool