Hi all, Our top priority items are * LTL (1932) - Effort estimation ~1 month (Everywhere effort estimation means remaining effort estimation) * Checkers (1900) - ~2 months * Solution for glitch problem (2005) - Remaining effort estimation ~2.5. months * Allow concurrent assertions in for loops (1995) ~ 2 weeks Other important items * Boolean implication and equivalence (1758) ~ 2 weeks * Define formal semantics for cover statement (I am not sure there is an exact Mantis item) ~2 months I am not listing here items under voting or close to the voting. Thanks, Dmitry --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Sep 19 07:53:26 2007
This archive was generated by hypermail 2.1.8 : Wed Sep 19 2007 - 07:53:38 PDT