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