[PPL-devel] ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Wed Mar 5 14:41:09 CET 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2003-03-05 14:41:09
Modified files:
. : NEWS
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 : Polyhedron.cc Polyhedron.defs.hh
tests : polydifference6.cc
Log message:
The method
Polyhedron::poly_difference_assign_and_minimize(const Polyhedron&)
has been removed.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.64&r2=1.65
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.64&r2=1.65
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&r1=1.67&r2=1.68
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.76&r2=1.77
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.86&r2=1.87
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&r1=1.33&r2=1.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.61&r2=1.62
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.315&r2=1.316
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.194&r2=1.195
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference6.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
More information about the PPL-devel
mailing list