[Tinyos-help] Ivy (Deputy successor) 1.0 now available...

[David Gay]

[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