April 2005 - PPL-devel - BUGSENG Mailman

ppl/src Linear_Row.cc
by Matthew Mundell 19 Apr '05

19 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-19 14:17:15 Modified files: src : Linear_Row.cc Log message: Note the virtual row in Flags::ascii_dump. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroo…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 19 Apr '05

19 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-19 14:15:12 Modified files: src : Grid_simplify.cc Log message: Include the divisor in the parameter version of le_pc_reduce. In the congruence version consider every row (instead of leaving out the last row) and skip modifying virtual rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_public.cc Grid_minimize.cc
by Matthew Mundell 19 Apr '05

19 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-19 14:07:59 Modified files: src : Grid_public.cc Grid_minimize.cc Log message: Take out the pending row tracing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

w3ppl/htdocs/Documentation BagnaraHMZ05TR.pdf
by Roberto Bagnara 18 Apr '05

18 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-18 15:59:43 Added files: htdocs/Documentation: BagnaraHMZ05TR.pdf Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar…

1 0

w3ppl/htdocs news.raw ppl.raw Documentation/pp ...
by Roberto Bagnara 18 Apr '05

18 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-18 15:56:06 Modified files: htdocs : news.raw ppl.raw htdocs/Documentation: ppl.bib Log message: Announce the new paper on widenings for weakly-relational numeric abstractions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Apr '05

18 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-18 15:22:18 Modified files: htdocs/Documentation: ppl.bib Log message: Reordered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Apr '05

18 Apr '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-04-18 14:56:34 Modified files: htdocs/Documentation: ppl.bib Log message: Added JaffarMSY94, NelsonO77, NelsonO80, Pratt77 and Shostak81. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src fpu-c99.inlines.hh fpu-ia32.inlines.hh ...
by Abramo Bagnara 17 Apr '05

17 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-04-17 19:38:31 Modified files: src : fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu.defs.hh Log message: Code cleaning. Added fpu_set_rounding_direction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 18:55:22 Modified files: tests/Grid : grid1.cc Log message: Take out tracing. Enable comparison to known grid in test1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests ppl_test.hh
by Matthew Mundell 15 Apr '05

15 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-15 18:51:35 Modified files: tests : ppl_test.hh Log message: ASCII dump `a'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0