/dports/security/silktools/silk-3.19.1/src/libsilk/ |
H A D | silk.magic | 15 >>>>0x7 byte 0 Uncompressed 17 >>>>0x7 byte 2 LZO compression 20 >>>>0x7 byte 0 Uncompressed 22 >>>>0x7 byte 2 LZO compression 27 >>>>>0x7 byte 0 Uncompressed 32 >>>>>0x7 byte 0 Uncompressed 39 >>>>0x7 byte 0 Uncompressed 44 >>>>0x7 byte 0 Uncompressed 51 >>>>>0x7 byte 0 Uncompressed 63 >>>>0x7 byte 0 Uncompressed [all …]
|
/dports/math/frobby/frobby-0.9.1/test/frob/ |
H A D | bug11.multi | 9 x2^5*x3^4*x4*x7 + 13 x2^5*x3^4*x5*x7 + 15 x2^5*x3^4*x6*x7 + 17 -x2^5*x3^4*x7 + 34 x2^5*x3^2*x7 + 88 x2^5*x5*x7 + 91 x2^5*x7^2 + 289 x2^3*x7^3 + 708 x3^5*x7 + 842 x4^7*x7 + [all …]
|
H A D | bug26.multi | 30 x2^7*x3*x4*x7 + 46 x2^7*x3*x5*x7 + 62 -x2^7*x3*x7 + 94 -x2^7*x4*x7 + 110 -x2^7*x5*x7 + 118 -x2^7*x6*x7 + 124 -x2^7*x7*x8 + 125 -x2^7*x7*x9 + 126 x2^7*x7 + 254 x2^5*x4*x7 + [all …]
|
H A D | bug20.multi | 9 x2^24*x3*x4*x7 + 13 x2^24*x3*x5*x7 + 17 -x2^24*x3*x7 + 25 -x2^24*x4*x7 + 29 -x2^24*x5*x7 + 31 -x2^24*x6*x7 + 33 x2^24*x7 + 186 -x2^7*x7 + 313 x3^9*x7 + 378 -x4*x7 + [all …]
|
H A D | bug27.multi | 30 x2^4*x3*x4*x7 + 62 -x2^4*x3*x7 + 94 -x2^4*x4*x7 + 110 -x2^4*x5*x7 + 118 -x2^4*x6*x7 + 124 -x2^4*x7*x8 + 126 x2^4*x7 + 2426 -x5*x7 + 2453 -x6*x7 + 2461 -x7^3 + [all …]
|
H A D | bug23.multi | 48 -x2^2*x4*x7 + 64 x2^2*x7 + 284 x2*x7^2 + 286 -x2*x7 + 316 x3^3*x7 + 446 x4*x7^2 + 454 x5^3*x7 + 468 x5*x7^2 + 470 -x5*x7 + 478 -x6*x7 + [all …]
|
H A D | bug19.multi | 126 -x2^10*x3*x7 + 230 -x2^10*x5*x7 + 254 x2^10*x7 + 854 x2^9*x7*x9 + 1458 x2^8*x7^2 + 1462 -x2^8*x7 + 20796 x4^8*x7 + 21786 x5^8*x7 + 22112 x5*x7^4 + 22120 x6^8*x7 + [all …]
|
H A D | bug22.multi | 30 x2^3*x3*x4*x7 + 62 -x2^3*x3*x7 + 94 -x2^3*x4*x7 + 126 x2^3*x7 + 1000 x2*x7^2 + 1006 -x2*x7 + 1448 -x4*x7 + 1508 -x5*x7 + 1530 -x6*x7 + 1538 -x7^2 + [all …]
|
/dports/math/frobby/frobby-0.9.1/test/commonIdeals/ |
H A D | t14.alexdual | 5 x1^9*x2^4*x7^3, 8 x1^9*x3*x7^3, 14 x1^8*x2^4*x5*x7^3, 16 x1^8*x2^4*x7^5, 23 x1^8*x3*x5*x7^3, 25 x1^8*x3*x7^5, 31 x1^8*x6*x7^3, 49 x1^6*x3*x7^10, 53 x1^6*x5^6*x7^3, 60 x1^6*x6*x7^10, [all …]
|
H A D | t14.irrdecom_ideal | 79 x1^10*x4*x7^9, 168 x1^7*x2^2*x7, 175 x1^7*x3^7*x7, 193 x1^7*x4^6*x7, 447 x2*x7^6, 528 x3^4*x7, 538 x3*x7^10, 599 x4*x7^3, 609 x5^3*x7, 617 x7^8*x8, [all …]
|
H A D | t16.irrdecom_ideal | 290 x1^94*x7, 659 x1^17*x7^76, 722 x2^84*x7, 995 x3^48*x7^17, 1006 x3^26*x7^82, 1041 x4^45*x7, 1058 x4^32*x7^6, 1061 x4^20*x7^81, 1068 x5^80*x7^6, 1087 x6^53*x7^6, [all …]
|
H A D | t16.alexdual | 19 x1^83*x4^33*x7^5, 20 x1^83*x4*x7^11, 21 x1^83*x4*x7^5*x8, 22 x1^83*x7^23, 38 x1^82*x5^27*x7^5, 39 x1^82*x5^8*x7^11, 43 x1^82*x6*x7^11, 44 x1^82*x6*x7^5*x8, 451 x1^6*x7^98, 912 x2*x6*x7^93, [all …]
|
H A D | t14.multi | 1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8]; 3 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^8*x7^7*x8^5 + 4 x1^10*x2^10*x3^7*x4^10*x5^7*x6^8*x7^4*x8^5 + 5 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^7*x7^8*x8^5 + 6 x1^10*x2^10*x3^7*x4^10*x5^7*x6^7*x7^7*x8^5 + 7 x1^10*x2^10*x3^7*x4^10*x5^7*x6^5*x7^8*x8^5 + 8 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^5*x7^4*x8^5 + 9 x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^10*x8^9 + 12 x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^8*x8^5 + 878 -x1^3*x2*x3*x4^2*x5^6*x6^8*x7*x8 + [all …]
|
H A D | t16.multi | 1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8]; 3 x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^37*x8^58 + 4 -x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^37*x8^57 + 5 -x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^17*x8^58 + 6 x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^17*x8^57 + 7 -x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^37*x8^58 + 8 x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^37*x8^57 + 9 x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^17*x8^58 + 10 -x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^17*x8^57 + 11 x1^99*x2^84*x3^87*x4^80*x5^93*x6^98*x7^92*x8^33 + [all …]
|
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/aarch64/ |
H A D | fp_cvt_int.d | 9 4: 9e2000e7 fcvtns x7, s7 11 c: 9e2100e7 fcvtnu x7, s7 13 14: 9e2800e7 fcvtps x7, s7 15 1c: 9e2900e7 fcvtpu x7, s7 17 24: 9e3000e7 fcvtms x7, s7 19 2c: 9e3100e7 fcvtmu x7, s7 21 34: 9e3800e7 fcvtzs x7, s7 23 3c: 9e3900e7 fcvtzu x7, s7 25 44: 9e2200e7 scvtf s7, x7 27 4c: 9e2300e7 ucvtf s7, x7 [all …]
|
H A D | ldst-exclusive.d | 8 0: 080f7ce1 stxrb w15, w1, \[x7\] 20 30: 085f7ce1 ldxrb w1, \[x7\] 21 34: 085f7ce1 ldxrb w1, \[x7\] 22 38: 085f7ce1 ldxrb w1, \[x7\] 23 3c: 485f7ce1 ldxrh w1, \[x7\] 26 48: 885f7ce1 ldxr w1, \[x7\] 27 4c: 885f7ce1 ldxr w1, \[x7\] 28 50: 885f7ce1 ldxr w1, \[x7\] 29 54: c85f7ce1 ldxr x1, \[x7\] 30 58: c85f7ce1 ldxr x1, \[x7\] [all …]
|
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/aarch64/ |
H A D | fp_cvt_int.d | 9 4: 9e2000e7 fcvtns x7, s7 11 c: 9e2100e7 fcvtnu x7, s7 13 14: 9e2800e7 fcvtps x7, s7 15 1c: 9e2900e7 fcvtpu x7, s7 17 24: 9e3000e7 fcvtms x7, s7 19 2c: 9e3100e7 fcvtmu x7, s7 21 34: 9e3800e7 fcvtzs x7, s7 23 3c: 9e3900e7 fcvtzu x7, s7 25 44: 9e2200e7 scvtf s7, x7 27 4c: 9e2300e7 ucvtf s7, x7 [all …]
|
H A D | ldst-exclusive.d | 8 0: 080f7ce1 stxrb w15, w1, \[x7\] 20 30: 085f7ce1 ldxrb w1, \[x7\] 21 34: 085f7ce1 ldxrb w1, \[x7\] 22 38: 085f7ce1 ldxrb w1, \[x7\] 23 3c: 485f7ce1 ldxrh w1, \[x7\] 26 48: 885f7ce1 ldxr w1, \[x7\] 27 4c: 885f7ce1 ldxr w1, \[x7\] 28 50: 885f7ce1 ldxr w1, \[x7\] 29 54: c85f7ce1 ldxr x1, \[x7\] 30 58: c85f7ce1 ldxr x1, \[x7\] [all …]
|
/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/aarch64/ |
H A D | fp_cvt_int.d | 9 4: 9e2000e7 fcvtns x7, s7 11 c: 9e2100e7 fcvtnu x7, s7 13 14: 9e2800e7 fcvtps x7, s7 15 1c: 9e2900e7 fcvtpu x7, s7 17 24: 9e3000e7 fcvtms x7, s7 19 2c: 9e3100e7 fcvtmu x7, s7 21 34: 9e3800e7 fcvtzs x7, s7 23 3c: 9e3900e7 fcvtzu x7, s7 25 44: 9e2200e7 scvtf s7, x7 27 4c: 9e2300e7 ucvtf s7, x7 [all …]
|
H A D | ldst-exclusive.d | 8 0: 080f7ce1 stxrb w15, w1, \[x7\] 20 30: 085f7ce1 ldxrb w1, \[x7\] 21 34: 085f7ce1 ldxrb w1, \[x7\] 22 38: 085f7ce1 ldxrb w1, \[x7\] 23 3c: 485f7ce1 ldxrh w1, \[x7\] 26 48: 885f7ce1 ldxr w1, \[x7\] 27 4c: 885f7ce1 ldxr w1, \[x7\] 28 50: 885f7ce1 ldxr w1, \[x7\] 29 54: c85f7ce1 ldxr x1, \[x7\] 30 58: c85f7ce1 ldxr x1, \[x7\] [all …]
|
/dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/aarch64/ |
H A D | fp_cvt_int.d | 9 4: 9e2000e7 fcvtns x7, s7 11 c: 9e2100e7 fcvtnu x7, s7 13 14: 9e2800e7 fcvtps x7, s7 15 1c: 9e2900e7 fcvtpu x7, s7 17 24: 9e3000e7 fcvtms x7, s7 19 2c: 9e3100e7 fcvtmu x7, s7 21 34: 9e3800e7 fcvtzs x7, s7 23 3c: 9e3900e7 fcvtzu x7, s7 25 44: 9e2200e7 scvtf s7, x7 27 4c: 9e2300e7 ucvtf s7, x7 [all …]
|
H A D | ldst-exclusive.d | 8 0: 080f7ce1 stxrb w15, w1, \[x7\] 20 30: 085f7ce1 ldxrb w1, \[x7\] 21 34: 085f7ce1 ldxrb w1, \[x7\] 22 38: 085f7ce1 ldxrb w1, \[x7\] 23 3c: 485f7ce1 ldxrh w1, \[x7\] 26 48: 885f7ce1 ldxr w1, \[x7\] 27 4c: 885f7ce1 ldxr w1, \[x7\] 28 50: 885f7ce1 ldxr w1, \[x7\] 29 54: c85f7ce1 ldxr x1, \[x7\] 30 58: c85f7ce1 ldxr x1, \[x7\] [all …]
|
/dports/devel/binutils/binutils-2.37/gas/testsuite/gas/aarch64/ |
H A D | fp_cvt_int.d | 9 4: 9e2000e7 fcvtns x7, s7 11 c: 9e2100e7 fcvtnu x7, s7 13 14: 9e2800e7 fcvtps x7, s7 15 1c: 9e2900e7 fcvtpu x7, s7 17 24: 9e3000e7 fcvtms x7, s7 19 2c: 9e3100e7 fcvtmu x7, s7 21 34: 9e3800e7 fcvtzs x7, s7 23 3c: 9e3900e7 fcvtzu x7, s7 25 44: 9e2200e7 scvtf s7, x7 27 4c: 9e2300e7 ucvtf s7, x7 [all …]
|
H A D | ldst-exclusive.d | 8 0: 080f7ce1 stxrb w15, w1, \[x7\] 20 30: 085f7ce1 ldxrb w1, \[x7\] 21 34: 085f7ce1 ldxrb w1, \[x7\] 22 38: 085f7ce1 ldxrb w1, \[x7\] 23 3c: 485f7ce1 ldxrh w1, \[x7\] 26 48: 885f7ce1 ldxr w1, \[x7\] 27 4c: 885f7ce1 ldxr w1, \[x7\] 28 50: 885f7ce1 ldxr w1, \[x7\] 29 54: c85f7ce1 ldxr x1, \[x7\] 30 58: c85f7ce1 ldxr x1, \[x7\] [all …]
|
/dports/math/lrslib/lrslib-071a/ine/test-062/porta/ |
H A D | mit.ine.ieq | 43 -2x1-2x2-4x3+4x6+2x7<=0 56 +4x3-4x4-4x6-2x7<=0 69 +4x1-4x2+8x3-2x7<=64 110 +8x1+16x3-2x7<=192 119 +4x3-16x4-4x6-2x7+6x8<=0 202 -2x1+2x2-2x6-2x7<=0 286 +8x3-8x4-16x5-2x7<=0 330 -16x4-2x7+8x8<=0 507 -8x1-96x5+16x6-2x7<=0 562 -48x4-2x7+16x8<=0 [all …]
|