narrowing and Java bindings
Hi all, 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?
Thanks, --gianluca
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
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.
A PPL snapshot correcting the problem you noticed (plus a number of other minor issues) is available at
http://bugseng.com/products/ppl/download/ftp/snapshots/
Please try it out and let us know how it goes. Thanks again for the report. Cheers,
Roberto
On 02/13/2012 05:46 PM, Roberto Bagnara wrote:
Hi Gianluca.
A PPL snapshot correcting the problem you noticed (plus a number of other minor issues) is available at
I downloaded the git repository as soon as I saw Pat's mail announcing the fix :-)
It works!
Thanks for the fast response!
Cheers,
--gianluca
participants (2)
-
Gianluca Amato -
Roberto Bagnara