diff options
author | Florian Franzmann | 2013-05-28 20:06:33 +0200 |
---|---|---|
committer | Florian Franzmann | 2013-05-28 20:06:33 +0200 |
commit | 52128b0847c3ec382c1f9574ded217325d6e2e95 (patch) | |
tree | ce4f2e6f62addbf99b48073cb54531f2bcd03f2f /ChangeLog | |
parent | 944aad79d318686b13004c5faeae8f323a815f2c (diff) |
devel/oclint: new spell, a static analyzer for C/C++/Objective C code
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,3 +1,6 @@ +2013-05-28 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * devel/oclint: new spell, a static analyzer for C/C++/Objective C code + 2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * devel/zarith: new spell, arbitrary precision integers for ocaml * devel/why: new spell, a software verification platform |