April 2004 - PPL-devel - BUGSENG Mailman

ppl/tests memory1.cc
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 15:04:44 Modified files: tests : memory1.cc Log message: If GMP does not support exceptions this test is pointless. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl TODO
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 15:04:29 Modified files: . : TODO Log message: Flags for ICC changed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.68…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 14:54:48 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Use the C++ compiler to compile and link. Do not mention -lstcd++. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog_sd.cc
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:57:17 Modified files: interfaces/Prolog/GNU: ppl_gprolog_sd.cc Log message: Work around gprolog.h namespace pollution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:56:37 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Include "max_space_dimension.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:52:05 Modified files: interfaces/C : ppl_c.cc Log message: Include "max_space_dimension.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl NEWS
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:51:31 Modified files: . : NEWS Log message: Explain the changes concerning the max_space_dimension() functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.84…

1 0

ppl/src C_Polyhedron.inlines.hh max_space_dime ...
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:46:44 Modified files: src : C_Polyhedron.inlines.hh max_space_dimension.hh Log message: C_Polyhedron::max_space_dimension() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh.di…

1 0

ppl/src GenSys.defs.hh GenSys.inlines.hh
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:04:52 Modified files: src : GenSys.defs.hh GenSys.inlines.hh Log message: New function GenSys::max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 10:04:33 Modified files: src : ConSys.defs.hh ConSys.inlines.hh Log message: New function ConSys::max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv…

1 0