January 2006 - PPL-devel - BUGSENG Mailman

ppl/src checked.inlines.hh
by Matthew Mundell 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-15 21:57:36 Modified files: src : checked.inlines.hh Log message: Update gcdext_exact to always return errors from functions abs and neg. Describe the COPY_GMP directive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl TODO
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 21:52:57 Modified files: . : TODO Log message: Powerset::meet_assign() will not be renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17…

1 0

ppl/src Checked_Number.defs.hh
by Roberto Bagnara 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-15 21:52:38 Modified files: src : Checked_Number.defs.hh Log message: Added several Doxygen comments and some vertical space. Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/src DB_Matrix.defs.hh
by Enea Zaffanella 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-15 20:11:40 Modified files: src : DB_Matrix.defs.hh Log message: Let ascii_load documentation show in the developers' manual only. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cv…

1 0

ppl/src BDS_Status.inlines.hh
by Enea Zaffanella 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-15 20:10:38 Modified files: src : BDS_Status.inlines.hh Log message: Fixed a \relates Doxygen command. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif…

1 0

ppl/src Grid_widenings.cc
by Matthew Mundell 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-15 18:48:35 Modified files: src : Grid_widenings.cc Log message: Only add the limiting congruences if widening will changes the grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/tests/Polyhedron Makefile.am affinepreimag ...
by Matthew Mundell 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-15 17:42:27 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: affinepreimage12.cc Log message: Add affinepreimage12, which tests the examples from definitions.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreima… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/doc README.doc
by Patricia Hill 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-15 16:54:40 Modified files: doc : README.doc Log message: Changed: "all you need is to find it" to "all you need to do is to find it". "to build." to "to be built." determined before"" to "already determined". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/src Checked_Number.defs.hh
by Matthew Mundell 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-15 16:53:48 Modified files: src : Checked_Number.defs.hh Log message: Change "proviso" to "provisos". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/doc README.doc
by Patricia Hill 15 Jan '06

15 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-15 16:45:38 Modified files: doc : README.doc Log message: Changed "willing" to "wishing". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0