November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Interval.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 15:12:43 Modified files: src : Interval.defs.hh Log message: Added OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src checked.defs.hh checked_ext.inlines.hh ...
by Abramo Bagnara 05 Nov '06

05 Nov '06

1 0

ppl TODO
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 15:09:35 Modified files: . : TODO Log message: Note that in the OK() methods, instead of having all those #ifndef NDEBUG, it is probably worthwhile to use a suitable defined `barf' stream that does the right thing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20…

1 0

ppl TODO
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 15:06:35 Modified files: . : TODO Log message: Remember to add a "quick assign" function to checked numbers that allows to efficiently assign small integer constants (like those in the range [-2, 2]) that are guaranteed not to cause any rounding or overflow problems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.19…

1 0

ppl/src Box.defs.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 14:42:16 Modified files: src : Box.defs.hh Log message: Added declarations for the standard member functions that may modify the dimension of the vector space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/tests/Box .cvsignore Makefile.am addconstr ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

1 0

ppl/tests/Octagonal_Shape Makefile.am maxspace ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 14:09:19 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: maxspacedim1.cc Removed files: tests/Octagonal_Shape: maxspacedim.cc Log message: Renamed maxspacedim.cc to maxspacedim1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/maxspac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/maxspac…

1 0

ppl/tests/BD_Shape Makefile.am maxspacedim1.cc ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 14:08:33 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : maxspacedim1.cc Removed files: tests/BD_Shape : maxspacedim.cc Log message: Renamed maxspacedim.cc to maxspacedim1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim.cc…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 14:03:33 Modified files: src : BD_Shape.defs.hh Log message: Missing blanks added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/tests/Box
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 13:55:11 ppl/tests/Box Update of /cvs/ppl/ppl/tests/Box In directory spartacus.cs.unipr.it:/tmp/cvs-serv24543/Box Log Message: Directory /cvs/ppl/ppl/tests/Box added to the repository --> Using per-directory sticky tag `altnum'

1 0