October 2007 - PPL-devel - BUGSENG Mailman

ppl README.configure TODO
by Roberto Bagnara 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-06 21:21:27 Modified files: . : README.configure TODO Log message: Mentioned that the mechanisms to specify additional compilation flags may be used to request extra optimizations. Corresponding to-do item removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-10-06 15:03:38 Modified files: src : checked_float.inlines.hh Log message: Replaced volatile with avoid_cse. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl README.configure
by Roberto Bagnara 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-06 12:13:13 Modified files: . : README.configure Log message: Revised the example with the Intel C/C++ compiler. Other minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/interfaces/Prolog/SWI swi_cfli.hh
by Roberto Bagnara 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-06 10:33:20 Modified files: interfaces/Prolog/SWI: swi_cfli.hh Log message: Unwanted change undone. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl…

1 0

ppl/interfaces/Prolog Ciao/ciao_cfli.hh GNU/gp ...
by Roberto Bagnara 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-06 10:01:02 Modified files: interfaces/Prolog/Ciao: ciao_cfli.hh interfaces/Prolog/GNU: gprolog_cfli.hh interfaces/Prolog/SICStus: sicstus_cfli.ic interfaces/Prolog/SWI: swi_cfli.hh interfaces/Prolog/XSB: xsb_cfli.hh interfaces/Prolog/YAP: yap_cfli.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl…

1 0

ppl/src Interval_Restriction.defs.hh
by Abramo Bagnara 05 Oct '07

05 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-10-05 18:43:46 Modified files: src : Interval_Restriction.defs.hh Log message: Avoid naming unused parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs…

1 0

ppl/src Grid_simplify.cc
by Abramo Bagnara 05 Oct '07

05 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-10-05 18:35:12 Modified files: src : Grid_simplify.cc Log message: Fixed gcdext_assign call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Box.defs.hh
by Roberto Bagnara 05 Oct '07

05 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-05 18:16:01 Modified files: src : Box.defs.hh Log message: Work around bug of the Intel compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/src Interval_Restriction.defs.hh checked_i ...
by Roberto Bagnara 05 Oct '07

05 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-05 14:39:46 Modified files: src : Interval_Restriction.defs.hh checked_int.inlines.hh checked_mpz.inlines.hh Log message: Avoid naming unused parameters. Avoid long source lines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs… 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/checked_mpz.inlines.hh.di…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 05 Oct '07

05 Oct '07

1 0