November 2004 - PPL-devel - BUGSENG Mailman

ppl/src Checked_Number.inlines.hh checked.defs ...
by Abramo Bagnara 07 Nov '04

07 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-11-07 11:09:30 Modified files: src : Checked_Number.inlines.hh checked.defs.hh checked.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Added support for I/O specialization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… 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/demos/ppl_lpsol Makefile.am expected
by Roberto Bagnara 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-06 21:57:20 Modified files: demos/ppl_lpsol: Makefile.am Removed files: demos/ppl_lpsol: expected Log message: The `expected' file is now obsolete. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected.diff…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-06 18:24:53 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Distribute all the expected* files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl configure.ac
by Roberto Bagnara 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-06 17:29:58 Modified files: . : configure.ac Log message: Bumped version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl NEWS
by Roberto Bagnara 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-06 15:17:29 Modified files: . : NEWS Log message: Mention the bug fixed in Polyhedron::map_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12…

1 0

ppl src/Linear_System.inlines.hh tests/Makefil ...
by Roberto Bagnara 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-06 15:10:53 Modified files: src : Linear_System.inlines.hh tests : Makefile.am Added files: tests : mapspacedims4.cc Log message: After the permutation of columns, a linear system must be sign-normalized. The new test program mapspacedims4 shows this phenomenon. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims4.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Linear_System.defs.hh Linear_System.cc
by Roberto Bagnara 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-06 14:50:51 Modified files: src : Linear_System.defs.hh Linear_System.cc Log message: New method Linear_System::sign_normalize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
by Enea Zaffanella 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-06 12:00:23 Modified files: demos/ppl_lpsol: Makefile.am Added files: demos/ppl_lpsol: expected_int16 expected_int32 expected_int64 expected_int8 expected_mpz Log message: Added expected results for the various coeffcient types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl src/C_Polyhedron.defs.hh src/NNC_Polyhedro ...
by Enea Zaffanella 06 Nov '04

06 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-06 10:51:42 Modified files: src : C_Polyhedron.defs.hh NNC_Polyhedron.defs.hh . : TODO Log message: Documented the std::length exceptions that can be thrown by constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.11…

1 0

ppl/demos Makefile.am
by Roberto Bagnara 04 Nov '04

04 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-04 13:12:18 Modified files: demos : Makefile.am Log message: Re-add `ppl_lpsol' to `SUBDIRS'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/Makefile.am.diff?cvsroo…

1 0