[xtc-announce] xtc 1.15.0

Robert Grimm rgrimm at cs.nyu.edu
Mon Jun 14 10:09:48 EDT 2010

It is my pleasure to announce xtc version 1.15.0. Thank to Byeong Lee, this release adds Jinn, a dynamic bug detector for the Java Native Interface (JNI).

Enjoy at http://cs.nyu.edu/rgrimm/xtc/.


More information about the xtc-announce mailing list