August 2005 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac src/checked_float.inlines.hh
by Roberto Bagnara 27 Aug '05

27 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-27 10:56:52 Modified files: . : configure.ac src : checked_float.inlines.hh Log message: Check for the declaration of long double rintl(long double x): rintl() is not provided on systems that do not have proper long doubles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl configure.ac
by Roberto Bagnara 26 Aug '05

26 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-26 11:47:58 Modified files: . : configure.ac Log message: Comment restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src checked.defs.hh checked_ext.inlines.hh ...
by Abramo Bagnara 26 Aug '05

26 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-08-26 10:04:50 Modified files: src : checked.defs.hh checked_ext.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Finer grain for policy. New special values functions. Use assertions when policy does not request checks. Patches: 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_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… 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_mpq.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.inlines.hh
by Abramo Bagnara 26 Aug '05

26 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-08-26 10:02:48 Modified files: src : Checked_Number.inlines.hh Log message: Added special values funcions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Checked_Number.defs.hh
by Abramo Bagnara 26 Aug '05

26 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-08-26 10:01:55 Modified files: src : Checked_Number.defs.hh Log message: Finer grain for policy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl src/Makefile.am tests/BD_Shape/maxspacedim ...
by Roberto Bagnara 25 Aug '05

25 Aug '05

1 0

ppl/tests/Grid Makefile.am limitedextrapolatio ...
by Matthew Mundell 25 Aug '05

25 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-25 18:37:21 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : limitedextrapolation1.cc Log message: Add limitedextrapolation1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid widening1.cc
by Matthew Mundell 25 Aug '05

25 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-25 18:36:01 Modified files: tests/Grid : widening1.cc Log message: Add congruences to the correct grid in test5. Improve a comment. Use a definition for the token count in test10. Take out the old test invocations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?…

1 0

ppl/tests/Grid relations2.cc
by Matthew Mundell 25 Aug '05

25 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-25 18:30:43 Modified files: tests/Grid : relations2.cc Log message: Add test9, in which a grid with a line strictly intersects a relational congruence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff…

1 0

ppl/src Grid_widenings.cc Grid.defs.hh
by Matthew Mundell 25 Aug '05

25 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-25 18:19:09 Modified files: src : Grid_widenings.cc Grid.defs.hh Log message: Add method limited_extrapolation_assign. Improve the description of dim_kinds. Rename the congruence parameter in the relation_with declaration to cg. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0