[PPL-devel] ppl ./.cvsignore ./ChangeLog ./INSTALL ./Makef ...
Roberto Bagnara
bagnara at cs.unipr.it
Thu Sep 11 22:37:56 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Branch: bounded_arithmetic
Changes by: bagnara at cs.unipr.it 2008-09-11 22:37:56
Modified files:
. : .cvsignore ChangeLog INSTALL Makefile.am NEWS
TODO config.guess config.rpath config.sub
configure.ac instchk.hh ltmain.sh
Watchdog : ChangeLog INSTALL config.guess config.sub
configure.ac ltmain.sh
Watchdog/doc : Makefile.am devref.doxyconf-html.in
devref.doxyconf-latex.in user.doxyconf-html.in
user.doxyconf-latex.in
Watchdog/m4 : libtool.m4 ltoptions.m4 ltsugar.m4 ltversion.m4
Watchdog/src : Makefile.am
Watchdog/utils : Makefile.am
demos/ppl_lpsol: .cvsignore Makefile.am expected_int16
expected_int32 expected_int64 expected_mpz
ppl_lpsol.c
doc : Makefile.am README.doc definitions.dox
devref-c-interface.doxyconf-html.in
devref-c-interface.doxyconf-latex.in
devref-prolog-interface.doxyconf-html.in
devref-prolog-interface.doxyconf-latex.in
devref.doxyconf-html.in
devref.doxyconf-latex.in ppl-config.1
ppl_lcdd.1 ppl_lpsol.1
user-c-interface.doxyconf-html.in
user-c-interface.doxyconf-latex.in
user-prolog-interface.doxyconf-html.in
user-prolog-interface.doxyconf-latex.in
user.doxyconf-html.in user.doxyconf-latex.in
fedora : ppl.spec
interfaces : Makefile.am
ppl_interface_generator_common_dat.m4
ppl_interface_generator_common_procedure_generators.m4
ppl_interface_generator_copyright
interfaces/C : C_interface.dox Makefile.am ppl_c.h.in
ppl_interface_generator_c_cc_code.m4
ppl_interface_generator_c_cc_preamble
ppl_interface_generator_c_h_code.m4
ppl_interface_generator_c_h_preamble
interfaces/Java: Makefile.am
ppl_interface_generator_java_procedure_generators.m4
interfaces/Java/jni: Makefile.am
ppl_interface_generator_java_ppl_java_classes_cc_code.m4
ppl_java_common.cc ppl_java_common.hh
ppl_java_globals.cc
interfaces/Java/ppl_java: .cvsignore Coefficient.java
Congruence.java
Linear_Expression_Coefficient.java
Makefile.am
Parma_Polyhedra_Library.java
ppl_interface_generator_java_classes_java_code.m4
interfaces/Java/tests: C_Polyhedron_test1.java Makefile.am
ppl_interface_generator_java_test_java_code.m4
ppl_java_tests_common
interfaces/OCaml: .cvsignore Makefile.am
ppl_interface_generator_ocaml_cc_code.m4
ppl_interface_generator_ocaml_ml_code.m4
ppl_interface_generator_ocaml_mli.m4
ppl_interface_generator_ocaml_mli_code.m4
ppl_interface_generator_ocaml_procedure_generators.m4
ppl_ocaml_globals.cc ppl_ocaml_globals.ml
interfaces/Prolog: .cvsignore Makefile.am
ppl_interface_generator_prolog_procedure_generators.m4
interfaces/Prolog/Ciao: Makefile.am ppl_ciao.cc
interfaces/Prolog/GNU: Makefile.am gprolog_cfli.hh
interfaces/Prolog/SICStus: Makefile.am
ppl_interface_generator_sicstus_sd_cc.m4
sicstus_cfli.ic
interfaces/Prolog/SWI: .cvsignore Makefile.am README.swiprolog
ppl_interface_generator_swiprolog_cc.m4
swi_cfli.hh swi_pl_check.pl
swi_predicate_check.pl
interfaces/Prolog/XSB: .cvsignore Makefile.am
ppl_interface_generator_xsb_cc.m4
xsb_cfli.hh xsb_pl_check.P
interfaces/Prolog/YAP: Makefile.am
ppl_interface_generator_yap_cc.m4
yap_cfli.hh
interfaces/Prolog/tests: .cvsignore Makefile.am pl_check.pl
ppl_interface_generator_predicate_check_code.m4
m4 : ac_check_swi_prolog.m4
ac_cxx_double_binary_format.m4
ac_cxx_float_binary_format.m4
ac_cxx_long_double_binary_format.m4
ax_prefix_config_h.m4 lib-link.m4 lib-prefix.m4
libtool.m4 ltoptions.m4 ltsugar.m4 ltversion.m4
src : .cvsignore BD_Shape.defs.hh BD_Shape.inlines.hh
BD_Shape.templates.hh Bit_Matrix.cc
Bit_Row.inlines.hh Boundary.defs.hh Box.defs.hh
Box.inlines.hh Box.templates.hh
C_Polyhedron.defs.hh Checked_Number.defs.hh
Checked_Number.inlines.hh Congruence.defs.hh
Congruence_System.cc
Congruence_System.inlines.hh Constraint.defs.hh
Constraint.inlines.hh Constraint_System.cc
Constraint_System.inlines.hh
DB_Matrix.templates.hh Float.defs.hh
Float.inlines.hh Generator_System.cc
Generator_System.defs.hh
Generator_System.inlines.hh Grid.defs.hh
Grid.templates.hh Grid_chdims.cc
Grid_nonpublic.cc Grid_public.cc
Grid_simplify.cc Grid_widenings.cc Init.cc
Init.defs.hh Interval.defs.hh
Interval.inlines.hh Interval_Info.defs.hh
Interval_Info.inlines.hh
Interval_Restriction.defs.hh
Linear_Expression.defs.hh
Linear_Expression.inlines.hh Linear_System.cc
Linear_System.inlines.hh MIP_Problem.cc
Makefile.am Matrix.defs.hh Matrix.inlines.hh
NNC_Polyhedron.defs.hh OR_Matrix.defs.hh
OR_Matrix.templates.hh Octagonal_Shape.defs.hh
Octagonal_Shape.templates.hh
Partially_Reduced_Product.defs.hh
Partially_Reduced_Product.inlines.hh
Partially_Reduced_Product.templates.hh
Pointset_Powerset.cc Pointset_Powerset.defs.hh
Pointset_Powerset.inlines.hh
Pointset_Powerset.templates.hh
Polyhedron.defs.hh Polyhedron.templates.hh
Polyhedron_chdims.cc Polyhedron_nonpublic.cc
Polyhedron_public.cc Polyhedron_widenings.cc
Powerset.defs.hh Powerset.inlines.hh checked.cc
checked_float.inlines.hh checked_int.inlines.hh
checked_mpz.inlines.hh conversion.cc
fpu-c99.inlines.hh fpu-ia32.inlines.hh
fpu-none.inlines.hh fpu-sparc.inlines.hh
fpu.defs.hh iterator_to_const.defs.hh
minimize.cc ppl_header.hh simplify.cc
tests : Makefile.am print.hh
tests/BD_Shape : .cvsignore Makefile.am congruences1.cc
constraints1.cc frombdshape1.cc frombox1.cc
fromgrid1.cc fromoctagonalshape1.cc
generalizedaffineimage1.cc membytes1.cc
timeelapse1.cc
tests/Box : .cvsignore Makefile.am ascii_dump_load1.cc
boxdifference1.cc fromgrid1.cc
frompartiallyreducedproduct1.cc
refinewithconstraints2.cc
tests/Grid : .cvsignore Makefile.am addconstraint1.cc
addconstraints1.cc addspacedims1.cc
affinedim1.cc affineimage2.cc
affinepreimage2.cc asciidumpload1.cc
asciidumpload2.cc bounded1.cc bounds1.cc
certificate1.cc containsintegerpoint1.cc
coveringbox1.cc discrete1.cc disjoint1.cc
equals1.cc expandspacedim1.cc foldspacedims1.cc
frombdshape1.cc fromoctagonalshape1.cc
frompolyhedron1.cc generalizedaffineimage1.cc
generalizedaffineimage2.cc
generalizedaffineimage3.cc
generalizedaffinepreimage1.cc
generalizedaffinepreimage2.cc
generalizedaffinepreimage3.cc generators1.cc
grid3.cc griddifference1.cc join1.cc join2.cc
limitedextrapolation1.cc
limitedextrapolation2.cc
limitedextrapolation3.cc maxmin1.cc
membytes1.cc mincongruences1.cc
mingenerators1.cc outputoperator1.cc
pointsetpowerset1.cc powersetdifference1.cc
powersetgeometricallycovers1.cc relations1.cc
relations2.cc relations3.cc removespacedims1.cc
removespacedims2.cc timeelapse1.cc
topclosed1.cc widening1.cc widening3.cc
tests/MIP_Problem: .cvsignore
tests/Octagonal_Shape: .cvsignore Makefile.am
tests/Polyhedron: .cvsignore Makefile.am addcongruence1.cc
addcongruences1.cc congruences1.cc
linearsystem1.cc maxspacedim1.cc randphull1.cc
utils : Makefile.am
Added files:
doc : devref-java-interface.doxyconf-html.in
devref-java-interface.doxyconf-latex.in
devref-java-interface.tex
devref-ocaml-interface.doxyconf-html.in
devref-ocaml-interface.doxyconf-latex.in
devref-ocaml-interface.tex
devref-prolog-interface.tex libppl.3
user-java-interface.doxyconf-html.in
user-java-interface.doxyconf-latex.in
user-java-interface.tex
user-ocaml-interface.doxyconf-html.in
user-ocaml-interface.doxyconf-latex.in
user-ocaml-interface.tex
interfaces : marked_pointers.hh
interfaces/Java: ppl_interface_generator_java_dox.m4
ppl_interface_generator_java_dox_code.m4
ppl_java_common_dox
interfaces/Java/ppl_java: Pair.java
interfaces/Java/tests: NNC_Polyhedron_test1.java
Test_Executor.java
interfaces/OCaml: OCaml_interface.dox
interfaces/OCaml/tests: .cvsignore Makefile.am
ppl_interface_generator_ocaml_test_ml.m4
ppl_interface_generator_ocaml_test_ml_code.m4
ppl_ocaml_tests_common test1.ml
interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4
ppl_interface_generator_prolog_cc_files.m4
ppl_interface_generator_prolog_dox.m4
ppl_interface_generator_prolog_dox_code.m4
ppl_interface_generator_prolog_hh_code.m4
ppl_interface_generator_prolog_hh_files.m4
ppl_prolog_common.cc
ppl_prolog_common.defs.hh
ppl_prolog_common.inlines.hh
ppl_prolog_sysdep_dox ppl_prolog_sysindep_dox
interfaces/Prolog/GNU: gprolog_efli.cc gprolog_efli.hh
ppl_prolog_sysdep.hh
interfaces/Prolog/SICStus: ppl_prolog_sysdep.hh sicstus_efli.cc
sicstus_efli.hh
interfaces/Prolog/SWI: ppl_prolog_sysdep.hh swi_efli.cc
swi_efli.hh
interfaces/Prolog/XSB: ppl_interface_generator_xsb_hh.m4
ppl_prolog_sysdep.hh xsb_efli.cc
xsb_efli.hh
interfaces/Prolog/YAP: ppl_prolog_sysdep.hh yap_efli.cc
yap_efli.hh
src : Checked_Number.templates.hh Init.inlines.hh
fpu-ia32.cc
tests/BD_Shape : constrains1.cc
tests/Box : constrains1.cc topclosed1.cc
tests/Grid : frombox1.cc
tests/Octagonal_Shape: constrains1.cc
tests/Partially_Reduced_Product: .cvsignore Makefile.am
asciidumpload1.cc
directproduct1.cc
directproduct2.cc
directproduct3.cc
directproduct4.cc
directproduct5.cc
directproduct6.cc
partiallyreducedproduct1.cc
partiallyreducedproduct2.cc
partiallyreducedproduct3.cc
partiallyreducedproduct4.cc
tests/Polyhedron: simplifyusingcontext1.cc
tests/Powerset : .cvsignore Makefile.am pointsetpowerset1.cc
pointsetpowerset2.cc pointsetpowerset3.cc
pointsetpowerset4.cc pointsetpowerset5.cc
pointsetpowerset6.cc powerset1.cc product1.cc
simplifyusingcontext1.cc
Removed files:
interfaces/OCaml: test1.ml
interfaces/Prolog: Prolog_interface.dox exceptions.hh
ppl_interface_generator_prolog_icc.m4
ppl_interface_generator_prolog_icc_code.m4
ppl_prolog_common.icc track_allocation.hh
interfaces/Prolog/GNU: ppl_gprolog_sd.cc
tests/Grid : asciidumpload7.cc directproduct1.cc
directproduct2.cc directproduct3.cc
directproduct4.cc directproduct5.cc
directproduct6.cc partiallyreducedproduct1.cc
partiallyreducedproduct2.cc
partiallyreducedproduct3.cc
partiallyreducedproduct4.cc
tests/Polyhedron: pointsetpowerset1.cc pointsetpowerset2.cc
pointsetpowerset3.cc pointsetpowerset4.cc
pointsetpowerset5.cc pointsetpowerset6.cc
powerset1.cc
Log message:
First merge of the trunk to the bounded_arithmetic branch.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.28&r2=1.28.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/INSTALL.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.44&r2=1.44.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.228&r2=1.228.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.243&r2=1.243.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.41&r2=1.41.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.rpath.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.38&r2=1.38.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.309&r2=1.309.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/INSTALL.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23&r2=1.23.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.45&r2=1.45.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23&r2=1.23.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/user.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/libtool.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltoptions.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltsugar.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltversion.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.24.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.44&r2=1.44.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.76&r2=1.76.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.doxyconf-html.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.doxyconf-latex.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.tex?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.doxyconf-html.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.doxyconf-latex.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.tex?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.tex?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyconf-html.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyconf-latex.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.tex?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.doxyconf-html.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.doxyconf-latex.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.tex?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.56&r2=1.56.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.210&r2=1.210.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.86&r2=1.86.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd.1.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol.1.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.42&r2=1.42.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/marked_pointers.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31&r2=1.31.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.71&r2=1.71.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_copyright.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.40&r2=1.40.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.76&r2=1.76.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.33&r2=1.33.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_preamble.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23&r2=1.23.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h_preamble.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_dox.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_dox_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_common_dox?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_ppl_java_classes_cc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.49&r2=1.49.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.38&r2=1.38.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_globals.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Pair.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Coefficient.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Congruence.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression_Coefficient.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.37&r2=1.37.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Parma_Polyhedra_Library.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_interface_generator_java_classes_java_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.43&r2=1.43.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/NNC_Polyhedron_test1.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Test_Executor.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyhedron_test1.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.29&r2=1.29.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_java_tests_common.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interface.dox?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.38&r2=1.38.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31&r2=1.31.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.26&r2=1.26.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_globals.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_globals.ml.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefile.am?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_ocaml_tests_common?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.ml?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_hh_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.defs.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.inlines.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_sysdep_dox?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_sysindep_dox?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.47&r2=1.47.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.161&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.26&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.66&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.icc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_allocation.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.24&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.73&r2=1.73.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.52&r2=1.52.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_efli.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_efli.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_prolog_sysdep.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.70&r2=1.70.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_cfli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog_sd.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.45&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sicstus_efli.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sicstus_efli.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.86&r2=1.86.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_interface_generator_sicstus_sd_cc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sicstus_cfli.ic.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_prolog_sysdep.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efli.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efli.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.82&r2=1.82.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.swiprolog.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_check.pl.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_predicate_check.pl.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_hh.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_prolog_sysdep.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efli.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efli.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.62&r2=1.62.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_cfli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31&r2=1.31.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_prolog_sysdep.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efli.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efli.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.59&r2=1.59.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_interface_generator_yap_cc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.53&r2=1.53.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.75&r2=1.75.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_format.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_binary_format.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ax_prefix_config_h.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-link.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-prefix.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/libtool.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltoptions.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltsugar.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltversion.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.templates.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.inlines.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.123&r2=1.123.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.162&r2=1.162.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.106&r2=1.106.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.55&r2=1.55.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.33&r2=1.33.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.112&r2=1.112.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.58&r2=1.58.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.97&r2=1.97.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.79&r2=1.79.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23&r2=1.23.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.28&r2=1.28.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.128&r2=1.128.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.69&r2=1.69.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.29&r2=1.29.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.29&r2=1.29.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.32&r2=1.32.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.26&r2=1.26.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.27&r2=1.27.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.71&r2=1.71.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.22&r2=1.22.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.33&r2=1.33.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.72&r2=1.72.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.37&r2=1.37.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.20&r2=1.20.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.55&r2=1.55.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.38&r2=1.38.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.47&r2=1.47.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.24&r2=1.24.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.67&r2=1.67.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.179&r2=1.179.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.84&r2=1.84.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.53&r2=1.53.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.60&r2=1.60.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.49&r2=1.49.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.77&r2=1.77.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.30&r2=1.30.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.27&r2=1.27.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.39&r2=1.39.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.32&r2=1.32.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.337.2.1&r2=1.337.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.45&r2=1.45.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.83&r2=1.83.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.117.2.1&r2=1.117.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.66&r2=1.66.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31&r2=1.31.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.22&r2=1.22.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.84&r2=1.84.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.66&r2=1.66.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.54&r2=1.54.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.85&r2=1.85.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-none.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-sparc.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/iterator_to_const.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.49&r2=1.49.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.51&r2=1.51.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.264&r2=1.264.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.45&r2=1.45.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constrains1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.76&r2=1.76.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/congruences1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.24&r2=1.24.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombdshape1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombox1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgrid1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromoctagonalshape1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/membytes1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constrains1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/topclosed1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.59&r2=1.59.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgrid1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompartiallyreducedproduct1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstraints2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frombox1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.65&r2=1.65.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/containsintegerpoint1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frombdshape1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/fromoctagonalshape1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=1.2.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/frompolyhedron1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generators1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.26&r2=1.26.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mincongruences1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mingenerators1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/outputoperator1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=1.3.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetdifference1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=1.5.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetgeometricallycovers1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=1.4.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=1.9.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=1.15.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload7.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.48&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.18&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedproduct4.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.12.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/constrains1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=1.1.14.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.30&r2=1.30.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/Makefile.am?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/asciidumpload1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct2.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct3.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct4.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct5.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct6.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/partiallyreducedproduct1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/partiallyreducedproduct2.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/partiallyreducedproduct3.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/partiallyreducedproduct4.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/simplifyusingcontext1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.122.2.1&r2=1.122.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruence1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruences1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16&r2=1.16.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset4.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset5.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowerset6.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.22&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset2.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset3.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset4.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset5.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset6.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/powerset1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/product1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingcontext1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.2.1
More information about the PPL-devel
mailing list