October 2006 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol/examples ex11.mps
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 18:54:21 Modified files: demos/ppl_lpsol/examples: ex11.mps Log message: Modified for testing purposes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/examples/ex11…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
by Andrea Cimino 10 Oct '06

10 Oct '06

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-10 14:44:34 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Log message: Simplified the testing framework. 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/ppl_i…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 14:01:58 Modified files: tests/Polyhedron: variablesset1.cc Log message: Use the method empty() given by the STL instead of checking for a zero size. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 12:46:55 Modified files: tests/Polyhedron: variablesset1.cc Log message: Code cleaned. Added a FIXME concerning the operator==. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/tests/LP_Problem mipproblem1.cc
by Andrea Cimino 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-10 12:32:27 Modified files: tests/LP_Problem: mipproblem1.cc Log message: Added some test that check the MIP_Problem class. test_10() disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem1.…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-10 11:06:02 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_pl.m4 Log message: Avoid generating useless tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-10 09:59:01 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_systems.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_pl.m4 Log message: Comments and formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog/YAP Makefile.am yap_cfli.cc
by Roberto Bagnara 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-10 09:43:33 Modified files: interfaces/Prolog/YAP: Makefile.am Removed files: interfaces/Prolog/YAP: yap_cfli.cc Log message: Distribute yap_cfli.hh. Removed the obsolete yap_cfli.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 10 Oct '06

10 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-10 08:32:57 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Distribute also xsb_cfli.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0