Hi Eduard, I just read the proposal. My first question is: Why do we need these operators? What type of problem are we solving? It appears that the only difference from "disable iff" is that the property evaluations will complete with a given value on a reset, rather than not completing. The second thought is that the rejecton and accepton names don't really describe their function too well. I had to read the first part of the proposal to figure out what these new operators were for. Tom Eduard Cerny wrote On 06/14/07 11:19,: > Hello, > > I have uploaded an updated version of the proposal, also attached here. > > best regards, > ed > -- ------------------ Thomas J. Thatcher Sun Microsystems 408-616-5589 ------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jun 14 14:59:50 2007
This archive was generated by hypermail 2.1.8 : Thu Jun 14 2007 - 15:00:08 PDT