November 2006 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] PPL and integer programming
by Roberto Bagnara 16 Nov '06

16 Nov '06

Andy Moser wrote: > Thanks a lot for providing the snapshot! We had no problems whatsoever > using the new version. The only small bug that occurred was that when we > called is_feasible() or solve() on an empty instance (e.g., no > variables, no constraints) of an MIP_Problem class, we got the following > error: > > what(): PPL::Variable::Variable(i): > i exceeds the maximum allowed variable identifier. Dear Andy, thanks for the report: the bug is already fixed in CVS. > Apart from that, everything worked really well and we could finish our > application and the paper. If you are interested in the results, I > attached a copy for you. I will read it with interest, thanks. > Thanks again for your cooperation! Glad to be useful! All the best, Roberto on behalf of the PPL team -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Java Makefile.am ppl_java/Makef ...
by Roberto Bagnara 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-16 16:31:35 Modified files: interfaces/Java: Makefile.am interfaces/Java/ppl_java: Makefile.am Log message: Ensure ppl_java.jar has the right structure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 14:35:12 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 Log message: Corrected c++ name to interface name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 14:31:46 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 Log message: Changed specific "Polyhedron" etc to schematic class name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java Makefile.am ppl_java/Makef ...
by Roberto Bagnara 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-16 14:19:30 Modified files: interfaces/Java: Makefile.am interfaces/Java/ppl_java: Makefile.am Log message: Machinery to build the Java interface revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl src/MIP_Problem.cc tests/MIP_Problem/mippr ...
by Andrea Cimino 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-16 14:04:54 Modified files: src : MIP_Problem.cc tests/MIP_Problem: mipproblem1.cc Log message: Fixed MIP_Problem when it has to deal with zero-dimensional problems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1…

1 0

ppl/interfaces/Java/jni Makefile.am ppl_interf ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 12:02:33 Modified files: interfaces/Java/jni: Makefile.am ppl_interface_generator_java_ppl_java_classes_cc.m4 Log message: Enabled the splitting of the generated code for the ".cc". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 11:45:03 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc.m4 ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 Log message: Corrected the preamble for the ".cc" generated files. Redundant space removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Roberto Bagnara 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-16 11:34:40 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: Use TAB as separator in make rules. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl ./configure.ac interfaces/Java/ppl_java/Ma ...
by Roberto Bagnara 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-16 11:32:57 Modified files: . : configure.ac interfaces/Java/ppl_java: Makefile.am Log message: Added a mechanism to build the automatically generated Java sources. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0