October 2006 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.templates.hh
by Elena Mazzi 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-03 15:35:49 Modified files: src : BD_Shape.templates.hh Log message: The method BD_Shape::is_disjoint_from(y) is now implemented without using a copy of a BD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl src/Octagonal_Shape.inlines.hh src/Octagon ...
by Barbara Quartieri 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-03 14:25:01 Modified files: src : Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: discrete1.cc Log message: Defined the method is_discrete() and moved it from the file Octagonal_Shape.templates.hh to the file Octagonal_Shape.inlines.hh. Added some tests about it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/discret… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/src BD_Shape.inlines.hh BD_Shape.templates.hh
by Elena Mazzi 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-03 14:02:40 Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Moved the method BD_Shape::is_discrete() from file `BD_Shape.templates.hh' to `BD_Shape.inlines.hh'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog/XSB ppl_interface_genera ...
by Patricia Hill 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-03 13:25:57 Modified files: interfaces/Prolog/XSB: ppl_interface_generator_xsb_H.m4 Log message: Bug in code generator for XSB corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl src/BD_Shape.templates.hh tests/BD_Shape/M ...
by Elena Mazzi 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-03 13:04:01 Modified files: src : BD_Shape.templates.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : discrete1.cc Log message: Defined the method BD_Shape::is_discrete() and added some tests on this method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/discrete1.cc?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 11:49:26 Modified files: src : MIP_Problem.cc Log message: In a MIP_Problem, if we exit with status UNBOUNDED and we have found a feasible generator, store it in `last_generator'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/tests/Grid certificate1.cc congruence1.cc ...
by Roberto Bagnara 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-03 11:01:22 Modified files: tests/Grid : certificate1.cc congruence1.cc discrete1.cc Log message: Awful syntax avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc.diff?…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
by Roberto Bagnara 03 Oct '06

03 Oct '06

1 0

ppl/interfaces/Prolog/tests Makefile.am ppl_in ...
by Patricia Hill 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-03 09:04:31 Modified files: interfaces/Prolog/tests: Makefile.am ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Added files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_extra_code Log message: The extra test code moved to a separate "extra_code" file. Before the m4_include for this file, the quote characters are changed to @<<@ and @>>@ and then restored back to the original ` and ' after the include. This allows the inclusion of quote characters in the Prolog code in the "extra_code" file. Makefile.am modified so that in the interfaces/Prolog/tests directory "make" creates the Prolog test program "ppl_predicate_check.pl". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh
by Andrea Cimino 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 00:20:04 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Performance of the heuristic method improved: an equality constraint is an `active constraint' by definition. 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/src/MIP_Problem.defs.hh.diff?…

1 0