February 2006 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 13:01:35 Modified files: . : configure.ac Log message: On Alpha chips, support for controlled rounding is only available if code is compiled to use dynamic rounding (/d) instructions. With GCC this can be achieved with the `-mfp-rounding-mode=d' compiler options; other compilers are said to require the `-fprm d' option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src fpu.defs.hh
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 12:03:02 Modified files: src : fpu.defs.hh Log message: Use more standard macros to implement the switch on the architecture. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=…

1 0

ppl Watchdog/src/Makefile.am src/Makefile.am
by Roberto Bagnara 18 Feb '06

18 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-18 07:24:46 Modified files: Watchdog/src : Makefile.am src : Makefile.am Log message: Do not distribute ppl_include_files.hh and pwl_include_files.hh. Now ppl.hh and pwl.hh installation can be completely delegated to Automake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src float.types.hh
by Roberto Bagnara 17 Feb '06

17 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-17 21:43:17 Modified files: src : float.types.hh Log message: Fixed nested #if's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsro…

1 0

ppl/tests print.cc print.hh
by Roberto Bagnara 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-15 17:52:27 Modified files: tests : print.cc print.hh Log message: Added print_congruences(const Congruence_System&, const string&, ostream&) and print_congruences(const Grid&, const string&, ostream&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/tests/BD_Shape maxspacedim.cc
by Roberto Bagnara 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-15 15:44:42 Modified files: tests/BD_Shape : maxspacedim.cc Log message: Trailing blanks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim.cc…

1 0

ppl/tests/BD_Shape Makefile.am addconstraints1 ...
by Roberto Bagnara 15 Feb '06

15 Feb '06

1 0

ppl/tests/BD_Shape Makefile.am generalizedaffi ...
by Roberto Bagnara 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-15 15:01:07 Modified files: tests/BD_Shape : Makefile.am generalizedaffineimage1.cc generalizedaffineimage2.cc Removed files: tests/BD_Shape : generalizedaffineimage3.cc Log message: All the tests for BD_Shape::generalized_affine_preimage() are now in generalizedaffineimage1.cc and generalizedaffineimage2.cc. Patches: 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/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests/BD_Shape addspacedims2.cc
by Roberto Bagnara 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-15 14:21:25 Removed files: tests/BD_Shape : addspacedims2.cc Log message: This is no longer necessary (all its tests are now in addspacedims1.cc). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addspacedims2.…

1 0

ppl/tests/BD_Shape run_tests
by Roberto Bagnara 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-15 14:15:38 Modified files: tests/BD_Shape : run_tests Log message: Test also with long doubles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0