[Tinyos-2-commits] CVS: tinyos-2.x/tools/tinyos/safe tos-ramsize, 1.5, 1.6

[John Regehr]

Update of /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe
In directory ddv4jf1.ch3.sourceforge.com:/tmp/cvs-serv19143

Modified Files:
	tos-ramsize 
Log Message:
update todos

Index: tos-ramsize
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe/tos-ramsize,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** tos-ramsize	13 Apr 2009 22:15:52 -0000	1.5
--- tos-ramsize	14 Apr 2009 19:36:07 -0000	1.6
***************
*** 28,34 ****
  # TODO: 
  #
! # flesh out the man page
  #
! # make a page on the TinyOS wiki
  #
  # tighten results by keeping track of depths inside and out of
--- 28,41 ----
  # TODO: 
  #
! # support TOSThreads
  #
! # support msp430
! #
! # optionally don't do recursion checking
! #
! # make it possible to specify chips individually
! #
! # make it possible to explicitly specify which interrupts are atomic
! # or not
  #
  # tighten results by keeping track of depths inside and out of
***************
*** 41,45 ****
  # when no "ret" is executed
  #
! # test for tightness / soundness using randprog and Avrora
  #
  # read config info from a file
--- 48,52 ----
  # when no "ret" is executed
  #
! # test for tightness / soundness using randprog + Avrora
  #
  # read config info from a file
***************
*** 47,54 ****
  #   libc information
  #   recursion and interrupt info
- #
- # support TOSThreads
- #
- # support msp430
  
  ##########################################################################
--- 54,57 ----