[PPL-devel] ppl ./CREDITS ./ChangeLog ./Makefile.am ./NEWS ...
Roberto Bagnara
bagnara at cs.unipr.it
Wed Oct 29 21:45:43 CET 2008
CVSROOT: /cvs/ppl
Module name: ppl
Branch: bounded_arithmetic
Changes by: bagnara at cs.unipr.it 2008-10-29 21:45:43
Modified files:
. : CREDITS ChangeLog Makefile.am NEWS README
README.configure STANDARDS TODO config.guess
config.sub configure.ac instchk.hh
Watchdog : ChangeLog Makefile.am NEWS README config.guess
config.sub configure.ac
Watchdog/doc : Makefile.am devref.doxyconf-html.in
devref.doxyconf-latex.in user.doxyconf-html.in
user.doxyconf-latex.in
Watchdog/m4 : Makefile.am ax_prefix_config_h.m4
Watchdog/src : Doubly_Linked_Object.defs.hh
Doubly_Linked_Object.inlines.hh EList.defs.hh
EList.inlines.hh EList_Iterator.defs.hh
EList_Iterator.inlines.hh Handler.defs.hh
Handler.inlines.hh Makefile.am
Pending_Element.cc Pending_Element.defs.hh
Pending_Element.inlines.hh Pending_List.cc
Pending_List.defs.hh Pending_List.inlines.hh
Time.cc Time.defs.hh Time.inlines.hh
Watchdog.cc Watchdog.defs.hh
Watchdog.inlines.hh pwl_header.hh
Watchdog/utils : Makefile.am
demos : Makefile.am
demos/ppl_lcdd : Makefile.am ppl_lcdd.cc
demos/ppl_lpsol: Makefile.am expected_int16 expected_int16_a
expected_int32 expected_int32_a expected_int64
expected_int64_a expected_int8 expected_int8_a
expected_mpz ppl_lpsol.c
doc : Makefile.am README.doc definitions.dox
devref.doxyconf-html.in
devref.doxyconf-latex.in devref.tex libppl.3
ppl-config.1 ppl-config_extra_man_text
user.doxyconf-html.in user.doxyconf-latex.in
user.tex
interfaces : Makefile.am marked_pointers.hh
ppl_interface_generator_common.m4
ppl_interface_generator_common_dat.m4
ppl_interface_generator_common_procedure_generators.m4
interfaces/C : C_interface.dox Makefile.am ppl_c_version.h.in
ppl_interface_generator_c_cc_code.m4
ppl_interface_generator_c_h.m4
ppl_interface_generator_c_h_code.m4
ppl_interface_generator_c_procedure_generators.m4
interfaces/Java: Makefile.am
ppl_interface_generator_java_procedure_generators.m4
interfaces/Java/jni: Makefile.am ppl_java_common.cc
ppl_java_globals.cc
interfaces/Java/tests: C_Polyhedron_test1.java Makefile.am
NNC_Polyhedron_test1.java
Test_Executor.java
Test_Partial_Function.java
ppl_interface_generator_java_test_java.m4
ppl_interface_generator_java_test_java_code.m4
ppl_java_tests_common
interfaces/OCaml: Makefile.am OCaml_interface.dox README.ocaml
ppl_interface_generator_ocaml_cc_code.m4
ppl_interface_generator_ocaml_ml.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.ml
interfaces/OCaml/tests: 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: Makefile.am
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_interface_generator_prolog_procedure_generators.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/Ciao: Makefile.am ciao_cfli.hh
ciao_pl_check.pl
ppl_interface_generator_ciao_pl.m4
interfaces/Prolog/GNU: Makefile.am README.gprolog
gprolog_cfli.hh gprolog_efli.cc
gprolog_efli.hh ppl_prolog_sysdep.hh
interfaces/Prolog/SICStus: Makefile.am ppl_prolog_sysdep.hh
sicstus_efli.cc sicstus_efli.hh
interfaces/Prolog/SWI: Makefile.am ppl_prolog_sysdep.hh
swi_efli.cc swi_efli.hh
interfaces/Prolog/XSB: Makefile.am
ppl_interface_generator_xsb_H.m4
ppl_prolog_sysdep.hh xsb_efli.cc
xsb_efli.hh xsb_pl_check.P
interfaces/Prolog/YAP: Makefile.am ppl_prolog_sysdep.hh
yap_efli.cc yap_efli.hh
interfaces/Prolog/tests: Makefile.am expected_clpq2_int16
expected_clpq2_int16_a
expected_clpq2_int8
expected_clpq2_int8_a
expected_pchk_int16
expected_pchk_int16_a
expected_pchk_int32
expected_pchk_int32_a
expected_pchk_int64_a
expected_pchk_int8 expected_pchk_int8_a
pl_check.pl
m4 : Makefile.am ac_check_ciao.m4
ac_check_fpu_control.m4 ac_check_gmp.m4
ac_cxx_double_binary_format.m4
ac_cxx_flexible_arrays.m4
ac_cxx_float_binary_format.m4
ac_cxx_long_double_binary_format.m4
ac_cxx_proper_long_double.m4
ac_cxx_remainder_bug.m4 ax_prefix_config_h.m4
lib-link.m4 lib-prefix.m4 ppl.m4 ppl_c.m4
src : Any_Pointset.defs.hh BD_Shape.defs.hh
BD_Shape.inlines.hh BD_Shape.templates.hh
Bit_Row.cc Bit_Row.defs.hh Box.defs.hh
Box.inlines.hh Box.templates.hh
Checked_Number.defs.hh
Checked_Number.inlines.hh Congruence.cc
Congruence.defs.hh Congruence_System.cc
Congruence_System.defs.hh Constraint.defs.hh
Constraint_System.defs.hh Float.defs.hh
Float.inlines.hh Generator.defs.hh
Generator_System.defs.hh Grid.defs.hh
Grid.inlines.hh Grid_Generator.defs.hh
Grid_Generator_System.defs.hh Grid_chdims.cc
Grid_nonpublic.cc Grid_public.cc
Grid_widenings.cc Init.cc Interval.defs.hh
Interval.inlines.hh Linear_Expression.defs.hh
MIP_Problem.cc MIP_Problem.defs.hh
MIP_Problem.inlines.hh MIP_Problem.templates.hh
Makefile.am OR_Matrix.defs.hh
OR_Matrix.inlines.hh Octagonal_Shape.defs.hh
Octagonal_Shape.inlines.hh
Octagonal_Shape.templates.hh Og_Status.idefs.hh
Partially_Reduced_Product.defs.hh
Pointset_Ask_Tell.defs.hh Pointset_Powerset.cc
Pointset_Powerset.defs.hh
Pointset_Powerset.inlines.hh
Pointset_Powerset.templates.hh
Polyhedron.defs.hh Polyhedron.inlines.hh
Polyhedron_chdims.cc Polyhedron_nonpublic.cc
Polyhedron_public.cc Polyhedron_widenings.cc
Ptr_Iterator.defs.hh Rounding_Dir.inlines.hh
Variables_Set.defs.hh checked.cc
checked.defs.hh checked.inlines.hh
checked_ext.inlines.hh checked_float.inlines.hh
checked_int.inlines.hh checked_mpq.inlines.hh
checked_mpz.inlines.hh compiler.hh
fpu-c99.inlines.hh fpu-none.inlines.hh
fpu.defs.hh globals.defs.hh namespaces.hh
ppl-config.cc.in version.cc
tests : Makefile.am Partial_Function.cc
Partial_Function.defs.hh
Partial_Function.inlines.hh
Partial_Function.types.hh ppl_test.cc
ppl_test.hh
tests/Ask_Tell : Makefile.am
tests/BD_Shape : Makefile.am affinepreimage1.cc
bhmz05widening1.cc cc76extrapolation1.cc
closure1.cc containsintegerpoint1.cc
maxspacedim1.cc membytes1.cc
pointsetpowerset1.cc
tests/Box : Makefile.am addconstraints1.cc addspacedims1.cc
affineimage1.cc affinepreimage1.cc
bgp99extrapolation1.cc
boundedaffinepreimage1.cc cc76narrowing1.cc
concatenate1.cc congruences1.cc constraints1.cc
contains1.cc discrete1.cc disjoint1.cc
expandspacedim1.cc foldspacedims1.cc
frombox1.cc generalizedaffineimage1.cc
generalizedaffineimage2.cc intersection1.cc
interval1.cc mapspacedims1.cc max_min1.cc
membytes1.cc pointsetpowerset1.cc
pointsetpowerset2.cc refinewithcongruences1.cc
refinewithconstraint1.cc
refinewithconstraints1.cc
refinewithconstraints2.cc relations1.cc
relations2.cc removespacedims1.cc
timeelapse1.cc unconstrain1.cc universe1.cc
writebox1.cc
tests/Grid : Makefile.am addconstraint1.cc
addconstraints1.cc addgenerators1.cc
affineimage2.cc approximatepartition1.cc
congruence1.cc generator1.cc griddifference1.cc
membytes1.cc partition1.cc
powersetdifference1.cc
refinewithcongruences1.cc
refinewithconstraints1.cc removespacedims2.cc
tests/MIP_Problem: Makefile.am mipproblem1.cc mipproblem2.cc
mipproblem3.cc
tests/Octagonal_Shape: Makefile.am affinedimension1.cc
affinepreimage1.cc congruences1.cc
containsintegerpoint1.cc discrete1.cc
mapspacedims1.cc maxspacedim1.cc
membytes1.cc
tests/Partially_Reduced_Product: Makefile.am asciidumpload1.cc
directproduct1.cc
directproduct2.cc
directproduct3.cc
tests/Polyhedron: Makefile.am affineimage2.cc append1.cc
append2.cc bhrz03widening1.cc
bhrz03widening3.cc boundedaffineimage1.cc
boundedbhrz03extrapolation1.cc
dualhypercubes.cc exceptions1.cc
exceptions2.cc hybrid.cc linearpartition1.cc
maxspacedim1.cc membytes1.cc memory1.cc
memory2.cc nncminimize1.cc permute.cc
polydifference1.cc polydifference2.cc
polyhull1.cc polyhull2.cc randphull1.cc
refinewithcongruences1.cc
tests/Powerset : Makefile.am pointsetpowerset1.cc
pointsetpowerset2.cc simplifyusingcontext1.cc
utils : build_header.in
Added files:
. : README.arm
Watchdog/tests : .cvsignore Makefile.am pwl_test.cc pwl_test.hh
simple1.cc valgrind_suppressions
demos/ppl_lcdd : ppl_lcdd.1 ppl_lcdd_extra_man_text
demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol_extra_man_text
devtools : .cvsignore bump_copyright_years cvs2cl.pl
generate_dox_biblio generate_dox_biblio.sed
generate_dox_ci_prolog_manual
generate_man_pages update_ChangeLog
doc : devref-foreign-language-interface.doxyconf.in
devref-foreign-language-interface.tex
interfaces-html.sed interfaces-latex.sed
libppl_c.3
user-foreign-language-interface.doxyconf.in
user-foreign-language-interface.tex
interfaces/C : ppl_c_header.h ppl_c_implementation_common.cc
ppl_c_implementation_common.defs.hh
ppl_c_implementation_common.inlines.hh
ppl_interface_generator_c_cc_files.m4
ppl_interface_generator_c_hh_files.m4
interfaces/C/tests: .cvsignore Makefile.am cxxoutput.c
ppl_c_test.cc ppl_c_test.h
print_to_buffer.cc print_to_buffer.h
interfaces/Java/jni:
ppl_interface_generator_java_classes_cc_code.m4
ppl_interface_generator_java_classes_cc_files.m4
ppl_java_common.defs.hh
ppl_java_common.inlines.hh
interfaces/Java/parma_polyhedra_library: .cvsignore
By_Reference.java
Coefficient.java
Complexity_Class.java
Congruence.java
Congruence_System.java
Constraint.java
Constraint_System.java
Control_Parameter_Name.java
Control_Parameter_Value.java
Degenerate_Element.java
Domain_Error_Exception.java
Fake_Class_for_Doxygen.java
Generator.java
Generator_System.java
Generator_Type.java
Grid_Generator.java
Grid_Generator_System.java
Grid_Generator_Type.java
Invalid_Argument_Exception.java
Length_Error_Exception.java
Linear_Expression.java
Linear_Expression_Coefficient.java
Linear_Expression_Difference.java
Linear_Expression_Sum.java
Linear_Expression_Times.java
Linear_Expression_Unary_Minus.java
Linear_Expression_Variable.java
Logic_Error_Exception.java
MIP_Problem.java
MIP_Problem_Status.java
Makefile.am
Optimization_Mode.java
Overflow_Error_Exception.java
PPL_Object.java
Pair.java
Parma_Polyhedra_Library.java
Partial_Function.java
Poly_Con_Relation.java
Poly_Gen_Relation.java
Relation_Symbol.java
Variable.java
Variables_Set.java
ppl_interface_generator_java_classes_java.m4
ppl_interface_generator_java_classes_java_code.m4
interfaces/Java/tests: MIP_Problem_test1.java PPL_Test.java
Parma_Polyhedra_Library_test1.java
interfaces/OCaml: ppl_interface_generator_ocaml_cc_files.m4
ppl_interface_generator_ocaml_hh_code.m4
ppl_interface_generator_ocaml_hh_files.m4
ppl_ocaml_common.cc ppl_ocaml_common.defs.hh
ppl_ocaml_common.inlines.hh
ppl_ocaml_globals.mli
interfaces/Prolog: Prolog_interface.dox
interfaces/Prolog/Ciao: README.ciao ciao_efli.cc ciao_efli.hh
ppl_interface_generator_ciao_prolog_generated_test_pl.m4
ppl_prolog_sysdep.hh
interfaces/Prolog/GNU: gnu_prolog_generated_test.pl
interfaces/Prolog/SICStus: sp_prolog_generated_test.pl
interfaces/Prolog/SWI: swi_prolog_generated_test.pl
interfaces/Prolog/XSB:
ppl_interface_generator_xsb_prolog_generated_test_P.m4
interfaces/Prolog/YAP: yap_prolog_generated_test.pl
interfaces/Prolog/tests: expected_pgt
ppl_interface_generator_prolog_generated_test_pl.m4
ppl_interface_generator_prolog_generated_test_pl_code.m4
ppl_prolog_generated_test_common.pl
m4 : ac_cxx_double_exact_output.m4
ac_cxx_float_exact_output.m4
ac_cxx_ieee_inexact_flag.m4
ac_cxx_limit_memory.m4
ac_cxx_long_double_exact_output.m4
src : stdiobuf.cc stdiobuf.defs.hh
stdiobuf.inlines.hh stdiobuf.types.hh
tests : README valgrind_suppressions
tests/BD_Shape : difference1.cc upperbound1.cc
tests/Box : difference1.cc propagateconstraints1.cc
propagateconstraints2.cc upperbound1.cc
tests/Grid : upperbound1.cc upperbound2.cc
tests/Octagonal_Shape: difference1.cc upperbound1.cc
Removed files:
debian : Makefile.am
doc : bib2dox bib2html1.sed bib2html2.sed
devref-c-interface.doxyconf-html.in
devref-c-interface.doxyconf-latex.in
devref-c-interface.tex
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.doxyconf-html.in
devref-prolog-interface.doxyconf-latex.in
devref-prolog-interface.tex ppl_lcdd.1
ppl_lcdd_extra_man_text ppl_lpsol.1
ppl_lpsol_extra_man_text prog2man
user-c-interface.doxyconf-html.in
user-c-interface.doxyconf-latex.in
user-c-interface.tex
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
user-prolog-interface.doxyconf-html.in
user-prolog-interface.doxyconf-latex.in
user-prolog-interface.tex
fedora : Makefile.am
interfaces : README.interfaces
interfaces/C : ppl_c.h.in ppl_interface_generator_c_cc.m4
ppl_interface_generator_c_cc_preamble
ppl_interface_generator_c_h_preamble
interfaces/Java: ppl_interface_generator_java_dox.m4
ppl_interface_generator_java_dox_code.m4
ppl_java_common_dox
interfaces/Java/jni:
ppl_interface_generator_java_ppl_java_classes_cc.m4
ppl_interface_generator_java_ppl_java_classes_cc_code.m4
ppl_java_common.hh
interfaces/Java/ppl_java: .cvsignore By_Reference.java
Coefficient.java Congruence.java
Congruence_System.java Constraint.java
Constraint_System.java
Degenerate_Element.java
Domain_Error_Exception.java
Generator.java Generator_System.java
Generator_Type.java
Grid_Generator.java
Grid_Generator_System.java
Grid_Generator_Type.java
Invalid_Argument_Exception.java
Length_Error_Exception.java
Linear_Expression.java
Linear_Expression_Coefficient.java
Linear_Expression_Difference.java
Linear_Expression_Sum.java
Linear_Expression_Times.java
Linear_Expression_Unary_Minus.java
Linear_Expression_Variable.java
Logic_Error_Exception.java
MIP_Problem.java
MIP_Problem_Status.java Makefile.am
Optimization_Mode.java
Overflow_Error_Exception.java
PPL_Object.java Pair.java
Parma_Polyhedra_Library.java
Partial_Function.java
Poly_Con_Relation.java
Poly_Gen_Relation.java
Relation_Symbol.java Variable.java
Variables_Set.java
ppl_interface_generator_java_classes_java.m4
ppl_interface_generator_java_classes_java_code.m4
interfaces/OCaml: ppl_interface_generator_ocaml_cc.m4
ppl_ocaml_globals.cc ppl_ocaml_types.ml
interfaces/Prolog/Ciao: ppl_ciao.cc
ppl_interface_generator_ciao_predicate_check_pl.m4
interfaces/Prolog/SICStus: sp_predicate_check.pl
interfaces/Prolog/SWI: swi_predicate_check.pl
interfaces/Prolog/XSB:
ppl_interface_generator_xsb_predicate_check_P.m4
interfaces/Prolog/tests: pl_grid_check.pl
ppl_interface_generator_predicate_check_code.m4
ppl_interface_generator_predicate_check_pl.m4
ppl_predicate_check_common.pl
tests : FCAIBVP.cc FCAIBVP.defs.hh FCAIBVP.inlines.hh
FCAIBVP.types.hh print.cc print.hh
tests/BD_Shape : bdsdifference1.cc bdshull1.cc
tests/Box : boxdifference1.cc boxhull1.cc closure1.cc
interval2.cc
tests/Grid : join1.cc join2.cc
tests/Octagonal_Shape: octdifference1.cc octhull1.cc
tests/Polyhedron: README
Log message:
Second merge of the trunk to the bounded_arithmetic branch.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.arm?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.22&r2=1.22.6.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.28.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.44.2.1&r2=1.44.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.228.2.1&r2=1.228.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.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/README.configure.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/STANDARDS.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.38&r2=1.38.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.243.2.1&r2=1.243.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.41.2.1&r2=1.41.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.38.2.1&r2=1.38.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.309.2.1&r2=1.309.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15.2.1&r2=1.15.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17.2.1&r2=1.17.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.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/Watchdog/NEWS.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.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/config.guess.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.25.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23.2.1&r2=1.23.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.45.2.1&r2=1.45.2.2
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.4.1&r2=1.4.4.2
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.2.1&r2=1.2.2.2
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.2.1&r2=1.2.2.2
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.2.1&r2=1.3.2.2
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.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/Makefile.am.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/Watchdog/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/Watchdog/src/Doubly_Linked_Object.defs.hh.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/src/Doubly_Linked_Object.inlines.hh.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/src/EList.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/Watchdog/src/EList.inlines.hh.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/src/EList_Iterator.defs.hh.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/src/EList_Iterator.inlines.hh.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/src/Handler.defs.hh.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/Watchdog/src/Handler.inlines.hh.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/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Pending_Element.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/Watchdog/src/Pending_Element.defs.hh.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/Watchdog/src/Pending_Element.inlines.hh.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/src/Pending_List.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/Watchdog/src/Pending_List.defs.hh.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/Watchdog/src/Pending_List.inlines.hh.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/src/Time.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/Watchdog/src/Time.defs.hh.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/Watchdog/src/Time.inlines.hh.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/src/Watchdog.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/Watchdog/src/Watchdog.defs.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/Watchdog/src/Watchdog.inlines.hh.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/src/pwl_header.hh.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/Watchdog/tests/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/Makefile.am?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/pwl_test.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/pwl_test.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/simple1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/valgrind_suppressions?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/Makefile.am.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/demos/ppl_lcdd/ppl_lcdd.1?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd_extra_man_text?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.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/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.61&r2=1.61.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol_extra_man_text?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.44.2.2
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.6.1&r2=1.9.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16_a.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.6.1&r2=1.10.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32_a.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.6.1&r2=1.10.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64_a.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_int8.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_int8_a.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.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.4.1&r2=1.14.4.2
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.2.1&r2=1.76.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/bump_copyright_years?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/cvs2cl.pl?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_dox_biblio?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_dox_biblio.sed?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_dox_ci_prolog_manual?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_man_pages?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/update_ChangeLog?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-foreign-language-interface.doxyconf.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-foreign-language-interface.tex?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/interfaces-html.sed?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/interfaces-latex.sed?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl_c.3?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-interface.doxyconf.in?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-foreign-language-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.2.1&r2=1.56.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.210.2.1&r2=1.210.2.2
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.2.1&r2=1.86.2.2
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.2.1&r2=1.25.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.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/doc/libppl.3.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
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.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config_extra_man_text.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/doc/user.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.42.2.1&r2=1.42.2.2
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.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=bounded_arithmetic&r1=1.27&r2=1.27.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html1.sed.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=NONE
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.2.1&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=NONE
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.2.1&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd_extra_man_text.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol_extra_man_text.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/prog2man.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=NONE
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.2.1&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-ocaml-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=NONE
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.2.1&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/marked_pointers.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.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/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.71.2.1&r2=1.71.2.2
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.2.1&r2=1.19.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/README.interfaces.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementation_common.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementation_common.defs.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementation_common.inlines.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_hh_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.4.1&r2=1.3.4.2
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.2.1&r2=1.40.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_version.h.in.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/C/ppl_interface_generator_c_cc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.33.2.1&r2=1.33.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h.m4.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/C/ppl_interface_generator_c_h_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23.2.1&r2=1.23.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_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/C/ppl_c.h.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.76.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc.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/C/ppl_interface_generator_c_cc_preamble.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13.4.1&r2=NONE
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.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/Makefile.am?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/cxxoutput.c?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/ppl_c_test.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/ppl_c_test.h?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_buffer.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_buffer.h?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.2.1&r2=1.16.2.2
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.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_dox.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_dox_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_common_dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.defs.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.inlines.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.18.2.2
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.2.1&r2=1.38.2.2
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.4.1&r2=1.9.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_ppl_java_classes_cc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13&r2=NONE
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.2.1&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/.cvsignore?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/By_Reference.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Coefficient.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Complexity_Class.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Congruence.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Congruence_System.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Constraint.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Constraint_System.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Degenerate_Element.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Domain_Error_Exception.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Fake_Class_for_Doxygen.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Generator.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Generator_System.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Generator_Type.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Grid_Generator.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Grid_Generator_System.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Grid_Generator_Type.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Invalid_Argument_Exception.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Length_Error_Exception.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression_Coefficient.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression_Difference.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression_Sum.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression_Times.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression_Unary_Minus.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Logic_Error_Exception.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/MIP_Problem.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/MIP_Problem_Status.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Makefile.am?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Optimization_Mode.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Overflow_Error_Exception.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/PPL_Object.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Pair.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Partial_Function.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Poly_Con_Relation.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Poly_Gen_Relation.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Variable.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Variables_Set.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_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/.cvsignore.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/By_Reference.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
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.4.1&r2=NONE
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.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Congruence_System.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Constraint.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Constraint_System.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Degenerate_Element.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Domain_Error_Exception.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Generator.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Generator_System.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Generator_Type.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid_Generator.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid_Generator_System.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid_Generator_Type.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Invalid_Argument_Exception.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Length_Error_Exception.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=NONE
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.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression_Difference.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression_Sum.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression_Times.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression_Unary_Minus.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Linear_Expression_Variable.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Logic_Error_Exception.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_Problem.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_Problem_Status.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Optimization_Mode.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Overflow_Error_Exception.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/PPL_Object.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Pair.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=NONE
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.4.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Partial_Function.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly_Con_Relation.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly_Gen_Relation.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Relation_Symbol.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Variable.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Variables_Set.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_interface_generator_java_classes_java.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.21&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/MIP_Problem_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/PPL_Test.java?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Parma_Polyhedra_Library_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/C_Polyhedron_test1.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13.4.1&r2=1.13.4.2
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.2.1&r2=1.19.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/NNC_Polyhedron_test1.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Test_Executor.java.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Test_Partial_Function.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/tests/ppl_interface_generator_java_test_java.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/Java/tests/ppl_interface_generator_java_test_java_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.29.2.1&r2=1.29.2.2
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.6.1&r2=1.7.6.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_hh_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_hh_files.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_common.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_common.defs.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_common.inlines.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_globals.mli?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.38.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interface.dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml.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/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml.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/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.26.2.1&r2=1.26.2.2
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.2.1&r2=1.12.2.2
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.2.1&r2=1.20.2.2
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.2.1&r2=1.4.2.2
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.4.1&r2=1.8.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_types.ml.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16.2.2&r2=1.16.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_ocaml_tests_common.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.ml.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12.2.2&r2=1.12.2.3
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.2.1&r2=1.161.2.2
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.2.1&r2=1.47.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_hh_code.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6.2.2&r2=1.6.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7.2.2&r2=1.7.2.3
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.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_sysdep_dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_sysindep_dox.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/README.ciao?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_efli.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_efli.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_prolog_generated_test_pl.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/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/Ciao/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.73.2.1&r2=1.73.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_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/Ciao/ciao_pl_check.pl.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/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4.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/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.52.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_predicate_check_pl.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.9&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_prolog_generated_test.pl?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.2.1&r2=1.70.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.gprolog.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/GNU/gprolog_cfli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8.4.1&r2=1.8.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_efli.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog_efli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_prolog_sysdep.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_prolog_generated_test.pl?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.2.1&r2=1.86.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sicstus_efli.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sicstus_efli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_predicate_check.pl.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_prolog_generated_test.pl?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.82.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_prolog_sysdep.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efli.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_prolog_generated_test_P.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.62.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.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/XSB/ppl_prolog_sysdep.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efli.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
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.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_predicate_check_P.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_prolog_generated_test.pl?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.2.1&r2=1.59.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_prolog_sysdep.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efli.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efli.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pgt?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.20.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_clpq2_int16.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/Prolog/tests/expected_clpq2_int16_a.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/Prolog/tests/expected_clpq2_int8.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/tests/expected_clpq2_int8_a.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/tests/expected_pchk_int16.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int16_a.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int32.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int32_a.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=1.7.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int64_a.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.16.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int8.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.8.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expected_pchk_int8_a.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=1.8.6.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.2.1&r2=1.53.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_grid_check.pl.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_pl.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.36&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_predicate_check_common.pl.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.11&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_exact_output.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_exact_output.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_ieee_inexact_flag.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_limit_memory.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_output.m4?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.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/m4/ac_check_ciao.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/ac_check_fpu_control.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_check_gmp.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/m4/ac_cxx_double_binary_format.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_flexible_arrays.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/m4/ac_cxx_float_binary_format.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6.2.1&r2=1.6.2.2
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.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_proper_long_double.m4.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/m4/ac_cxx_remainder_bug.m4.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/m4/ax_prefix_config_h.m4.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.6.1&r2=1.1.6.2
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.16.1&r2=1.2.16.2
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.16.1&r2=1.3.16.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ppl.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/m4/ppl_c.m4.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/src/stdiobuf.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.defs.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.inlines.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/stdiobuf.types.hh?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.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/BD_Shape.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.123.2.1&r2=1.123.2.2
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.2.1&r2=1.162.2.2
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.2.1&r2=1.106.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.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.defs.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/Box.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.55.2.1&r2=1.55.2.2
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.2.1&r2=1.33.2.2
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.2.1&r2=1.112.2.2
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.2.1&r2=1.97.2.2
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.2.1&r2=1.79.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.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/Congruence.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.23.2.1&r2=1.23.2.2
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.2.1&r2=1.28.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh.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/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.128.2.1&r2=1.128.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.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/src/Float.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.29.2.1&r2=1.29.2.2
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.2.1&r2=1.32.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.126&r2=1.126.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.2.1&r2=1.27.2.2
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.2.1&r2=1.71.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.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/Grid_Generator.defs.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/Grid_Generator_System.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/Grid_chdims.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.22.2.1&r2=1.22.2.2
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.2.1&r2=1.33.2.2
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.2.1&r2=1.72.2.2
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.2.1&r2=1.17.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.34.2.1&r2=1.34.2.2
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.2.1&r2=1.55.2.2
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.2.1&r2=1.34.2.2
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.2.1&r2=1.38.2.2
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.2.1&r2=1.67.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.37&r2=1.37.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.17&r2=1.17.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.4.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.2.1&r2=1.179.2.2
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.4.1&r2=1.14.4.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.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.2.1&r2=1.49.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.35&r2=1.35.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.2.1&r2=1.77.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.idefs.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/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.30.2.1&r2=1.30.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.defs.hh.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/Pointset_Powerset.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19.2.1&r2=1.19.2.2
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.2.1&r2=1.39.2.2
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.2.1&r2=1.15.2.2
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.2.1&r2=1.32.2.2
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.2&r2=1.337.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.146&r2=1.146.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.2.1&r2=1.45.2.2
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.2.1&r2=1.83.2.2
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.2&r2=1.117.2.3
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.2.1&r2=1.66.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ptr_Iterator.defs.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/Rounding_Dir.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/Variables_Set.defs.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/src/checked.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.22.2.1&r2=1.22.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.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/src/checked.inlines.hh.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/src/checked_ext.inlines.hh.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/src/checked_float.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.84.2.1&r2=1.84.2.2
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.2.1&r2=1.66.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.46&r2=1.46.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.2.1&r2=1.54.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.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/src/fpu-c99.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16.2.1&r2=1.16.2.2
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.2.1&r2=1.8.2.2
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.2.1&r2=1.19.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.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/namespaces.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/ppl-config.cc.in.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/version.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/README?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/valgrind_suppressions?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.264.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partial_Function.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/Partial_Function.defs.hh.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/Partial_Function.inlines.hh.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/Partial_Function.types.hh.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/ppl_test.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/ppl_test.hh.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/FCAIBVP.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/FCAIBVP.defs.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.inlines.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.types.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.29&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.45.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/Makefile.am.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/BD_Shape/difference1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/upperbound1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.76.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage1.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/bhmz05widening1.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/BD_Shape/cc76extrapolation1.cc.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/tests/BD_Shape/closure1.cc.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/tests/BD_Shape/containsintegerpoint1.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/BD_Shape/maxspacedim1.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/BD_Shape/membytes1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6.2.1&r2=1.6.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowerset1.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/bdsdifference1.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/BD_Shape/bdshull1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.19&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraints1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraints2.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/upperbound1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.59.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.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/Box/addspacedims1.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/affineimage1.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/Box/affinepreimage1.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/Box/bgp99extrapolation1.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/boundedaffinepreimage1.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/cc76narrowing1.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/Box/concatenate1.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/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/Box/constraints1.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/Box/contains1.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/discrete1.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/disjoint1.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/expandspacedim1.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/Box/foldspacedims1.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/Box/frombox1.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/Box/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/Box/generalizedaffineimage2.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/Box/intersection1.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/Box/interval1.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/Box/mapspacedims1.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/Box/max_min1.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/membytes1.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/Box/pointsetpowerset1.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/Box/pointsetpowerset2.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/Box/refinewithcongruences1.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/Box/refinewithconstraint1.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/Box/refinewithconstraints1.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/Box/refinewithconstraints2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations1.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/relations2.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/Box/removespacedims1.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/Box/timeelapse1.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/Box/unconstrain1.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/Box/universe1.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/writebox1.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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxhull1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.7&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/closure1.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/Box/interval2.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/Grid/upperbound1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/upperbound2.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.65.2.2
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.2.1&r2=1.13.2.2
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.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.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/affineimage2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/approximatepartition1.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/congruence1.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/tests/Grid/generator1.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/Grid/griddifference1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.13.2.1&r2=1.13.2.2
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.2.1&r2=1.11.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partition1.cc.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/tests/Grid/powersetdifference1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.5.2.1&r2=1.5.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/refinewithcongruences1.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/refinewithconstraints1.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/removespacedims2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.15.2.1&r2=1.15.2.2
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.2.1&r2=NONE
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.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.12&r2=1.12.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.10&r2=1.10.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem3.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/Octagonal_Shape/difference1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/upperbound1.cc?cvsroot=ppl&only_with_tag=bounded_arithmetic&rev=1.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.2.1&r2=1.30.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affinedimension1.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/Octagonal_Shape/affinepreimage1.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/Octagonal_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/Octagonal_Shape/containsintegerpoint1.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/Octagonal_Shape/discrete1.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/Octagonal_Shape/mapspacedims1.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/Octagonal_Shape/maxspacedim1.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/Octagonal_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/Octagonal_Shape/octdifference1.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/Octagonal_Shape/octhull1.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/Partially_Reduced_Product/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/asciidumpload1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Product/directproduct3.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.3.2.2&r2=1.3.2.3
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.2&r2=1.122.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affineimage2.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/Polyhedron/append1.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/append2.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/Polyhedron/bhrz03widening1.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/Polyhedron/bhrz03widening3.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/boundedaffineimage1.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/boundedbhrz03extrapolation1.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/Polyhedron/dualhypercubes.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/exceptions1.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/exceptions2.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/hybrid.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/Polyhedron/linearpartition1.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/Polyhedron/maxspacedim1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.16.2.1&r2=1.16.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/membytes1.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/memory1.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/memory2.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/nncminimize1.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/Polyhedron/permute.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/polydifference1.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/polydifference2.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/polyhull1.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/polyhull2.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/Polyhedron/randphull1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/refinewithcongruences1.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/Polyhedron/README.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.8&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.4.2.2&r2=1.4.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset2.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingcontext1.cc.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.2.2.2&r2=1.2.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/build_header.in.diff?cvsroot=ppl&only_with_tag=bounded_arithmetic&r1=1.6&r2=1.6.2.1
More information about the PPL-devel
mailing list