[PPL-devel] narrowing and Java bindings
Roberto Bagnara
bagnara at cs.unipr.it
Mon Feb 13 12:06:53 CET 2012
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 at cs.unipr.it
More information about the PPL-devel
mailing list