September 2005 - PPL-devel - BUGSENG Mailman

ppl/tests Random_Number_Generator.defs.hh Rand ...
by Abramo Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-24 22:22:52 Added files: tests : Random_Number_Generator.defs.hh Random_Number_Generator.inlines.hh Random_Number_Generator.types.hh Log message: Added random number generator class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator…

1 0

ppl/src checked_numeric_limits.hh
by Roberto Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-24 21:28:40 Modified files: src : checked_numeric_limits.hh Log message: Class numeric_limits<Checked_Number<mp_class, Policy> now inherits from numeric_limits<mp_class> and ovverrides what must be overridden. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0

ppl/src Makefile.am mp_numeric_limits.hh
by Roberto Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-24 21:27:04 Modified files: src : Makefile.am Added files: src : mp_numeric_limits.hh Log message: New file mp_numeric_limits.hh contains specializations of std::numeric_limits for multi-precision types. This will become obsolete when GMP and MPFR will provide the specializations by themselves. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc GNU/ppl ...
by Abramo Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-24 21:25:44 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Include higher level file for Checked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.cc interfaces/C/pp ...
by Abramo Bagnara 24 Sep '05

24 Sep '05

1 0

ppl/src Checked_Number.types.hh Coefficient.ty ...
by Roberto Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-24 09:58:29 Modified files: src : Checked_Number.types.hh Coefficient.types.hh Log message: Specializations of Coefficient_traits_template moved out from Checked_Number.types.hh, since they do not belong there. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.types.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff…

1 0

ppl/src Polyhedron_chdims.cc Polyhedron_public ...
by Roberto Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-24 09:56:35 Modified files: src : Polyhedron_chdims.cc Polyhedron_public.cc Polyhedron_widenings.cc Log message: FIXMEs that do not involve anything that can be considered broken have been retagged TODOs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-24 08:16:54 Modified files: tests/Polyhedron: Makefile.am Log message: Take into account the restructuring of the PWL tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...
by Roberto Bagnara 23 Sep '05

23 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-23 22:06:18 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Changed according to the restructuring of the PWL source tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/Watchdog .cvsignore
by Roberto Bagnara 23 Sep '05

23 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-23 22:04:31 Modified files: Watchdog : .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/.cvsignore.diff?cvsr…

1 0