August 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid.defs.hh
by Matthew Mundell 31 Aug '05

31 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-31 18:09:22 Modified files: src : Grid.defs.hh Log message: Mark up parameter description correctly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/doc definitions.dox
by Matthew Mundell 31 Aug '05

31 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-31 18:08:24 Modified files: doc : definitions.dox Log message: Correct spelling of anchor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Matthew Mundell 31 Aug '05

31 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-31 17:19:52 Modified files: doc : definitions.dox Log message: Clip trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Makefile.am
by Matthew Mundell 31 Aug '05

31 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-31 17:04:32 Modified files: src : Makefile.am Log message: Add grid_widenings.cc to libppl_la_SOURCES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl tests/Grid/bug1.dat src/Grid_public.cc
by Matthew Mundell 31 Aug '05

31 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-31 17:03:26 Modified files: tests/Grid : bug1.dat src : Grid_public.cc Log message: Enable dumping and loading of the entire status. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.dat.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_Status.cc
by Matthew Mundell 31 Aug '05

31 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-31 16:58:09 Modified files: src : Grid_Status.cc Log message: Append a newline to the ASCII dump. ASCII dump on failure of the empty flag check in the OK method. Correct the class name in the file header. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsro…

1 0

ppl/src Determinate.inlines.hh
by Roberto Bagnara 30 Aug '05

30 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-08-30 15:50:03 Modified files: src : Determinate.inlines.hh Log message: Do not override the output function of PH. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 30 Aug '05

30 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-08-30 15:42:01 Modified files: src : BD_Shape.inlines.hh Log message: Do not refer to nonexistent constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/m4 Makefile.am ppl.m4
by Roberto Bagnara 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-29 23:18:19 Modified files: m4 : Makefile.am Added files: m4 : ppl.m4 Log message: Initial revision of an Autoconf function to test for the existence and usability of particular versions of the PPL, defining macros containing the required paths. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ppl.m4?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog tests/pl_check.pl Ciao/c ...
by Patricia Hill 29 Aug '05

29 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-08-29 18:42:37 Modified files: interfaces/Prolog/tests: pl_check.pl interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/XSB: xsb_pl_check.P Log message: Added tests for Prolog interface predicates: bounded_affine_image, bounded_affine_preimage, generalized_affine_preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_…

1 0