[Tinyos Core WG] safe tinyos links

[John Regehr]

   Safe 2.0.2 tree:

http://www.cs.utah.edu/~regehr/safe-tinyos-2.0.2/tinyos-2.x/

   Interface requiring lots of annotations:
 
http://www.cs.utah.edu/~regehr/safe-tinyos-2.0.2/tinyos-2.x/tos/interfaces/Receive.nc

   Interface requiring a more typical number of annotations:

http://www.cs.utah.edu/~regehr/safe-tinyos-2.0.2/tinyos-2.x/tos/interfaces/Queue.nc

John