[PPL-devel] bug in Java minimized_constraints for 32bit Linux System

[Gianluca Amato]

On 10/09/2013 11:14, Roberto Bagnara wrote:
> On 09/06/13 22:37, Gianluca Amato wrote:
>> I found a problem using the Java bindings of the PPL 1.1pre10 on a 32bit Intel Linux systems. The program Y.java, which correctly works on 64bit systems, fails with the following error:
>>
>> Exception in thread "main" javax.management.RuntimeErrorException
>>      at parma_polyhedra_library.Variable.<init>(Variable.java:49)
>>      at parma_polyhedra_library.Polyhedron.minimized_constraints(Native Method)
>>      at Y.main(Y.java:16)
>> Caused by: java.lang.Error: parma_polyhedra_library.Variable::Variable: an index variable cannot be negative.
>>      ... 3 more
>>
>> I am attaching the source code of the example, and the PPL config.log for a 32bit and a 64bit system I tried.
> Hello Gianluca,
>
> thanks for the report.  PPL 1.1.pre12 has just been uploaded: please
> let us know whether it works for you.
> Cheers,
>

Hi Roberto,
thanks for the new snapshot. It works perfectly for me, in both 32 and 
64bit environments.

Bye,
--gianluca