November 2006 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.defs.hh Octagonal_Shape.defs.hh
by Enea Zaffanella 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-13 12:02:06 Modified files: src : BD_Shape.defs.hh Octagonal_Shape.defs.hh Log message: Modified the documentation of concatenate_assign() to link to the general description of the concatenation operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-13 09:08:47 Modified files: src : Boundary.defs.hh Log message: Fixed typo. Implemented set_unbounded() correctly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src compiler.hh
by Abramo Bagnara 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-13 09:07:50 Modified files: src : compiler.hh Log message: Now COMPILE_TIME_CHECK() works as expected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl/src Makefile.am mp_numeric_limits.hh mp_nu ...
by Roberto Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-12 20:40:06 Modified files: src : Makefile.am mp_numeric_limits.hh Added files: src : mp_numeric_limits.cc Log message: Define the static constants declared in mp_numeric_limits.hh, as mandated by Section 9.4.2/4 of the C++ standard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff…

1 0

ppl/interfaces/Java jni/ppl_java_C_Polyhedron. ...
by Andrea Cimino 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-12 16:32:08 Modified files: interfaces/Java/jni: ppl_java_C_Polyhedron.cc ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: C_Polyhedron.java Grid_Generator.java Grid_Generator_System.java Makefile.am Added files: interfaces/Java/ppl_java: Grid_Generator_Type.java Log message: Added support for Grid_Generator and Grid_Generator_System. Added other constructors to C_Polyhedron. Renamed routine methods for consistency. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/C_Po… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh Rati ...
by Abramo Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-12 16:21:40 Modified files: src : Boundary.defs.hh Interval.defs.hh Rational_Box.hh Log message: Compilation fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0

ppl/src Checked_Number.defs.hh Rational_Box.hh ...
by Abramo Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-12 15:48:43 Modified files: src : Checked_Number.defs.hh Rational_Box.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh compiler.hh Log message: Renamed const_bool and const_int. Patches: 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/Rational_Box.hh.diff?cvsr… 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_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-12 15:48:19 Modified files: src : checked_float.inlines.hh Log message: is_inf_float return value is now more useful. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

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

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-12 15:47:04 Modified files: src : Interval.defs.hh Interval_Info.defs.hh Boundary.defs.hh Log message: Commited incomplete new boundary implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… 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/Boundary.defs.hh.diff?cvs…

1 0

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-12 15:08:19 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0