[PPL-devel] ppl ./NEWS ./TODO doc/definitions.dox interfac ...
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Thu Apr 24 22:12:42 CEST 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2003-04-24 22:12:42
Modified files:
. : NEWS TODO
doc : definitions.dox
interfaces/C : ppl_c.cc ppl_c.h
interfaces/Prolog: Prolog_interface.dox pl_check.pl
ppl_prolog.icc
interfaces/Prolog/Ciao: ppl_ciao.pl
interfaces/Prolog/GNU: ppl_gprolog.pl
interfaces/Prolog/SICStus: ppl_sicstus_sd.cc
interfaces/Prolog/SWI: ppl_swiprolog.cc
interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc
interfaces/Prolog/YAP: ppl_yap.cc
src : Determinate.defs.hh Determinate.inlines.hh
Polyhedron.defs.hh Polyhedron.inlines.hh
PowerSet.defs.hh PowerSet.inlines.hh
tests : Makefile.am
Added files:
tests : mapdim1.cc
Removed files:
tests : remapdim1.cc
Log message:
The "remap_dimensions" operation is now called "map_dimensions".
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.72&r2=1.73
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.48&r2=1.49
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.119&r2=1.120
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.78&r2=1.79
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&r1=1.87&r2=1.88
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.103&r2=1.104
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&r1=1.65&r2=1.66
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.114&r2=1.115
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&r1=1.56&r2=1.57
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.75&r2=1.76
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.69&r2=1.70
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.208&r2=1.209
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.78&r2=1.79
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapdim1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.179&r2=1.180
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/remapdim1.cc.diff?cvsroot=ppl&r1=1.2&r2=NONE
More information about the PPL-devel
mailing list