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