[sv-ac] New version of 2005 (deferred assertions) ready for review

From: Seligman, Erik <erik.seligman_at_.....>
Date: Tue Nov 27 2007 - 10:44:06 PST

I have posted it in Mantis, and also attach here for your convenience.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

application/octet-stream attachment: assertdefer071126es.pdf

Received on Tue Nov 27 10:48:31 2007

This message: [ Message body ]
Next message: Neil Korpusik: "Re: [sv-ac] revised notes from SV-AC meeting 2007-11-20"
Previous message: Seligman, Erik: "[sv-ac] New version of 1995 (concurrent asserts in loops) ready for review"
In reply to: Seligman, Erik: "[sv-ac] New version of 1995 (concurrent asserts in loops) ready for review"
Next in thread: Bresticker, Shalom: "RE: [sv-ac] New version of 1995 (concurrent asserts in loops) ready for review"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Nov 27 2007 - 10:48:49 PST