data/ppl-1.2/configure: POSIX shell script, ASCII text executable, with very long lines data/ppl-1.2/README.alpha: ASCII text data/ppl-1.2/utils/timings.cc: C source, ASCII text data/ppl-1.2/utils/cm_splitter.sh: POSIX shell script, ASCII text executable data/ppl-1.2/utils/Makefile.in: makefile script, ASCII text data/ppl-1.2/utils/build_header.in: script text executable for @PERL@, ASCII text data/ppl-1.2/utils/Makefile.am: ASCII text data/ppl-1.2/utils/cm_cleaner.sh: POSIX shell script, ASCII text executable data/ppl-1.2/utils/timings.hh: C source, ASCII text data/ppl-1.2/utils/text2cxxarray.in: script text executable for @PERL@, ASCII text data/ppl-1.2/interfaces/C/C_interface.dox: ASCII text data/ppl-1.2/interfaces/C/ppl_interface_generator_c_procedure_generators.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/C/ppl_c_header.h: C source, ASCII text data/ppl-1.2/interfaces/C/ppl_c_version.h.in: ASCII text data/ppl-1.2/interfaces/C/ppl_interface_generator_c_hh_files.m4: C++ source, ASCII text data/ppl-1.2/interfaces/C/ppl_c_implementation_common.cc: C++ source, ASCII text data/ppl-1.2/interfaces/C/ppl_interface_generator_c_cc_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/C/ppl_c_implementation_common_inlines.hh: C++ source, ASCII text data/ppl-1.2/interfaces/C/ppl_interface_generator_c_cc_files.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/C/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/C/ppl_c.h.dist: C source, ASCII text data/ppl-1.2/interfaces/C/ppl_interface_generator_c_h.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/C/ppl_c_implementation_common_defs.hh: C++ source, ASCII text data/ppl-1.2/interfaces/C/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/interfaces/C/ppl_interface_generator_c_h_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/C/tests/print_to_buffer.c: C source, ASCII text data/ppl-1.2/interfaces/C/tests/weightwatch1.c: C source, ASCII text data/ppl-1.2/interfaces/C/tests/pip_test.c: C source, ASCII text data/ppl-1.2/interfaces/C/tests/formatted_output.c: C source, ASCII text data/ppl-1.2/interfaces/C/tests/Makefile.in: makefile script, ASCII text, with very long lines, with escape sequences data/ppl-1.2/interfaces/C/tests/watchdog1.c: C source, ASCII text data/ppl-1.2/interfaces/C/tests/Makefile.am: ASCII text data/ppl-1.2/interfaces/C/tests/ppl_c_test.cc: C source, ASCII text data/ppl-1.2/interfaces/C/tests/ppl_c_test.h: C source, ASCII text data/ppl-1.2/interfaces/C/tests/print_to_buffer.h: C source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Variable_Stringifier.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Decision_Node.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Poly_Gen_Relation.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Congruence.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Partial_Function.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Sum.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Variables_Set.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Constraint.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/IO.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Degenerate_Element.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Logic_Error_Exception.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Invalid_Argument_Exception.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PPL_Object.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Poly_Con_Relation.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/MIP_Problem_Status.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Generator_Type.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Value.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Tree_Node.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Overflow_Error_Exception.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Grid_Generator.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Fake_Class_for_Doxygen.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Artificial_Parameter.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Times.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Optimization_Mode.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/MIP_Problem.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Domain_Error_Exception.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Grid_Generator_System.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Constraint_System.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Generator.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Timeout_Exception.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Variable.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Coefficient.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Unary_Minus.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/By_Reference.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Congruence_System.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Makefile.am: ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Length_Error_Exception.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Name.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Grid_Generator_Type.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Problem.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Generator_System.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Difference.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Complexity_Class.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Status.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Pair.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/parma_polyhedra_library/Coefficient.java: Perl5 module source, ASCII text data/ppl-1.2/interfaces/Java/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/Java/README.java: ASCII text data/ppl-1.2/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Java/jni/ppl_java_common.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Java/jni/ppl_java_globals.cc: C source, ASCII text data/ppl-1.2/interfaces/Java/jni/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4: C source, ASCII text data/ppl-1.2/interfaces/Java/jni/Makefile.am: ASCII text data/ppl-1.2/interfaces/Java/jni/ppl_java_common_defs.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Java/jni/ppl_java_common_inlines.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Java/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java: C source, ASCII text data/ppl-1.2/interfaces/Java/tests/NNC_Polyhedron_test1.java: C source, ASCII text data/ppl-1.2/interfaces/Java/tests/Variable_Output_test1.java: C source, ASCII text data/ppl-1.2/interfaces/Java/tests/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/Java/tests/PPL_Test.java: ASCII text data/ppl-1.2/interfaces/Java/tests/Makefile.am: ASCII text data/ppl-1.2/interfaces/Java/tests/PIP_Problem_test1.java: Java source, ASCII text data/ppl-1.2/interfaces/Java/tests/Parma_Polyhedra_Library_test1.java: C source, ASCII text data/ppl-1.2/interfaces/Java/tests/Custom_Variable_Stringifier.java: Java source, ASCII text data/ppl-1.2/interfaces/Java/tests/ppl_java_tests_common: Java source, ASCII text data/ppl-1.2/interfaces/Java/tests/C_Polyhedron_test1.java: C source, ASCII text data/ppl-1.2/interfaces/Java/tests/ppl_interface_generator_java_test_java.m4: C source, ASCII text data/ppl-1.2/interfaces/Java/tests/MIP_Problem_test1.java: Java source, ASCII text data/ppl-1.2/interfaces/Java/tests/Test_Executor.java: Java source, ASCII text data/ppl-1.2/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/interfaced_boxes.hh: C++ source, ASCII text data/ppl-1.2/interfaces/ppl_interface_generator_common.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/ppl_interface_generator_copyright: ASCII text data/ppl-1.2/interfaces/marked_pointers.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ciao_clpq.pl: ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ciao_pl_check.pl: ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_prolog_generated_test_pl.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/README.ciao: ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/interfaces/Prolog/Ciao/ciao_clpq2.pl: ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ciao_efli.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ciao_efli.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/Ciao/ciao_cfli.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_systems.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/GNU/gp_clpq.pl: ASCII text data/ppl-1.2/interfaces/Prolog/GNU/README.gprolog: ASCII text data/ppl-1.2/interfaces/Prolog/GNU/ppl_interface_generator_gprolog_pl.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/GNU/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/interfaces/Prolog/GNU/gnu_prolog_generated_test.pl: ASCII text data/ppl-1.2/interfaces/Prolog/GNU/gprolog_efli.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/GNU/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/GNU/gprolog_efli.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/GNU/gnu_pl_check.pl: ASCII text data/ppl-1.2/interfaces/Prolog/GNU/ppl_prolog_sysdep.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/GNU/gprolog_cfli.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/swi_efli.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/swi_efli.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/ppl_swiprolog.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SWI/swi_pl_check.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SWI/swi_prolog_generated_test.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SWI/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/ppl_swiprolog.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/pl_clpq.cc: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/ppl_pl.cc: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/SWI/pl_clpq.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SWI/ppl_prolog_sysdep.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SWI/README.swiprolog: ASCII text data/ppl-1.2/interfaces/Prolog/SWI/swi_cfli.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/Prolog_configured_interface.dox: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/ppl_interface_generator_yap_cc.m4: C source, ASCII text data/ppl-1.2/interfaces/Prolog/YAP/ppl_yap.pl: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/yap_clpq2.pl: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/interfaces/Prolog/YAP/yap_pl_check.pl: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/yap_efli.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/YAP/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/yap_clpq.pl: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/README.yap: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/yap_prolog_generated_test.pl: ASCII text data/ppl-1.2/interfaces/Prolog/YAP/ppl_prolog_sysdep.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/YAP/yap_efli.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/YAP/yap_cfli.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/Prolog_interface_sysindep.dox: ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_hh_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_prolog_common_defs.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4: C source, ASCII text data/ppl-1.2/interfaces/Prolog/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_prolog_common_inlines.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/xsb_pl_check.P: ASCII text data/ppl-1.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_prolog_generated_test_P.m4: C source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/xsb_clpq2.P: C source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/interfaces/Prolog/XSB/xsb_efli.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/xsb_efli.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_hh.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4: C source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/xsb_clpq.P: C source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/ppl_prolog_sysdep.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/XSB/xsb_cfli.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/Prolog_interface_compilation.dox: ASCII text data/ppl-1.2/interfaces/Prolog/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/ppl_interface_generator_sicstus_sd_cc.m4: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sp_prolog_generated_test.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sicstus_efli.cc: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/interfaces/Prolog/SICStus/sicstus_efli.hh: C++ source, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/ppl_sicstus.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sp_clpq.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sp_pl_check.pl: ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sicstus_cfli.cc: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sicstus_cfli.h: C source, ASCII text data/ppl-1.2/interfaces/Prolog/SICStus/sicstus_cfli.ic: C source, ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int32: ASCII text data/ppl-1.2/interfaces/Prolog/tests/sumto.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/ackn.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/pl_check.pl: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int64: ASCII text data/ppl-1.2/interfaces/Prolog/tests/mc91.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_mpz: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int64: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int64_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_mpz: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int8_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int32_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/schedule.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int64_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_mpz: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int32_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_mpz_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int8: ASCII text data/ppl-1.2/interfaces/Prolog/tests/smm.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int64: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int32: ASCII text data/ppl-1.2/interfaces/Prolog/tests/script_clpq2: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int16: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int8: ASCII text data/ppl-1.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int16_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int16_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/script_clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/Makefile.am: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int8_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_mpz_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_mpz_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int16: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int16_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pchk_int8_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int32_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/clpq.pl: ASCII text data/ppl-1.2/interfaces/Prolog/tests/clpq2.pl: ASCII text data/ppl-1.2/interfaces/Prolog/tests/fib.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq_int32: ASCII text data/ppl-1.2/interfaces/Prolog/tests/ack.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/tak.clpq: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_pgt: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int64_a: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int16: ASCII text data/ppl-1.2/interfaces/Prolog/tests/script_clpq2_int8: ASCII text data/ppl-1.2/interfaces/Prolog/tests/expected_clpq2_int8: ASCII text data/ppl-1.2/interfaces/Prolog/Prolog_interface_sysindep_domains.dox: ASCII text data/ppl-1.2/interfaces/Prolog/Prolog_interface_sysdep.dox: HTML document, ASCII text data/ppl-1.2/interfaces/Prolog/Prolog_interface.dox: ASCII text data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/Prolog/ppl_prolog_common.cc: C++ source, ASCII text data/ppl-1.2/interfaces/ppl_interface_generator_common_procedure_generators.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_ocaml_common.cc: C++ source, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_ocaml_globals.ml: ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_hh_code.m4: C++ source, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4: C++ source, ASCII text data/ppl-1.2/interfaces/OCaml/Makefile.in: makefile script, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/README.ocaml: ASCII text data/ppl-1.2/interfaces/OCaml/ppl_ocaml_common_defs.hh: C++ source, ASCII text data/ppl-1.2/interfaces/OCaml/OCaml_interface.dox: ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_hh_files.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_ocaml_globals.mli: ASCII text data/ppl-1.2/interfaces/OCaml/ppl_ocaml_common_inlines.hh: C++ source, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/tests/ppl_ocaml_tests_common: ASCII text data/ppl-1.2/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/tests/test1.ml: ASCII text data/ppl-1.2/interfaces/OCaml/tests/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/interfaces/OCaml/tests/Makefile.am: ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_cc_files.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/OCaml/ppl_interface_generator_ocaml_mli.m4: M4 macro processor script, ASCII text data/ppl-1.2/interfaces/ppl_interface_generator_common_dat.m4: M4 macro processor script, ASCII text data/ppl-1.2/test-driver: POSIX shell script, ASCII text executable, with escape sequences data/ppl-1.2/config.rpath: POSIX shell script, ASCII text executable data/ppl-1.2/ppl-config.sed: ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int16: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int64_a: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int8: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_mpz_a: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/dummy.cc: C source, ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/mas74.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/ship08l.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/sc105.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/sc50b.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/mip.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/sc50a.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/mas76.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/kb2.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/afiro.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/sample.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/blend.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/opt1217.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/Makefile.in: makefile script, ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/p0033.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/markshare2.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/README: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/ex12.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/boeing1.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/rout.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/Makefile.am: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/markshare1.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/bgprtr.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/adlittle.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/egout.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/unboundedmin.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/lseu.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/boeing2.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/modglob.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/ex1.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/pk1.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/examples/noswot.mps: ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int32_a: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/Makefile.in: makefile script, ASCII text, with very long lines data/ppl-1.2/demos/ppl_lpsol/glpk_set_d_eps.c: C source, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int64: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int32: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/ppl_lpsol.c: C source, ASCII text data/ppl-1.2/demos/ppl_lpsol/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int8_a: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/ppl_lpsol.1: troff or preprocessor input, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_mpz: diff output, ASCII text data/ppl-1.2/demos/ppl_lpsol/expected_int16_a: diff output, ASCII text data/ppl-1.2/demos/Makefile.in: makefile script, ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int16: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int64_a: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int8: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_mpz_a: ASCII text data/ppl-1.2/demos/ppl_lcdd/ppl_lcdd.1: troff or preprocessor input, ASCII text data/ppl-1.2/demos/ppl_lcdd/ppl_lcdd.cc: C source, ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube3.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyclic14-8.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/samplev3.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyclic17_8.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ex1.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/diamond.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit708-9.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyc.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in2.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ccc4.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/1d.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cut32_16.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in7.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/origin.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh2.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cross6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/hexocta.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cut16_11.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/trunc7.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/tsp5.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/kkd18_4.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/project1res.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh4.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/tsp5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh7.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cross10.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/dodeca_m.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/kq20_11_m.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh8.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit288-281.ine: ASCII text, with very long lines data/ppl-1.2/demos/ppl_lcdd/examples/sampleh3.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/samplev2.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mp5a.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp4.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/project1_m.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/prodst62.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/trunc10.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ccc6.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ccp6.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyclic12-6.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/dcube3.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/metric40_11.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/dcube10.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cross4.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/Makefile.in: makefile script, ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/redcheck.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/project2res.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube10.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit90-86.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyclic10-4.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/irbox200-4.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp6.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in4.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/reg24-5.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/integralpoints.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyclic25_13.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp7.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ccp4.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/grcubocta.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cubocta.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/README: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/metric80_16.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/1da.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/samplev1.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh1.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ccp5.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/icododeca_m.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/rcubocta.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/Makefile.am: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mp5.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/kkd27_5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sampleh5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cubetop.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp4.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/nonfull.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/kkd38_6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in3.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cyclic16-10.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/dcube8.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/reg600-5_m.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/ccc5.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cross8.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/dcube12.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/infeas.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/rhomtria_m.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in0.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/irbox20-4.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/dcube6.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit71-61.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mp6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube6.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit41-16.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/reg24-5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/project2_m.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp5.ext: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube8.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/in1.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cube12.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/sample.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mp5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cp5.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/mit31-20.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/cross12.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/examples/allzero.ine: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int32_a: ASCII text data/ppl-1.2/demos/ppl_lcdd/Makefile.in: makefile script, ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int64: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int32: ASCII text data/ppl-1.2/demos/ppl_lcdd/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int8_a: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_mpz: ASCII text data/ppl-1.2/demos/ppl_lcdd/expected_int16_a: ASCII text data/ppl-1.2/demos/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/demos/ppl_pips/expected_int16: ASCII text data/ppl-1.2/demos/ppl_pips/expected_int64_a: ASCII text data/ppl-1.2/demos/ppl_pips/expected_int8: ASCII text data/ppl-1.2/demos/ppl_pips/expected_mpz_a: ASCII text data/ppl-1.2/demos/ppl_pips/examples/loz.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/test02.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/max.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/big.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/lineri.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/brisebarre.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/cg1.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/esced.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/rairoi.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/invert.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/max.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/Makefile.in: makefile script, ASCII text data/ppl-1.2/demos/ppl_pips/examples/petit.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/maxb.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/square.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/sor1d.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/README: ASCII text data/ppl-1.2/demos/ppl_pips/examples/Makefile.am: ASCII text data/ppl-1.2/demos/ppl_pips/examples/fimmel.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/test12i.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/ex2.pip: ASCII text data/ppl-1.2/demos/ppl_pips/examples/linear.dat: ASCII text data/ppl-1.2/demos/ppl_pips/examples/pairi.dat: ASCII text data/ppl-1.2/demos/ppl_pips/expected_int32_a: ASCII text data/ppl-1.2/demos/ppl_pips/Makefile.in: makefile script, ASCII text data/ppl-1.2/demos/ppl_pips/ppl_pips.1: troff or preprocessor input, ASCII text data/ppl-1.2/demos/ppl_pips/expected_int64: ASCII text data/ppl-1.2/demos/ppl_pips/expected_int32: ASCII text data/ppl-1.2/demos/ppl_pips/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/demos/ppl_pips/expected_int8_a: ASCII text data/ppl-1.2/demos/ppl_pips/expected_mpz: ASCII text data/ppl-1.2/demos/ppl_pips/ppl_pips.cc: C++ source, ASCII text data/ppl-1.2/demos/ppl_pips/expected_int16_a: ASCII text data/ppl-1.2/instchk.hh: C++ source, ASCII text data/ppl-1.2/compile: POSIX shell script, ASCII text executable data/ppl-1.2/depcomp: POSIX shell script, ASCII text executable data/ppl-1.2/configure.ac: C source, ASCII text, with very long lines data/ppl-1.2/NEWS: ASCII text data/ppl-1.2/README.solaris: ASCII text data/ppl-1.2/ltmain.sh: ASCII text data/ppl-1.2/Makefile.in: makefile script, ASCII text data/ppl-1.2/doc/ppl-user-c-interface-1.2.pdf: PDF document, version 1.5 data/ppl-1.2/doc/interfaces-html.sed: ASCII text data/ppl-1.2/doc/ppl-user-java-interface-1.2.pdf: PDF document, version 1.5 data/ppl-1.2/doc/ppl-user-c-interface-1.2-html.tar.gz: gzip compressed data, last modified: Thu Feb 11 12:43:32 2016, max compression, from Unix, original size modulo 2^32 1873920 data/ppl-1.2/doc/user-language-interface.doxyconf.in: ASCII text data/ppl-1.2/doc/ppl-user-prolog-interface-1.2.ps.gz: gzip compressed data, was "ppl-user-prolog-interface-1.2.ps", last modified: Thu Feb 11 12:44:26 2016, max compression, from Unix, original size modulo 2^32 2353999 data/ppl-1.2/doc/ppl-user-prolog-interface-1.2.pdf: PDF document, version 1.5 data/ppl-1.2/doc/ppl-user-1.2.ps.gz: gzip compressed data, was "ppl-user-1.2.ps", last modified: Thu Feb 11 12:44:23 2016, max compression, from Unix, original size modulo 2^32 25694990 data/ppl-1.2/doc/devref-language-interface.doxyconf.in: ASCII text data/ppl-1.2/doc/fdl.tex: LaTeX 2e document, ASCII text data/ppl-1.2/doc/gpl.pdf: PDF document, version 1.5 data/ppl-1.2/doc/gpl.tex: LaTeX 2e document, ASCII text data/ppl-1.2/doc/interfaces-latex.sed: ASCII text data/ppl-1.2/doc/devref.doxyconf-html.in: ASCII text data/ppl-1.2/doc/fdl.ps.gz: gzip compressed data, was "fdl.ps", last modified: Thu Feb 11 12:44:14 2016, max compression, from Unix, original size modulo 2^32 419846 data/ppl-1.2/doc/ppl_citations.bib: ASCII text data/ppl-1.2/doc/ppl-user-java-interface-1.2.ps.gz: gzip compressed data, was "ppl-user-java-interface-1.2.ps", last modified: Thu Feb 11 12:44:27 2016, max compression, from Unix, original size modulo 2^32 4449376 data/ppl-1.2/doc/gpl.ps.gz: gzip compressed data, was "gpl.ps", last modified: Thu Feb 11 12:44:14 2016, max compression, from Unix, original size modulo 2^32 552416 data/ppl-1.2/doc/ppl_logo.pdf: PDF document, version 1.4 data/ppl-1.2/doc/gpl.txt: ASCII text data/ppl-1.2/doc/Makefile.in: makefile script, ASCII text data/ppl-1.2/doc/README.doc: ASCII text data/ppl-1.2/doc/ppl.bib: ASCII text data/ppl-1.2/doc/bugseng_logo.pdf: PDF document, version 1.4 data/ppl-1.2/doc/gpl.dox: HTML document, ASCII text data/ppl-1.2/doc/user.doxyconf-latex.in: ASCII text data/ppl-1.2/doc/ppl_logo_no_ppl.pdf: PDF document, version 1.4 data/ppl-1.2/doc/fdl.txt: ASCII text data/ppl-1.2/doc/fdl.dox: ASCII text data/ppl-1.2/doc/ppl-config.1: troff or preprocessor input, ASCII text data/ppl-1.2/doc/ppl.sty: ASCII text data/ppl-1.2/doc/ppl-user-1.2.pdf: PDF document, version 1.5 data/ppl-1.2/doc/ppl-user-c-interface-1.2.ps.gz: gzip compressed data, was "ppl-user-c-interface-1.2.ps", last modified: Thu Feb 11 12:44:25 2016, max compression, from Unix, original size modulo 2^32 4999476 data/ppl-1.2/doc/ppl-user-1.2-html.tar.gz: gzip compressed data, last modified: Thu Feb 11 12:43:26 2016, max compression, from Unix, original size modulo 2^32 11397120 data/ppl-1.2/doc/devref.doxyconf-latex.in: ASCII text data/ppl-1.2/doc/libppl_c.3: troff or preprocessor input, ASCII text data/ppl-1.2/doc/ppl-user-prolog-interface-1.2-html.tar.gz: gzip compressed data, last modified: Thu Feb 11 12:43:34 2016, max compression, from Unix, original size modulo 2^32 522240 data/ppl-1.2/doc/libppl.3: C source, ASCII text data/ppl-1.2/doc/fdl.pdf: PDF document, version 1.5 data/ppl-1.2/doc/definitions.dox: LaTeX document, ASCII text data/ppl-1.2/doc/ppl-user-java-interface-1.2-html.tar.gz: gzip compressed data, last modified: Thu Feb 11 12:43:39 2016, max compression, from Unix, original size modulo 2^32 2744320 data/ppl-1.2/doc/user.doxyconf-html.in: ASCII text data/ppl-1.2/doc/Makefile.am: ASCII text data/ppl-1.2/doc/user.tex: LaTeX 2e document, ASCII text data/ppl-1.2/doc/devref-language-interface.tex: LaTeX 2e document, ASCII text data/ppl-1.2/doc/devref.tex: LaTeX 2e document, ASCII text data/ppl-1.2/doc/user-language-interface.tex: LaTeX 2e document, ASCII text data/ppl-1.2/COPYING: ASCII text data/ppl-1.2/aclocal.m4: M4 macro processor script, ASCII text data/ppl-1.2/config.h.in: C source, ASCII text data/ppl-1.2/mkinstalldirs: POSIX shell script, ASCII text executable data/ppl-1.2/README: ASCII text data/ppl-1.2/config.guess: POSIX shell script, ASCII text executable data/ppl-1.2/ppl-config.h.in: C source, ASCII text data/ppl-1.2/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/missing: POSIX shell script, ASCII text executable data/ppl-1.2/config.sub: POSIX shell script, ASCII text executable data/ppl-1.2/m4/ac_prog_java.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_double_binary_format.m4: M4 macro processor script, ASCII text, with very long lines data/ppl-1.2/m4/ac_check_sicstus_prolog.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_ieee_inexact_flag.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_prog_javac.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_prog_javah.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_cxx11.m4: C++ source, ASCII text data/ppl-1.2/m4/ltversion.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/Makefile.in: makefile script, ASCII text data/ppl-1.2/m4/ac_check_classpath.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_ciao.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/lt~obsolete.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/m4.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_gmp.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_prog_jar.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_fpu_control.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ppl.m4: C++ source, ASCII text data/ppl-1.2/m4/ltsugar.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_proper_long_double.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_zero_length_arrays.m4: C++ source, ASCII text data/ppl-1.2/m4/Makefile.am: ASCII text data/ppl-1.2/m4/ac_cxx_limit_memory.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_use_libtool.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_text_md5sum.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/libtool.m4: M4 macro processor script, ASCII text, with very long lines data/ppl-1.2/m4/ppl_c.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ltoptions.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_plain_char_is_signed.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_xsb_prolog.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_long_double_binary_format.m4: M4 macro processor script, ASCII text, with very long lines data/ppl-1.2/m4/ac_cxx_attribute_weak.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_yap.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ocaml.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_cxx_float_binary_format.m4: M4 macro processor script, ASCII text data/ppl-1.2/m4/ac_check_swi_prolog.m4: M4 macro processor script, ASCII text data/ppl-1.2/install-sh: POSIX shell script, ASCII text executable data/ppl-1.2/ppl.lsm.in: Linux Software Map entry text (new format), ASCII text data/ppl-1.2/BUGS: ASCII text data/ppl-1.2/STANDARDS: C++ source, ASCII text data/ppl-1.2/tests/Grid/asciidumpload5.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/maxmin1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/membytes1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/contains1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/partition1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/bounds1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/addgenerator1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/refinewithconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/congruences1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/grid1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/addgenerators1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/asciidumpload4.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/generalizedaffinepreimage3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/timeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generators2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/asciidumpload3.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generalizedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/congruences2.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/addconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/grid3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/constraints1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/mapspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/affinedim1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generator1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/affinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/removespacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/certificate1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/affinepreimage2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/relations1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/powersetgeometricallycovers1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/Grid/upperbound2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/addcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/refinewithcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/powersetgeometricallyequals1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/mincongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/widening3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/bhz03widening1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generalizedaffinepreimage2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/wrap1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/limitedextrapolation2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/powersetdifference1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/expandspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/boundedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generalizedaffineimage3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/limitedextrapolation3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/addspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/grid2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/approximatepartition1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/removespacedims2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generators1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/frequency1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/boundedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/simplifyusingcontext1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/Makefile.am: ASCII text data/ppl-1.2/tests/Grid/congruence1.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/fromoctagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/relations3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/discrete1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generalizedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/addconstraint1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/relations2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/isempty1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/affineimage2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/upperbound1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/griddifference1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/asciidumpload2.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/foldspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/dropnonintegerpoints1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/outputoperator1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/addcongruence1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/topclosed1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/widening1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/containsintegerpoint1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/unconstrain1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/widening2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/mingenerators1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/limitedextrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/frompolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/outputoperator2.cc: C source, ASCII text data/ppl-1.2/tests/Grid/isuniverse1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/topclosure1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/asciidumpload1.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/asciidumpload6.cc: C++ source, ASCII text data/ppl-1.2/tests/Grid/outputoperator3.cc: C source, ASCII text data/ppl-1.2/tests/Grid/writecongruencesystem.cc: C source, ASCII text data/ppl-1.2/tests/Grid/equals1.cc: C source, ASCII text data/ppl-1.2/tests/Grid/generalizedaffineimage2.cc: C source, ASCII text data/ppl-1.2/tests/MIP_Problem/mipproblem1.cc: C source, ASCII text data/ppl-1.2/tests/MIP_Problem/ascii_dump_load1.cc: C++ source, ASCII text data/ppl-1.2/tests/MIP_Problem/mipproblem4.cc: C source, ASCII text data/ppl-1.2/tests/MIP_Problem/exceptions1.cc: C source, ASCII text data/ppl-1.2/tests/MIP_Problem/mipproblem2.cc: C++ source, ASCII text data/ppl-1.2/tests/MIP_Problem/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/MIP_Problem/Makefile.am: ASCII text data/ppl-1.2/tests/MIP_Problem/mipproblem3.cc: C source, ASCII text, with very long lines data/ppl-1.2/tests/Random_Number_Generator_inlines.hh: C++ source, ASCII text data/ppl-1.2/tests/Watchdog/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/Watchdog/watchdog1.cc: C source, ASCII text data/ppl-1.2/tests/Watchdog/Makefile.am: ASCII text data/ppl-1.2/tests/ppl_test.hh: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/maxmin1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/contains1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/bounds1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/refinewithconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/congruences1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/directproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/dropsomenonintegerpoints1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/spacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/timeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/smashproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/constraintsproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/generalizedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/constraints1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/dimension1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/shapepreservingproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/relations1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/Makefile.in: makefile script, ASCII text, with very long lines, with escape sequences data/ppl-1.2/tests/Partially_Reduced_Product/addcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/refinewithcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/boundedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/Makefile.am: ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/fromoctagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/discrete1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/isempty1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/upperbound1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/topclosed1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/fromproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/congruencesproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/difference1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/frompolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/partially_reduced_product_test.hh: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/isuniverse1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/topclosure1.cc: C source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/asciidumpload1.cc: C++ source, ASCII text data/ppl-1.2/tests/Partially_Reduced_Product/equals1.cc: C source, ASCII text data/ppl-1.2/tests/Box/limitedcc76extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Box/affinedimension1.cc: C source, ASCII text data/ppl-1.2/tests/Box/frompartiallyreducedproduct1.cc: C source, ASCII text data/ppl-1.2/tests/Box/membytes1.cc: C source, ASCII text data/ppl-1.2/tests/Box/contains1.cc: C source, ASCII text data/ppl-1.2/tests/Box/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/Box/refinewithconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Box/ascii_dump_load1.cc: C++ source, ASCII text data/ppl-1.2/tests/Box/refinewithconstraint2.cc: C source, ASCII text data/ppl-1.2/tests/Box/cc76widening.cc: C source, ASCII text data/ppl-1.2/tests/Box/congruences1.cc: C source, ASCII text data/ppl-1.2/tests/Box/empty1.cc: C source, ASCII text data/ppl-1.2/tests/Box/refinewithconstraints2.cc: C++ source, ASCII text, with very long lines data/ppl-1.2/tests/Box/timeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/Box/propagateconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Box/writebox1.cc: C source, ASCII text data/ppl-1.2/tests/Box/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/Box/max_min1.cc: C source, ASCII text data/ppl-1.2/tests/Box/generalizedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Box/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/Box/addconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Box/constraints1.cc: C source, ASCII text data/ppl-1.2/tests/Box/cc76narrowing1.cc: C source, ASCII text data/ppl-1.2/tests/Box/mapspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Box/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Box/bgp99extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Box/interval1.cc: C++ source, ASCII text data/ppl-1.2/tests/Box/affinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Box/removespacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Box/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/Box/relations4.cc: C source, ASCII text data/ppl-1.2/tests/Box/relations1.cc: C source, ASCII text data/ppl-1.2/tests/Box/propagateconstraints2.cc: C++ source, ASCII text data/ppl-1.2/tests/Box/Makefile.in: makefile script, ASCII text, with very long lines, with escape sequences data/ppl-1.2/tests/Box/refinewithcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Box/refinewithconstraint1.cc: C source, ASCII text data/ppl-1.2/tests/Box/bhz03widening1.cc: C source, ASCII text data/ppl-1.2/tests/Box/wrap1.cc: C source, ASCII text data/ppl-1.2/tests/Box/equality1.cc: C source, ASCII text data/ppl-1.2/tests/Box/expandspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Box/boundedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Box/universe1.cc: C source, ASCII text data/ppl-1.2/tests/Box/addspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Box/refinewithcongruence1.cc: C source, ASCII text data/ppl-1.2/tests/Box/frequency1.cc: C source, ASCII text data/ppl-1.2/tests/Box/boundedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Box/simplifyusingcontext1.cc: C source, ASCII text data/ppl-1.2/tests/Box/Makefile.am: ASCII text data/ppl-1.2/tests/Box/upperboundifexact1.cc: C source, ASCII text data/ppl-1.2/tests/Box/relations3.cc: C source, ASCII text data/ppl-1.2/tests/Box/discrete1.cc: C source, ASCII text data/ppl-1.2/tests/Box/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/Box/frompolyhedron2.cc: C source, ASCII text data/ppl-1.2/tests/Box/generalizedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Box/relations2.cc: C source, ASCII text data/ppl-1.2/tests/Box/upperbound1.cc: C source, ASCII text data/ppl-1.2/tests/Box/fromgensys1.cc: C source, ASCII text data/ppl-1.2/tests/Box/foldspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Box/fromspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Box/run_tests: POSIX shell script, ASCII text executable data/ppl-1.2/tests/Box/topclosed1.cc: C source, ASCII text data/ppl-1.2/tests/Box/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/Box/difference1.cc: C source, ASCII text data/ppl-1.2/tests/Box/containsintegerpoint1.cc: C source, ASCII text data/ppl-1.2/tests/Box/unconstrain1.cc: C source, ASCII text data/ppl-1.2/tests/Box/maxspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Box/frompolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Box/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Box/minconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Box/constrains1.cc: C source, ASCII text data/ppl-1.2/tests/Box/geomcovers1.cc: C source, ASCII text data/ppl-1.2/tests/Box/generalizedaffineimage2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/boundedh79extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/exceptions2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/termination1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/hybrid.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/polydifference2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/polyhullifexact1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/membytes1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/contains1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bounds1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/nncminimize2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addgenerator1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/refinewithconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/ascii_dump_load1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/congruences1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bgp99extrapolation2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/polyhull1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/dropsomenonintegerpoints1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addgenerators1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/cnncconversion1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/timeelapse2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/variablesset1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/empty1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/universe2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/nncpostimeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/matrix1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bhrz03widening3.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/timeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/linearpartition1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/linearsystem1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/limitedh79extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/exceptions1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/max_min1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addspacedims2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/generalizedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/constraints1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/frombox2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/boundedbhrz03extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/memory1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/limitedbhrz03extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/mapspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bgp99extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/wrap2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bhrz03widening1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/permute.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/randphull1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/affinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/removespacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addconstraints2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/append1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/relations1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/disjoint2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/writegensys1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/numberinput1.cc: C source, ASCII text, with very long lines data/ppl-1.2/tests/Polyhedron/Makefile.in: makefile script, ASCII text, with very long lines, with escape sequences data/ppl-1.2/tests/Polyhedron/writepolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/refinewithcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/ascii_dump_load3.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/expandspacedim2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/refinewithconstraint1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/simplifyusingcontext2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bhz03widening1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/ascii_dump_load2.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/smm1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/generalizedaffinepreimage2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/onepoint.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addgenerator2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/wrap1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/polyhull2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/expandspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/boundedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/sparserow1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/universe1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/termination2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/refinewithcongruence1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/h79widening2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/removespacedims2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/generators1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/frequency1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/boundedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/h79widening1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/simplifyusingcontext1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/writepolyhedron2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/watchdog1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/Makefile.am: ASCII text data/ppl-1.2/tests/Polyhedron/memory2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/fromoctagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/relations3.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/mingenerators2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/writeconsys1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/generalizedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addconstraint1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/polydifference1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/relations2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/affineimage2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/dropsomenonintegerpoints2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/polyhullifexact2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/bhrz03widening2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/foldspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addcongruence1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/affinetrans.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/mc91.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/contains2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/minconstraints2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/topclosed1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/writerelation1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/containsintegerpoint1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/unconstrain1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/writevariable1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/append2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/maxspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/linearexpression1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/mingenerators1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/hypercubes.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/dualhypercubes.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/minconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/topclosure1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/exceptions3.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/constrains1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/weightwatch1.cc: C++ source, ASCII text data/ppl-1.2/tests/Polyhedron/nncminimize1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/addgenerators2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/equals1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/geomcovers1.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/generalizedaffineimage2.cc: C source, ASCII text data/ppl-1.2/tests/Polyhedron/foldspacedims2.cc: C source, ASCII text data/ppl-1.2/tests/files.hh: C source, ASCII text data/ppl-1.2/tests/ppl_test.cc: C++ source, ASCII text data/ppl-1.2/tests/CO_Tree/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/CO_Tree/Makefile.am: ASCII text data/ppl-1.2/tests/CO_Tree/cotree1.cc: C source, ASCII text data/ppl-1.2/tests/Makefile.in: makefile script, ASCII text data/ppl-1.2/tests/valgrind_suppressions: ASCII text data/ppl-1.2/tests/Octagonal_Shape/limitedcc76extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/affinedimension1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/relatwithgen1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/relatwithcons3.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/membytes1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/contains1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/bounds1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/ascii_dump_load1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/relatwithcons1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/congruences1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/dropsomenonintegerpoints1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/writeoctagon1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/empty1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffinepreimage3.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffinepreimage4.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/bhmz05widening1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/timeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/max_min1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/constraints1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/cc76narrowing1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/mapspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/affinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/removespacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/affinepreimage2.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/Octagonal_Shape/relatwithcons2.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/bhz03widening1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/max_min2.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffinepreimage2.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/wrap1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/expandspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/boundedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffineimage3.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/cc76extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/universe1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/addspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/frequency1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/boundedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/simplifyusingcontext1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/Makefile.am: ASCII text data/ppl-1.2/tests/Octagonal_Shape/upperboundifexact1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/fromoctagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/discrete1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/affineimage2.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/upperbound1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/limitedbhmz05extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffineimage5.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/fromgensys1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/foldspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/fromspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffineimage4.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/run_tests: POSIX shell script, ASCII text executable data/ppl-1.2/tests/Octagonal_Shape/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/difference1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/containsintegerpoint1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/unconstrain1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/chinainit.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/maxspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/frompolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/minconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/constrains1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/integerupperboundifexact1.cc: C source, ASCII text data/ppl-1.2/tests/Octagonal_Shape/generalizedaffineimage2.cc: C source, ASCII text data/ppl-1.2/tests/README: ASCII text data/ppl-1.2/tests/BD_Shape/limitedcc76extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/affinedimension1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/membytes1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/contains1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/bounds1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/ascii_dump_load1.cc: C++ source, ASCII text data/ppl-1.2/tests/BD_Shape/congruences1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/dropsomenonintegerpoints1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/empty1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/generalizedaffinepreimage3.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/bhmz05widening1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/timeelapse1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/limitedh79extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/writebdshape1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/max_min1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/generalizedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/addconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/constraints1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/cc76narrowing1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/mapspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/bgp99extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/affinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/removespacedims1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/relations4.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/relations1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/BD_Shape/bhz03widening1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/max_min2.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/generalizedaffinepreimage2.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/wrap1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/equality1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/expandspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/boundedaffineimage1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/cc76extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/universe1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/addspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/frequency1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/boundedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/h79widening1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/simplifyusingcontext1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/Makefile.am: ASCII text data/ppl-1.2/tests/BD_Shape/upperboundifexact1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/fromoctagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/relations3.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/discrete1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/generalizedaffinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/relations2.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/affineimage2.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/upperbound1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/limitedbhmz05extrapolation1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/fromgensys1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/closure1.cc: C++ source, ASCII text data/ppl-1.2/tests/BD_Shape/foldspacedims1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/fromspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/run_tests: POSIX shell script, ASCII text executable data/ppl-1.2/tests/BD_Shape/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/difference1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/containsintegerpoint1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/unconstrain1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/maxspacedim1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/frompolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/minconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/constrains1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/integerupperboundifexact1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/geomcovers1.cc: C source, ASCII text data/ppl-1.2/tests/BD_Shape/generalizedaffineimage2.cc: C source, ASCII text data/ppl-1.2/tests/Random_Number_Generator_defs.hh: C++ source, ASCII text data/ppl-1.2/tests/Random_Number_Generator_types.hh: C++ source, ASCII text data/ppl-1.2/tests/files.cc: C++ source, ASCII text data/ppl-1.2/tests/Powerset/affinedimension1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/refinewith1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/maxmin1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/membytes1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/contains1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/fromgrid1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/bounds1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/spacedims1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/empty1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/relationwith1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/powerset1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/reduce1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/fromspacedimension1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/bounded1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/disjoint1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/addconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/frombdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/affinepreimage1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/concatenate1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/Powerset/addcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/universe1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/simplifyusingcontext1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/Makefile.am: ASCII text data/ppl-1.2/tests/Powerset/fromoctagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/discrete1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/frombox1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/size1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/meet1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/upperbound1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/closed1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/closure1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/disjunct1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/intersection1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/difference1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/containsintegerpoint1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/entails1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/fromcongruences1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/collapse1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/frompolyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/affineimage1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/fromconstraints1.cc: C source, ASCII text data/ppl-1.2/tests/Powerset/equals1.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/octagonalshape1.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/polyhedron2.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/Concrete_Expression/polyhedron1.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/digitalfilters1.cc: C++ source, ASCII text data/ppl-1.2/tests/Concrete_Expression/linearize.cc: C++ source, ASCII text data/ppl-1.2/tests/Concrete_Expression/linearform1.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/bdshape1.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/Makefile.am: ASCII text data/ppl-1.2/tests/Concrete_Expression/C_Expr_defs.hh: C++ source, ASCII text data/ppl-1.2/tests/Concrete_Expression/bdshape2.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/run_tests: POSIX shell script, ASCII text executable data/ppl-1.2/tests/Concrete_Expression/octagonalshape2.cc: C source, ASCII text data/ppl-1.2/tests/Concrete_Expression/C_Expr_inlines.hh: C++ source, ASCII text data/ppl-1.2/tests/Concrete_Expression/C_Expr.cc: C source, ASCII text data/ppl-1.2/tests/PIP_Problem/ascii_dump_load1.cc: C++ source, ASCII text data/ppl-1.2/tests/PIP_Problem/pipproblem1.cc: C source, ASCII text data/ppl-1.2/tests/PIP_Problem/exceptions1.cc: C source, ASCII text data/ppl-1.2/tests/PIP_Problem/pipproblem2.cc: C source, ASCII text data/ppl-1.2/tests/PIP_Problem/Makefile.in: makefile script, ASCII text, with escape sequences data/ppl-1.2/tests/PIP_Problem/Makefile.am: ASCII text data/ppl-1.2/tests/PIP_Problem/pipproblem3.cc: C source, ASCII text data/ppl-1.2/tests/PIP_Problem/weightwatch1.cc: C++ source, ASCII text data/ppl-1.2/tests/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/TODO: ASCII text data/ppl-1.2/src/version.cc: C source, ASCII text data/ppl-1.2/src/Linear_System_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Concrete_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Temp_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Matrix_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Coefficient_traits_template.hh: C++ source, ASCII text data/ppl-1.2/src/MIP_Problem.cc: C source, ASCII text data/ppl-1.2/src/wrap_string.cc: C++ source, ASCII text data/ppl-1.2/src/Constraint_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Opposite_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/Threshold_Watcher_types.hh: C++ source, ASCII text data/ppl-1.2/src/BD_Shape_types.hh: C++ source, ASCII text data/ppl-1.2/src/fpu_types.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Scalar_Products_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Certificate_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/GMP_Integer_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Box_Status_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/GMP_Integer_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Concrete_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/assertions.cc: C source, ASCII text data/ppl-1.2/src/Variables_Set_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/distances_defs.hh: C++ source, ASCII text data/ppl-1.2/src/distances_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/NNC_Polyhedron_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Polyhedron_chdims.cc: C source, ASCII text data/ppl-1.2/src/Bit_Row.cc: C source, ASCII text data/ppl-1.2/src/BHRZ03_Certificate_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Con_Relation_types.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Gen_Relation.cc: C source, ASCII text data/ppl-1.2/src/Partial_Function_types.hh: C++ source, ASCII text data/ppl-1.2/src/Coefficient_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence_System_defs.hh: C++ source, ASCII text data/ppl-1.2/src/iterator_to_const_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Row_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Variable_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Polyhedron_templates.hh: C++ source, ASCII text data/ppl-1.2/src/assign_or_swap.hh: C++ source, ASCII text data/ppl-1.2/src/Time_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Matrix_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Sparse_Row_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Box_Status.cc: C++ source, ASCII text data/ppl-1.2/src/checked_float_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Result_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Weight_Profiler.cc: C++ source, ASCII text data/ppl-1.2/src/Box_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Doubly_Linked_Object_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/fpu-ia32.cc: C++ source, ASCII text data/ppl-1.2/src/PIP_Tree.cc: C++ source, ASCII text data/ppl-1.2/src/Difference_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/Sum_Floating_Point_Expression_templates.hh: C++ source, ASCII text data/ppl-1.2/src/BHRZ03_Certificate_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Og_Status.cc: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Interface_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Status_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Handler_types.hh: C++ source, ASCII text data/ppl-1.2/src/checked_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/fpu_defs.hh: C++ source, ASCII text data/ppl-1.2/src/iterator_to_const_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Constraint_System_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Sparse_Row_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Determinate_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Generator_System.cc: C source, ASCII text data/ppl-1.2/src/Octagonal_Shape_templates.hh: C++ source, ASCII text data/ppl-1.2/src/BDS_Status_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Widening_Function_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/MIP_Problem_defs.hh: C++ source, ASCII text data/ppl-1.2/src/mp_std_bits_inlines.hh: C source, ASCII text data/ppl-1.2/src/Linear_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Octagonal_Shape_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Ptr_Iterator_types.hh: C++ source, ASCII text data/ppl-1.2/src/BDS_Status.cc: C++ source, ASCII text data/ppl-1.2/src/Division_Floating_Point_Expression_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Impl_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Generator_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Status_idefs.hh: C++ source, ASCII text data/ppl-1.2/src/Sparse_Row.cc: C++ source, ASCII text data/ppl-1.2/src/c_streambuf_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Polyhedron_public.cc: C source, ASCII text data/ppl-1.2/src/Constraint_types.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Hide_Last_defs.hh: C++ source, ASCII text data/ppl-1.2/src/NNC_Polyhedron.cc: C source, ASCII text data/ppl-1.2/src/iterator_to_const_types.hh: C++ source, ASCII text data/ppl-1.2/src/PIP_Problem_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Variable.cc: C source, ASCII text data/ppl-1.2/src/Octagonal_Shape_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Variable_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/fpu-sparc_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/BD_Shape_templates.hh: C++ source, ASCII text data/ppl-1.2/src/set_GMP_memory_alloc_funcs.cc: C source, ASCII text data/ppl-1.2/src/Variable_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Sum_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/ppl.hh.dist: C source, ASCII text data/ppl-1.2/src/Polyhedron_defs.hh: C++ source, ASCII text data/ppl-1.2/src/PIP_Problem_types.hh: C++ source, ASCII text data/ppl-1.2/src/Multiplication_Floating_Point_Expression_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Constraint_System.cc: C source, ASCII text data/ppl-1.2/src/Polyhedron_simplify_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Gen_Relation_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/PIP_Problem_templates.hh: C++ source, ASCII text data/ppl-1.2/src/CO_Tree_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Watchdog_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Init_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/stdiobuf_types.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Hide_Last_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Con_Relation_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Constraint_System_types.hh: C++ source, ASCII text data/ppl-1.2/src/NNC_Polyhedron_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Generator_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/globals_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Impl_types.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Cast_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/OR_Matrix_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/linearize.hh: C++ source, ASCII text data/ppl-1.2/src/Watchdog_defs.hh: C++ source, ASCII text data/ppl-1.2/src/WRD_coefficient_types_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Matrix_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Coefficient_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Dense_Row_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/c_streambuf.cc: C++ source, ASCII text data/ppl-1.2/src/Bit_Matrix_types.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Impl.cc: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Impl_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Bit_Row_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Init_types.hh: C++ source, ASCII text data/ppl-1.2/src/BUGS.hh.dist: C source, ASCII text data/ppl-1.2/src/MIP_Problem_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Multiplication_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Generator_System.cc: C source, ASCII text data/ppl-1.2/src/Polyhedron_minimize_templates.hh: C++ source, ASCII text data/ppl-1.2/src/GMP_Integer_types.hh: C++ source, ASCII text data/ppl-1.2/src/Ph_Status.cc: C source, ASCII text data/ppl-1.2/src/CREDITS.hh.dist: C source, ASCII text data/ppl-1.2/src/Grid_types.hh: C++ source, ASCII text data/ppl-1.2/src/Scalar_Products.cc: C source, ASCII text data/ppl-1.2/src/Multiplication_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/fpu-none_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Result_defs.hh: C++ source, ASCII text data/ppl-1.2/src/CREDITS.cc.dist: C source, ASCII text data/ppl-1.2/src/globals_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Time.cc: C source, ASCII text data/ppl-1.2/src/Box_Status_idefs.hh: C++ source, ASCII text data/ppl-1.2/src/Polyhedron_nonpublic.cc: C source, ASCII text data/ppl-1.2/src/Polyhedron_conversion_templates.hh: C++ source, ASCII text data/ppl-1.2/src/version.hh.in: C++ source, ASCII text data/ppl-1.2/src/Generator_defs.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Matrix_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Checked_Number_templates.hh: C++ source, ASCII text data/ppl-1.2/src/CO_Tree_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Bit_Row_types.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Row_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Opposite_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Floating_Point_Expression_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Handler_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Interface.cc: C source, ASCII text data/ppl-1.2/src/Linear_Expression_Interface_types.hh: C++ source, ASCII text data/ppl-1.2/src/Time_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Threshold_Watcher_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Variable_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Float_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Init.cc: C++ source, ASCII text data/ppl-1.2/src/PIP_Problem.cc: C source, ASCII text data/ppl-1.2/src/Pointset_Powerset_defs.hh: C++ source, ASCII text data/ppl-1.2/src/C_Polyhedron.cc: C source, ASCII text data/ppl-1.2/src/Concrete_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/wrap_assign.hh: C++ source, ASCII text data/ppl-1.2/src/wrap_string.hh: C++ source, ASCII text data/ppl-1.2/src/Determinate_types.hh: C++ source, ASCII text data/ppl-1.2/src/Widening_Function_types.hh: C++ source, ASCII text data/ppl-1.2/src/Pending_List_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Constraint.cc: C source, ASCII text data/ppl-1.2/src/NNC_Polyhedron_types.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Matrix_types.hh: C++ source, ASCII text data/ppl-1.2/src/Partially_Reduced_Product_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Generator_System_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/MIP_Problem_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence_System.cc: C source, ASCII text data/ppl-1.2/src/Expression_Adapter_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/intervals_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Bit_Row_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Division_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Pointset_Powerset_types.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_System_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Boundary_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Makefile.in: makefile script, ASCII text data/ppl-1.2/src/Grid_widenings.cc: C source, ASCII text data/ppl-1.2/src/Polyhedron_widenings.cc: C source, ASCII text data/ppl-1.2/src/Variables_Set.cc: C source, ASCII text data/ppl-1.2/src/BUGS.cc.dist: C source, ASCII text data/ppl-1.2/src/Dense_Row_types.hh: C++ source, ASCII text data/ppl-1.2/src/EList_Iterator_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Powerset_types.hh: C++ source, ASCII text data/ppl-1.2/src/stdiobuf_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Interval_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/C_Polyhedron_defs.hh: C++ source, ASCII text data/ppl-1.2/src/initializer.hh: C++ source, ASCII text data/ppl-1.2/src/Box_templates.hh: C++ source, ASCII text data/ppl-1.2/src/checked_mpz_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Generator_System_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Sum_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Interval_Info_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/CO_Tree.cc: C source, ASCII text data/ppl-1.2/src/PIP_Problem_defs.hh: C++ source, ASCII text data/ppl-1.2/src/algorithms.hh: C++ source, ASCII text data/ppl-1.2/src/Init_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Hide_Last_types.hh: C++ source, ASCII text data/ppl-1.2/src/Powerset_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Octagonal_Shape_types.hh: C++ source, ASCII text data/ppl-1.2/src/Octagonal_Shape.cc: C source, ASCII text data/ppl-1.2/src/Has_Assign_Or_Swap.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_System_types.hh: C++ source, ASCII text data/ppl-1.2/src/Rational_Interval.hh: C++ source, ASCII text data/ppl-1.2/src/globals.cc: C++ source, ASCII text data/ppl-1.2/src/H79_Certificate.cc: C source, ASCII text data/ppl-1.2/src/Determinate_defs.hh: C++ source, ASCII text data/ppl-1.2/src/C_Polyhedron_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/OR_Matrix_types.hh: C++ source, ASCII text data/ppl-1.2/src/Partially_Reduced_Product_types.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Row_types.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/Variable_types.hh: C++ source, ASCII text data/ppl-1.2/src/mp_std_bits.cc: C source, ASCII text data/ppl-1.2/src/EList_types.hh: C++ source, ASCII text data/ppl-1.2/src/Matrix_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_public.cc: C source, ASCII text data/ppl-1.2/src/Interval_types.hh: C++ source, ASCII text data/ppl-1.2/src/BHRZ03_Certificate_types.hh: C++ source, ASCII text data/ppl-1.2/src/checked_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Partially_Reduced_Product_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/BD_Shape_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Pending_Element_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Generator_types.hh: C++ source, ASCII text data/ppl-1.2/src/BHRZ03_Certificate.cc: C source, ASCII text data/ppl-1.2/src/PIP_Tree_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Box.cc: C source, ASCII text data/ppl-1.2/src/Og_Status_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/math_utilities_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Scalar_Products_defs.hh: C++ source, ASCII text data/ppl-1.2/src/fpu-c99_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Temp_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Sparse_Row_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Generator_System_defs.hh: C++ source, ASCII text data/ppl-1.2/src/namespaces.hh: C++ source, ASCII text data/ppl-1.2/src/Threshold_Watcher_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Pointset_Powerset_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/ppl_header.hh: C source, ASCII text data/ppl-1.2/src/Difference_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Opposite_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/PIP_Tree_types.hh: C++ source, ASCII text data/ppl-1.2/src/Widening_Function_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Pending_Element_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Partial_Function_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/stdiobuf.cc: C++ source, ASCII text data/ppl-1.2/src/Grid_Certificate_types.hh: C++ source, ASCII text data/ppl-1.2/src/Og_Status_idefs.hh: C++ source, ASCII text data/ppl-1.2/src/Ph_Status_idefs.hh: C++ source, ASCII text data/ppl-1.2/src/Slow_Copy.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression.cc: C source, ASCII text data/ppl-1.2/src/OR_Matrix_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/max_space_dimension.hh: C++ source, ASCII text data/ppl-1.2/src/checked.cc: C++ source, ASCII text data/ppl-1.2/src/swapping_sort_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Constant_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Difference_Floating_Point_Expression_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Swapping_Vector_types.hh: C++ source, ASCII text data/ppl-1.2/src/Ptr_Iterator_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Threshold_Watcher_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Integer_Interval.hh: C++ source, ASCII text data/ppl-1.2/src/Matrix_types.hh: C++ source, ASCII text data/ppl-1.2/src/globals_types.hh: C++ source, ASCII text data/ppl-1.2/src/Powerset_defs.hh: C++ source, ASCII text data/ppl-1.2/src/C_Polyhedron_types.hh: C++ source, ASCII text data/ppl-1.2/src/Cast_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Con_Relation_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Makefile.am: ASCII text data/ppl-1.2/src/Grid_Generator_types.hh: C++ source, ASCII text data/ppl-1.2/src/Watchdog.cc: C++ source, ASCII text data/ppl-1.2/src/Handler_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Hide_Inhomo_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Dense_Row.cc: C source, ASCII text data/ppl-1.2/src/c_streambuf_types.hh: C++ source, ASCII text data/ppl-1.2/src/Scalar_Products_types.hh: C++ source, ASCII text data/ppl-1.2/src/math_utilities_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Adapter_types.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Hide_Inhomo_types.hh: C++ source, ASCII text data/ppl-1.2/src/Ptr_Iterator_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Gen_Relation_types.hh: C++ source, ASCII text data/ppl-1.2/src/Pending_Element_types.hh: C++ source, ASCII text data/ppl-1.2/src/Numeric_Format_defs.hh: C++ source, ASCII text data/ppl-1.2/src/H79_Certificate_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_System_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Swapping_Vector_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Temp_templates.hh: C++ source, ASCII text data/ppl-1.2/src/H79_Certificate_types.hh: C++ source, ASCII text data/ppl-1.2/src/termination.cc: C++ source, ASCII text data/ppl-1.2/src/Handler.cc: C source, ASCII text data/ppl-1.2/src/Grid_Status.cc: C source, ASCII text data/ppl-1.2/src/Threshold_Watcher.cc: C source, ASCII text data/ppl-1.2/src/Matrix_templates.hh: C++ source, ASCII text data/ppl-1.2/src/BDS_Status_idefs.hh: C++ source, ASCII text data/ppl-1.2/src/Multiplication_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/termination_types.hh: C++ source, ASCII text data/ppl-1.2/src/c_streambuf_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/BD_Shape.cc: C source, ASCII text data/ppl-1.2/src/CO_Tree_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Swapping_Vector_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Interval_Info_types.hh: C++ source, ASCII text data/ppl-1.2/src/meta_programming.hh: C++ source, ASCII text data/ppl-1.2/src/Polyhedron_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Coefficient.cc: C++ source, ASCII text data/ppl-1.2/src/Linear_Form.cc: C source, ASCII text data/ppl-1.2/src/Float_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence_System_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/compiler.hh: C++ source, ASCII text data/ppl-1.2/src/termination_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Constraint_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Expression_Adapter_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Certificate.cc: C source, ASCII text data/ppl-1.2/src/Expression_Hide_Inhomo_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Generator_System_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_nonpublic.cc: C source, ASCII text data/ppl-1.2/src/Pending_List_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Rounding_Dir_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Box_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Doubly_Linked_Object_types.hh: C++ source, ASCII text data/ppl-1.2/src/Partially_Reduced_Product_templates.hh: C++ source, ASCII text data/ppl-1.2/src/PIP_Tree_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/MIP_Problem_types.hh: C++ source, ASCII text data/ppl-1.2/src/Rational_Box.hh: C++ source, ASCII text data/ppl-1.2/src/Interval_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Bit_Matrix_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/BD_Shape_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Division_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Sum_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Generator.cc: C source, ASCII text data/ppl-1.2/src/Pending_List_types.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence_System_types.hh: C++ source, ASCII text data/ppl-1.2/src/assertions.hh: C++ source, ASCII text data/ppl-1.2/src/stdiobuf_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/mp_std_bits_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Rounding_Dir_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Bit_Matrix_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Cast_Floating_Point_Expression_templates.hh: C++ source, ASCII text data/ppl-1.2/src/distances_types.hh: C++ source, ASCII text data/ppl-1.2/src/COPYING.cc.dist: C source, ASCII text data/ppl-1.2/src/Dense_Row_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Pointset_Powerset.cc: C++ source, ASCII text data/ppl-1.2/src/Constant_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Coefficient_types.hh: C++ source, ASCII text data/ppl-1.2/src/Weight_Profiler_defs.hh: C++ source, ASCII text data/ppl-1.2/src/checked_numeric_limits.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Form_types.hh: C++ source, ASCII text data/ppl-1.2/src/EList_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Interval_Info_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Generator_defs.hh: C++ source, ASCII text data/ppl-1.2/src/fpu-ia32_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Variables_Set_types.hh: C++ source, ASCII text data/ppl-1.2/src/Difference_Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Watchdog_types.hh: C++ source, ASCII text data/ppl-1.2/src/termination_defs.hh: C++ source, ASCII text data/ppl-1.2/src/WRD_coefficient_types_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Poly_Con_Relation.cc: C source, ASCII text data/ppl-1.2/src/Variable_Floating_Point_Expression_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Congruence.cc: C source, ASCII text data/ppl-1.2/src/Polyhedron_chdims_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Dense_Row_templates.hh: C++ source, ASCII text data/ppl-1.2/src/DB_Row_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Doubly_Linked_Object_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Generator.cc: C source, ASCII text data/ppl-1.2/src/Grid_Generator_System_types.hh: C++ source, ASCII text data/ppl-1.2/src/Polyhedron_types.hh: C++ source, ASCII text data/ppl-1.2/src/Float_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Constraint_System_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Form_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Ph_Status_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Concrete_Expression.cc: C source, ASCII text data/ppl-1.2/src/COPYING.hh.dist: C source, ASCII text data/ppl-1.2/src/Sparse_Row_types.hh: C++ source, ASCII text data/ppl-1.2/src/Floating_Point_Expression_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Pointset_Powerset_templates.hh: C++ source, ASCII text data/ppl-1.2/src/checked_mpq_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Checked_Number.cc: C++ source, ASCII text data/ppl-1.2/src/Checked_Number_types.hh: C++ source, ASCII text data/ppl-1.2/src/CO_Tree_types.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_conversion.cc: C++ source, ASCII text data/ppl-1.2/src/Checked_Number_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Box_types.hh: C++ source, ASCII text data/ppl-1.2/src/Bit_Matrix.cc: C source, ASCII text data/ppl-1.2/src/Grid_chdims.cc: C source, ASCII text data/ppl-1.2/src/Congruence_types.hh: C++ source, ASCII text data/ppl-1.2/src/OR_Matrix_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Form_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_simplify.cc: C++ source, ASCII text data/ppl-1.2/src/Pending_List_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Checked_Number_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Cast_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/Topology_types.hh: C++ source, ASCII text data/ppl-1.2/src/Constant_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/checked_int_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/H79_Certificate_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/checked_ext_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Interval_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Division_Floating_Point_Expression_types.hh: C++ source, ASCII text data/ppl-1.2/src/EList_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/ppl-config.cc.in: C source, ASCII text data/ppl-1.2/src/Poly_Gen_Relation_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Partial_Function_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Float.cc: C++ source, ASCII text data/ppl-1.2/src/EList_Iterator_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Form_inlines.hh: C++ source, ASCII text data/ppl-1.2/src/EList_Iterator_types.hh: C++ source, ASCII text data/ppl-1.2/src/Powerset_templates.hh: C++ source, ASCII text data/ppl-1.2/src/Time_types.hh: C++ source, ASCII text data/ppl-1.2/src/Grid_Certificate_defs.hh: C++ source, ASCII text data/ppl-1.2/src/C_Integer.hh: C++ source, ASCII text data/ppl-1.2/src/Generator_System_types.hh: C++ source, ASCII text data/ppl-1.2/src/Partial_Function.cc: C++ source, ASCII text data/ppl-1.2/src/Variables_Set_defs.hh: C++ source, ASCII text data/ppl-1.2/src/Linear_Expression_Impl_inlines.hh: C++ source, ASCII text data/ppl-1.2/INSTALL: ASCII text data/ppl-1.2/ChangeLog_2001-2008: ASCII text, with very long lines data/ppl-1.2/README.configure: ASCII text data/ppl-1.2/CREDITS: ASCII text data/ppl-1.2/ChangeLog: UTF-8 Unicode text data/ppl-1.2/README.arm: ASCII text data/ppl-1.2/debian/README.source: ASCII text data/ppl-1.2/debian/changelog: ASCII text data/ppl-1.2/debian/compat: ASCII text data/ppl-1.2/debian/control: ASCII text data/ppl-1.2/debian/copyright: ASCII text data/ppl-1.2/debian/libppl-c4.dirs: ASCII text data/ppl-1.2/debian/libppl-c4.install: ASCII text data/ppl-1.2/debian/libppl-c4.maintscript: ASCII text data/ppl-1.2/debian/libppl-dev.dirs: ASCII text data/ppl-1.2/debian/libppl-dev.docs: ASCII text data/ppl-1.2/debian/libppl-dev.install: ASCII text data/ppl-1.2/debian/libppl-dev.maintscript: ASCII text data/ppl-1.2/debian/libppl-doc.dirs: ASCII text data/ppl-1.2/debian/libppl-doc.doc-base: ASCII text data/ppl-1.2/debian/libppl-doc.install: ASCII text data/ppl-1.2/debian/libppl-doc.links: ASCII text data/ppl-1.2/debian/libppl-swi.install: ASCII text data/ppl-1.2/debian/libppl-swi.maintscript: ASCII text data/ppl-1.2/debian/libppl14.dirs: ASCII text data/ppl-1.2/debian/libppl14.docs: ASCII text data/ppl-1.2/debian/libppl14.install: ASCII text data/ppl-1.2/debian/patches/fix_AC_CHECK_SWI_PROLOG.patch: unified diff output, ASCII text data/ppl-1.2/debian/patches/fix_latex_build.patch: Git commit 0535 data/ppl-1.2/debian/patches/latex_include_ifthen_package.patch: unified diff output, ASCII text data/ppl-1.2/debian/patches/link-tests-with-libmpq.diff: unified diff output, ASCII text data/ppl-1.2/debian/patches/reproducible_builds_gzip_n: unified diff output, ASCII text data/ppl-1.2/debian/patches/series: ASCII text data/ppl-1.2/debian/patches/swi82.patch: unified diff output, ASCII text data/ppl-1.2/debian/ppl-dev.install: ASCII text data/ppl-1.2/debian/rules: a /usr/bin/make -f script, ASCII text executable data/ppl-1.2/debian/source/format: ASCII text data/ppl-1.2/debian/watch: ASCII text data/ppl-1.2/.pc/.version: ASCII text data/ppl-1.2/.pc/.quilt_patches: ASCII text data/ppl-1.2/.pc/.quilt_series: ASCII text data/ppl-1.2/.pc/applied-patches: ASCII text data/ppl-1.2/.pc/link-tests-with-libmpq.diff/tests/Makefile.am: automake makefile script, ASCII text data/ppl-1.2/.pc/reproducible_builds_gzip_n/doc/Makefile.am: ASCII text data/ppl-1.2/.pc/fix_latex_build.patch/doc/Makefile.am: ASCII text data/ppl-1.2/.pc/fix_AC_CHECK_SWI_PROLOG.patch/m4/ac_check_swi_prolog.m4: M4 macro processor script, ASCII text data/ppl-1.2/.pc/latex_include_ifthen_package.patch/doc/user.tex: LaTeX 2e document, ASCII text data/ppl-1.2/.pc/latex_include_ifthen_package.patch/doc/devref-language-interface.tex: LaTeX 2e document, ASCII text data/ppl-1.2/.pc/latex_include_ifthen_package.patch/doc/devref.tex: LaTeX 2e document, ASCII text data/ppl-1.2/.pc/latex_include_ifthen_package.patch/doc/user-language-interface.tex: LaTeX 2e document, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/Ciao/ciao_cfli.hh: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/GNU/gprolog_cfli.hh: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/SICStus/sicstus_cfli.h: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/SICStus/sicstus_cfli.ic: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/SWI/swi_cfli.hh: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/XSB/xsb_cfli.hh: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/YAP/yap_cfli.hh: C source, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4: M4 macro processor script, ASCII text data/ppl-1.2/.pc/swi82.patch/interfaces/Prolog/ppl_prolog_common.cc: C++ source, ASCII text