[PPL-devel] ppl ./NEWS ./TODO ./configure.ac demos/ppl_lcd ...
Roberto Bagnara
roberto at cs.unipr.it
Thu Oct 28 22:33:41 CEST 2004
CVSROOT: /cvs/ppl
Module name: ppl
Branch: altnum
Changes by: roberto at cs.unipr.it 2004-10-28 22:33:41
Modified files:
. : NEWS TODO configure.ac
demos/ppl_lcdd : Makefile.am ppl_lcdd.cc
doc : definitions.dox devref-browse.doxyconf-latex.in
devref-print.doxyconf-latex.in
devref.doxyconf-html.in devref.tex user.tex
interfaces/C : ppl_c.cc ppl_c.h.in
interfaces/Prolog: Makefile.am Prolog_interface.dox
ppl_prolog.icc
interfaces/Prolog/Ciao: Makefile.am ppl_ciao.cc ppl_ciao.pl
interfaces/Prolog/GNU: Makefile.am
interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc
sp_clpq.pl
interfaces/Prolog/SWI: Makefile.am pl_clpq.pl
interfaces/Prolog/XSB: Makefile.am ppl_xsb.cc
interfaces/Prolog/YAP: Makefile.am ppl_yap.cc yap_clpq.pl
yap_clpq2.pl yap_pl_check.pl
m4 : ac_check_gmp.m4
src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh
ConSys.cc ConSys.defs.hh ConSys.inlines.hh
Constraint.cc Constraint.defs.hh
Constraint.inlines.hh GenSys.cc GenSys.defs.hh
GenSys.inlines.hh Generator.cc
Generator.defs.hh Generator.inlines.hh
LinExpression.cc LinExpression.defs.hh
LinExpression.inlines.hh Makefile.am Matrix.cc
Matrix.defs.hh Matrix.inlines.hh
NNC_Polyhedron.defs.hh
NNC_Polyhedron.inlines.hh Ph_Status.cc
Polyhedron.defs.hh Polyhedron.inlines.hh
Polyhedron_chdims.cc Polyhedron_nonpublic.cc
Polyhedron_public.cc Row.cc Row.defs.hh
Row.inlines.hh SatMatrix.cc SatMatrix.defs.hh
SatMatrix.inlines.hh Variable.defs.hh
Variable.inlines.hh conversion.cc
globals.defs.hh globals.inlines.hh
max_space_dimension.hh minimize.cc simplify.cc
tests : Makefile.am addgenerator1.cc addgenerator2.cc
addgenerators11.cc addspacedims10.cc
bhrz03widening9.cc ehandlers.hh exceptions2.cc
exceptions3.cc generators2.cc polyhull10.cc
randphull1.cc
Added files:
demos/ppl_lcdd : expected_int16 expected_int16_a expected_int32
expected_int32_a expected_int64
expected_int64_a expected_int8 expected_int8_a
expected_mpz expected_mpz_a
interfaces/Prolog/XSB: expected2_int16 expected2_int16_a
expected2_int32 expected2_int32_a
expected2_int64 expected2_int64_a
expected2_int8 expected2_int8_a
expected2_mpz expected2_mpz_a
expected3_int16 expected3_int16_a
expected3_int32 expected3_int32_a
expected3_int64 expected3_int64_a
expected3_int8 expected3_int8_a
expected3_mpz expected3_mpz_a
expected_int16 expected_int16_a
expected_int32 expected_int32_a
expected_int64 expected_int64_a
expected_int8 expected_int8_a
expected_mpz expected_mpz_a
interfaces/Prolog/tests: .cvsignore Makefile.am ack.clpq
ackn.clpq check_script check_script2
check_script2_int8 clpq.pl clpq2.pl
expected2_int16 expected2_int16_a
expected2_int32 expected2_int32_a
expected2_int64 expected2_int64_a
expected2_int8 expected2_int8_a
expected2_mpz expected2_mpz_a
expected3_int16 expected3_int16_a
expected3_int32 expected3_int32_a
expected3_int64 expected3_int64_a
expected3_int8 expected3_int8_a
expected3_mpz expected3_mpz_a
expected_int16 expected_int16_a
expected_int32 expected_int32_a
expected_int64 expected_int64_a
expected_int8 expected_int8_a
expected_mpz expected_mpz_a fib.clpq
mc91.clpq pl_check.pl schedule.clpq
smm.clpq smmdiff.clpq sumto.clpq
tak.clpq
src : Linear_Row.cc Linear_Row.defs.hh
Linear_Row.inlines.hh Linear_Row.types.hh
Linear_System.cc Linear_System.defs.hh
Linear_System.inlines.hh Linear_System.types.hh
tests : addgenerator5.cc affineimage9.cc geomcovers1.cc
polyhull11.cc
Removed files:
demos/ppl_lcdd : expected
interfaces/Prolog: ack.clpq ackn.clpq check_script check_script2
clpq.pl clpq2.pl expected expected2 expected3
fib.clpq mc91.clpq pl_check.pl schedule.clpq
smm.clpq smmdiff.clpq sumto.clpq tak.clpq
interfaces/Prolog/XSB: expected expected2
Log message:
Fourth merge from main trunk.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86.2.3&r2=1.86.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.69.2.3&r2=1.69.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.8&r2=1.114.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.6&r2=1.18.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.128.2.3&r2=1.128.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35.2.3&r2=1.35.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35.2.3&r2=1.35.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.36.2.3&r2=1.36.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.104.2.4&r2=1.104.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.27.2.2&r2=1.27.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.24&r2=1.24.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.109.2.3&r2=1.109.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.128.2.4&r2=1.128.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ack.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ackn.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/check_script.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/check_script2.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.15.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.26.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.11.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected3.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/fib.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/mc91.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.81.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/schedule.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/smm.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/smmdiff.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/sumto.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tak.clpq.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.27.2.2&r2=1.27.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.23.2.2&r2=1.23.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.64.2.2&r2=1.64.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.34.2.1&r2=1.34.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.41.2.1&r2=1.41.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.60.2.3&r2=1.60.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_clpq.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.34.2.1&r2=1.34.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pl_clpq.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected3_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21.2.1&r2=1.21.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51.2.3&r2=1.51.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.7.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected2.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.78.2.3&r2=1.78.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_clpq.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_clpq2.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/.cvsignore?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefile.am?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ack.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ackn.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check_script?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check_script2?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check_script2_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/clpq.pl?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/clpq2.pl?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected2_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected3_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int16?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int16_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int32?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int32_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int64?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int64_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int8?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_int8_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_mpz?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_mpz_a?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/fib.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/mc91.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/schedule.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/smm.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/smmdiff.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/sumto.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/tak.clpq?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.types.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21.2.2&r2=1.21.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.67.2.3&r2=1.67.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.82.2.4&r2=1.82.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.32.2.1&r2=1.32.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.40.2.1&r2=1.40.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86.2.4&r2=1.86.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.48.2.2&r2=1.48.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85.2.4&r2=1.85.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.95.2.4&r2=1.95.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.33&r2=1.33.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.48.2.3&r2=1.48.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85.2.4&r2=1.85.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.42.2.2&r2=1.42.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.20.2.1&r2=1.20.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.63.2.2&r2=1.63.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.29.2.1&r2=1.29.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.70.2.11&r2=1.70.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.68.2.3&r2=1.68.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.56.2.2&r2=1.56.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.37&r2=1.37.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.24.2.1&r2=1.24.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.17.2.1&r2=1.17.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.228.2.4&r2=1.228.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.90.2.4&r2=1.90.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9.2.2&r2=1.9.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.6&r2=1.18.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21.2.4&r2=1.21.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.60.2.2&r2=1.60.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.77.2.3&r2=1.77.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.44.2.2&r2=1.44.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.33.2.1&r2=1.33.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.36.2.2&r2=1.36.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51.2.4&r2=1.51.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.35.2.2&r2=1.35.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.34.2.2&r2=1.34.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator5.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage9.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/geomcovers1.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull11.cc?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.195.2.4&r2=1.195.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims10.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions3.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators2.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull10.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.10&r2=1.10.2.1
More information about the PPL-devel
mailing list