November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog_common.icc te ...
by Patricia Hill 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-23 10:42:12 Modified files: interfaces/Prolog: ppl_prolog_common.icc interfaces/Prolog/tests: pl_check.pl Log message: Renamed get_linear_expression() to get_homogeneous_expression() as this ignored the inhomogeneous part (needed when getting the objective function for an MIP_Problem). Added get_linear_expression() although tests show a bug in this. Extended the test predicate mip_get.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Andrea Cimino 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-23 09:51:59 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: Removed an unused variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces Makefile.am
by Roberto Bagnara 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-22 20:24:54 Modified files: interfaces : Makefile.am Log message: Java interface enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Andrea Cimino 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-22 18:27:15 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_globals.cc interfaces/Java/ppl_java: MIP_Problem.java Log message: Fixed some constructors of Polyhedron. Added the method `constraints()' to the Java version of MIP_Problem. 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_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_…

1 0

ppl/src checked_float.inlines.hh checked_int.i ...
by Abramo Bagnara 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-22 15:44:05 Modified files: src : checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Make wider use of assign_exact. Fixed floor, ceil, trunc for int. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-22 15:42:33 Modified files: src : checked.inlines.hh Log message: Cleaned Safe_Comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Andrea Cimino 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-22 13:49:58 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Some small changes to let the generated test be more readable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl src/Checked_Number.defs.hh src/Checked_Num ...
by Abramo Bagnara 22 Nov '06

22 Nov '06

1 0

ppl src/Checked_Number.defs.hh src/checked.def ...
by Abramo Bagnara 22 Nov '06

22 Nov '06

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Andrea Cimino 22 Nov '06

22 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-22 11:57:09 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Fixed some small bugs in the Java interface. Extended the generated test. 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/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0