diff options
author | Ismael Luceno | 2019-08-20 20:29:32 +0200 |
---|---|---|
committer | Ismael Luceno | 2019-08-20 21:19:28 +0200 |
commit | 854c75b0ba4dc27f77af57fcc860388b802818ed (patch) | |
tree | 91d8d4d3b5c4e3154bf000a7ef3469390e93cadf /ChangeLog | |
parent | c4483e65511909beb496ab8690584729e44da2d8 (diff) |
cil: new spell, C Intermediate Language
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |