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