December 2004 - PPL-devel - BUGSENG Mailman

ppl/src Makefile.am
by Roberto Bagnara 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-17 16:47:20 Modified files: src : Makefile.am Log message: Do not mention DB_Row.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl ./NEWS interfaces/Prolog/Prolog_interface.dox
by Patricia Hill 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-17 12:38:06 Modified files: . : NEWS interfaces/Prolog: Prolog_interface.dox Log message: As it is not in standard Prolog, the unary "+" is not supported in the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl TODO
by Enea Zaffanella 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-16 19:24:10 Modified files: . : TODO Log message: Dealt with one item of the list. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.12…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 19:24:01 Modified files: interfaces/C : ppl_c.cc Log message: Fixed a problem whereby ppl_set_error_handler() could have (depending on the compiler employed) C++ linkage instead of C linkage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 19:03:11 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Define a dummy set_GMP_memory_allocation_functions(), if the C++ compiler does not support __attribute__((weak)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl ./configure.ac demos/ppl_lcdd/ppl_lcdd.cc
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 18:56:07 Modified files: . : configure.ac demos/ppl_lcdd : ppl_lcdd.cc Log message: Do not use C++-style comments in config.h. 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/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 18:24:26 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Unused variable `a_throw' removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl ./configure.ac src/Coefficient.types.hh sr ...
by Roberto Bagnara 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-16 18:16:12 Modified files: . : configure.ac src : Coefficient.types.hh ppl_header.middle Log message: Problem with Comeau C/C++ and the definition of `int64_t' solved in a better way. Always link with the `libm' library. 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/src/Coefficient.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cv…

1 0

ppl/tests addgenerator1.cc addgenerator2.cc
by Enea Zaffanella 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-16 14:58:43 Modified files: tests : addgenerator1.cc addgenerator2.cc Log message: Tests corrected: they were just calling generators(), yet relying on the fact that a non-redundant description would have been obtained. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator2.cc.diff?c…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 16 Dec '04

16 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-16 14:55:09 Modified files: src : Polyhedron_public.cc Log message: Added a preprocessing flag to control whether we insist on returning sorted descriptions. Currently the flag is unset and we only order the generator systems of NNC polyhedra, if these are known to be in minimal form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0