[I'm posting this announcement here as TinyOS 2.1 uses the Deputy C extensions to bring safety to TinyOS. Future versions of safe TinyOS should be switching to Ivy, and some of you might be interested in using Ivy standalone...]
The first release of the Ivy, a compiler for an extended dialect of C which incorporates our Deputy (type-safety), HeapSafe (memory-management safety) and SharC (sharing safety for threaded code) extensions, is now available from http://ivy.cs.berkeley.edu/ivywiki/index.php/Main/Ivy ! Each of these three C extensions can be used independently or in any combination. The platforms supported by this release are Linux and Mac OS X; pre-compiled packages are available for x86 Ubuntu and Fedora 9. For discussions/questions/bug reports on Ivy, please use the existing Deputy mailing list at http://hal.cs.berkeley.edu/cgi-bin/mailman/listinfo/deputy. -- David Gay, for the Ivy team _______________________________________________ Tinyos-help mailing list [email protected] https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
