13 Feb
2012
13 Feb
'12
12:06 p.m.
On 02/13/12 11:42, Gianluca Amato wrote:
I'm trying the Java bindings for PPL. It seems that some domains (namely boxes) miss the CC76_narrowing_assign method. Is it just an oversight, or there are more fundamental issues behind?
Hi Gianluca, it is an oversight. Stay tuned, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it