[PPL-devel] narrowing and Java bindings
bagnara at cs.unipr.it
Mon Feb 13 17:46:29 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?
A PPL snapshot correcting the problem you noticed (plus a number
of other minor issues) is available at
Please try it out and let us know how it goes.
Thanks again for the report.
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel