[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/.

Robert




More information about the xtc-announce mailing list