January 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-03 15:48:35 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added documentation for the LP Problem predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl TODO
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 14:51:58 Modified files: . : TODO Log message: Removed a couple of items that have been dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.16…

1 0

ppl/demos/ppl_lpsol expected_int16 expected_in ...
by Enea Zaffanella 02 Jan '06

02 Jan '06

1 0

ppl/demos/ppl_lpsol Makefile.am
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 14:50:02 Modified files: demos/ppl_lpsol: Makefile.am Log message: Do explicitly use option -e when requiring the enumeration method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 14:48:57 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Let the option -e be working as expected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src checked.cc
by Roberto Bagnara 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-02 11:11:55 Modified files: src : checked.cc Log message: Function parse_number1() renamed parse_number_part(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

ppl/tests/Polyhedron exceptions2.cc
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 11:11:29 Modified files: tests/Polyhedron: exceptions2.cc Log message: Added tests for excericising the exceptions generated by LP_Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/exceptions2.…

1 0

ppl/src checked.cc
by Roberto Bagnara 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-02 11:10:26 Modified files: src : checked.cc Log message: Comments for parse_number() and parse_number1() revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

ppl/src Makefile.am
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 11:09:50 Modified files: src : Makefile.am Log message: Added globals.types.hh to the documentation files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src LP_Problem.defs.hh LP_Problem.cc
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 11:09:15 Modified files: src : LP_Problem.defs.hh LP_Problem.cc Log message: Added and implemented exception specification for evaluate_objective_function(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0