[sv-ec]

From: Rich, Dave <Dave_Rich_at_.....>
Date: Thu Jan 18 2007 - 22:00:21 PST
Mehdi,

 

I have the following mantis items with proposals that are ready to be
voted on. Can you please put these on the next agenda?

 

 

 

0001336 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001336>
5
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001336&nbn=5#bug
notes>  SV-EC major assigned (daver) 12-04-06 Rules for allowed
statements in a function

0001371 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001371>
1
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001371&nbn=1#bug
notes>  SV-EC trivial assigned (daver) 12-04-06 Semantic of program
block $exit

0001384 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001384>
1
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001384&nbn=1#bug
notes>  SV-EC minor assigned (daver) 01-04-07 bit stream cast and
pack/unpack for protected./local members

0001500 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001500>
2
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001500&nbn=2#bug
notes>  SV-EC minor assigned (daver) 09-11-06 Forward typedef of a class
is only to declare instances of that type

0001556 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001556>
2
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001556&nbn=2#bug
notes>  SV-EC feature assigned (daver) 11-30-06 in-line static variable
initialization - require keyword static?

0001580 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001580>
SV-EC minor assigned (daver) 09-04-06 Access to interface objects via
virtual interface

0001707 <http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001707>
5
<http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001707&nbn=5#bug
notes>  SV-EC feature assigned (daver) 01-09-07 streaming operator
should specify which direction slices are taken from

 

Thanks,

 

Dave

 

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Jan 18 22:00:42 2007

This archive was generated by hypermail 2.1.8 : Thu Jan 18 2007 - 22:00:47 PST