[sv-ec] Updated EXT-12

Subject: [sv-ec] Updated EXT-12
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Dec 02 2003 - 02:01:29 PST

• Next message: Ryan, Ray: "[sv-ec] Can an ordering constraint cause the solver to fail ?"
• Previous message: Jonathan Bradford;Freiburg: "Re: [sv-ec] New errata - wildcard equality"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a new version of Extension-12 updated with the committee's comments
from today's meeting. All the changes are highlighted in blue.

    Arturo

• application/pdf attachment: bitstream.pdf

• Next message: Ryan, Ray: "[sv-ec] Can an ordering constraint cause the solver to fail ?"
• Previous message: Jonathan Bradford;Freiburg: "Re: [sv-ec] New errata - wildcard equality"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Dec 02 2003 - 12:48:11 PST