[sv-ec] Errata for Monday's meeting

Subject: [sv-ec] Errata for Monday's meeting
From: David W. Smith (David.Smith@synopsys.com)
Date: Sat Dec 13 2003 - 18:02:15 PST

• Next message: Michael Burns: "Re: [sv-ec] Can an ordering constraint cause the solver to fail ?"
• Previous message: Brad Pierce: "[sv-ec] PROPOSAL for ERR-47 (BNF)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Greetings,

Based on the last 3 errata proposals being submitted we will add them to the
agenda on Monday. The last three are:

ERR-8:

ERR-47:

ERR-58:

In addition ERR-62 was revised today.

So, in the meeting on Monday we will try and review/close all open errata
items.

Regards

David

• Next message: Michael Burns: "Re: [sv-ec] Can an ordering constraint cause the solver to fail ?"
• Previous message: Brad Pierce: "[sv-ec] PROPOSAL for ERR-47 (BNF)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sat Dec 13 2003 - 18:04:38 PST