/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | parray.cpp | 52 m.display_info(tout, a1); tout << "\n"; in tst1() 53 m.display_info(tout, a2); tout << "\n";); in tst1() 59 m.display_info(tout, a1); tout << "\n"; in tst1() 60 m.display_info(tout, a2); tout << "\n";); in tst1() 72 m.display_info(tout, a1); tout << "\n"; in tst1() 73 m.display_info(tout, a2); tout << "\n"; in tst1() 74 m.display_info(tout, a3); tout << "\n";); in tst1() 80 m.display_info(tout, a1); tout << "\n"; in tst1() 81 m.display_info(tout, a2); tout << "\n"; in tst1() 108 m.display_info(tout, a1); tout << "\n"; in tst2() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | parray.cpp | 52 m.display_info(tout, a1); tout << "\n"; in tst1() 53 m.display_info(tout, a2); tout << "\n";); in tst1() 59 m.display_info(tout, a1); tout << "\n"; in tst1() 60 m.display_info(tout, a2); tout << "\n";); in tst1() 72 m.display_info(tout, a1); tout << "\n"; in tst1() 73 m.display_info(tout, a2); tout << "\n"; in tst1() 74 m.display_info(tout, a3); tout << "\n";); in tst1() 80 m.display_info(tout, a1); tout << "\n"; in tst1() 81 m.display_info(tout, a2); tout << "\n"; in tst1() 108 m.display_info(tout, a1); tout << "\n"; in tst2() [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
H A D | upolynomial_factorization.cpp | 271 tout << "T_0 = "; upm.display(tout, T_0); tout << endl; in zp_square_free_factor() 594 tout << "U = "; upm.display(tout, U); tout << ", "; in hensel_lift() 595 tout << "A = "; upm.display(tout, A); tout << ", "; in hensel_lift() 596 tout << "V = "; upm.display(tout, V); tout << ", "; in hensel_lift() 597 tout << "B = "; upm.display(tout, B); tout << ", "; in hensel_lift() 615 tout << "f = "; upm.display(tout, f); tout << endl; in hensel_lift() 638 tout << "V == "; upm.display(tout, V); tout << endl; in hensel_lift() 648 tout << "t == "; upm.display(tout, t); tout << endl; in hensel_lift() 715 tout << "A = "; upm.display(tout, A); tout << ", "; in hensel_lift_quadratic() 716 tout << "B = "; upm.display(tout, B); tout << ", "; in hensel_lift_quadratic() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
H A D | upolynomial_factorization.cpp | 271 tout << "T_0 = "; upm.display(tout, T_0); tout << endl; in zp_square_free_factor() 594 tout << "U = "; upm.display(tout, U); tout << ", "; in hensel_lift() 595 tout << "A = "; upm.display(tout, A); tout << ", "; in hensel_lift() 596 tout << "V = "; upm.display(tout, V); tout << ", "; in hensel_lift() 597 tout << "B = "; upm.display(tout, B); tout << ", "; in hensel_lift() 615 tout << "f = "; upm.display(tout, f); tout << endl; in hensel_lift() 638 tout << "V == "; upm.display(tout, V); tout << endl; in hensel_lift() 648 tout << "t == "; upm.display(tout, t); tout << endl; in hensel_lift() 715 tout << "A = "; upm.display(tout, A); tout << ", "; in hensel_lift_quadratic() 716 tout << "B = "; upm.display(tout, B); tout << ", "; in hensel_lift_quadratic() [all …]
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/regex/build/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 74 echo "" >> $tout 82 echo "" >> $tout 118 echo "" >> $tout 128 echo "" >> $tout 143 tout="temp" [all …]
|
H A D | sun_gen.sh | 16 tout="" 40 cat >> $tout << EOF 59 echo "" >> $tout 65 echo "" >> $tout 72 echo "" >> $tout 77 echo "" >> $tout 108 echo "" >> $tout 115 echo "" >> $tout 120 echo "" >> $tout 127 tout="temp" [all …]
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/regex/build/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 74 echo "" >> $tout 82 echo "" >> $tout 118 echo "" >> $tout 128 echo "" >> $tout 143 tout="temp" [all …]
|
H A D | sun_gen.sh | 16 tout="" 40 cat >> $tout << EOF 59 echo "" >> $tout 65 echo "" >> $tout 72 echo "" >> $tout 77 echo "" >> $tout 108 echo "" >> $tout 115 echo "" >> $tout 120 echo "" >> $tout 127 tout="temp" [all …]
|
/dports/databases/percona57-server/boost_1_59_0/libs/regex/build/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 74 echo "" >> $tout 82 echo "" >> $tout 118 echo "" >> $tout 128 echo "" >> $tout 143 tout="temp" [all …]
|
H A D | sun_gen.sh | 16 tout="" 40 cat >> $tout << EOF 59 echo "" >> $tout 65 echo "" >> $tout 72 echo "" >> $tout 77 echo "" >> $tout 108 echo "" >> $tout 115 echo "" >> $tout 120 echo "" >> $tout 127 tout="temp" [all …]
|
/dports/databases/xtrabackup/boost_1_59_0/libs/regex/build/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 74 echo "" >> $tout 82 echo "" >> $tout 118 echo "" >> $tout 128 echo "" >> $tout 143 tout="temp" [all …]
|
H A D | sun_gen.sh | 16 tout="" 40 cat >> $tout << EOF 59 echo "" >> $tout 65 echo "" >> $tout 72 echo "" >> $tout 77 echo "" >> $tout 108 echo "" >> $tout 115 echo "" >> $tout 120 echo "" >> $tout 127 tout="temp" [all …]
|
/dports/databases/percona57-client/boost_1_59_0/libs/regex/build/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 74 echo "" >> $tout 82 echo "" >> $tout 118 echo "" >> $tout 128 echo "" >> $tout 143 tout="temp" [all …]
|
H A D | sun_gen.sh | 16 tout="" 40 cat >> $tout << EOF 59 echo "" >> $tout 65 echo "" >> $tout 72 echo "" >> $tout 77 echo "" >> $tout 108 echo "" >> $tout 115 echo "" >> $tout 120 echo "" >> $tout 127 tout="temp" [all …]
|
/dports/math/form/form-4.2.1/sources/ |
H A D | notation.c | 348 tout[2] = 5; in ConvertToPoly() 359 *tout++ = 4; in ConvertToPoly() 401 tout[0] = 1; tout[1] = 1; tout[2] = 3; in ConvertToPoly() 405 tout -= 3; in ConvertToPoly() 415 *tout++ = 4; in ConvertToPoly() 417 *tout++ = 1; in ConvertToPoly() 603 tout[0] = 1; tout[1] = 1; tout[2] = 3; in LocalConvertToPoly() 607 tout -= 3; in LocalConvertToPoly() 617 *tout++ = 4; in LocalConvertToPoly() 619 *tout++ = 1; in LocalConvertToPoly() [all …]
|
/dports/devel/boost-docs/boost_1_72_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/databases/percona57-server/boost_1_59_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/databases/xtrabackup/boost_1_59_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/databases/percona57-client/boost_1_59_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/devel/boost-libs/boost_1_72_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/devel/hyperscan/boost_1_75_0/libs/config/test/link/ |
H A D | bc_gen.sh | 16 tout="" 38 cat >> $tout << EOF 56 echo " bcc32 @&&|" >> $tout 58 echo "|" >> $tout 59 echo "" >> $tout 65 echo "" >> $tout 69 echo "$libname"_clean : >> $tout 74 echo "" >> $tout 78 echo " tlib @&&|" >> $tout 80 echo "|" >> $tout [all …]
|
/dports/news/inn-current/inn-2.7-20211226/tests/lib/ |
H A D | hex-t.c | 19 char tout[9]; in main() local 23 inn_encode_hex(d1, sizeof(d1), tout, sizeof(tout)); in main() 24 ok_string(1, t1, tout); in main() 25 inn_encode_hex(d2, sizeof(d2), tout, sizeof(tout)); in main() 26 ok_string(2, t2, tout); in main() 28 inn_encode_hex(d1, 1, tout, sizeof(tout)); in main() 29 ok_string(3, "00", tout); in main() 30 inn_encode_hex(d2, 0, tout, sizeof(tout)); in main() 31 ok_string(4, "", tout); in main() 33 ok_string(5, "0", tout); in main() [all …]
|