September 2008 - PPL-devel - BUGSENG Mailman

ppl/src DB_Matrix.templates.hh OR_Matrix.templ ...
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 09:51:41 Modified files: src : DB_Matrix.templates.hh OR_Matrix.templates.hh Log message: Two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.templates.hh.di…

1 0

ppl/src Interval_Info.defs.hh Interval_Restric ...
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 09:50:07 Modified files: src : Interval_Info.defs.hh Interval_Restriction.defs.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs…

1 0

ppl/tests/Box ascii_dump_load1.cc refinewithco ...
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 08:44:03 Modified files: tests/Box : ascii_dump_load1.cc refinewithconstraints2.cc Log message: Corrected test04 of ascii_dump_load1.cc. Temporarily disabled test02 of refinewithconstraints2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain…

1 0

ppl/src Checked_Number.templates.hh
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 00:25:55 Modified files: src : Checked_Number.templates.hh Log message: Avoid assertions in the ascii_load method: return false instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.templates.…

1 0

ppl/src Interval.inlines.hh
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 00:13:10 Modified files: src : Interval.inlines.hh Log message: Interval's ascii_dump/load methods are now based on corresponding functions for the boundary datatype. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Checked_Number.defs.hh Makefile.am Che ...
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 00:11:27 Modified files: src : Checked_Number.defs.hh Makefile.am Added files: src : Checked_Number.templates.hh Log message: Drafted ascii_dump/load functions for native and checked numbers: inexact numbers dump both hexadecimal and pretty printed representations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src ppl_header.hh
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 22:39:50 Modified files: src : ppl_header.hh Log message: Corrected the handling of __STDC_LIMIT_MACROS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroo…

1 0

ppl/src Pointset_Powerset.cc
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 22:36:25 Modified files: src : Pointset_Powerset.cc Log message: Changed #if to #ifdef. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 21:39:13 Modified files: src : Polyhedron.defs.hh Log message: Little improvement to a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-03 20:43:16 Modified files: src : Polyhedron.defs.hh Log message: Dealt with a couple of FIXME's related to documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0