[xtc-announce] xtc 1.9.4 beta1

Robert Grimm rgrimm at cs.nyu.edu
Wed Nov 22 12:51:00 EST 2006

Just in time for Thanksgiving, I posted the beta 1 version of xtc  
1.9.4 at http://cs.nyu.edu/rgrimm/xtc/xtc-1.9.4-b1.zip.

This release focuses on Rats!. It improves the automatic deduction of  
semantic values, adds support for Java generic types as semantic  
values, and fixes a number of bugs.

Please put this beta through the ringer so that I can make the  
release soon.

Happy Turkey Day!


More information about the xtc-announce mailing list