/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rltab/ |
H A D | rp3sol.rlg | 8 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2 9 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and 16 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1 140 or d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 < 0 and a - 1 = 0 or d1 > 0 and d1 - 222 or (d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 <= 0 and d1 - 1 < 0 and d1 + 1 > 0) 226 or (d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 < 0 and d1 + 1 > 0) or (d1 = 0 242 and (d1 = 0 or d1 - 1 = 0)) or (d1 <= 0 and d1 < 0 and d1 >= 0 and d1 > 0 246 d1 <= 0 and d1 < 0 and d1 >= 0 and d1 > 0 and d1 - 1 < 0 and d1 + 1 >= 0 248 and (d1 = 0 or d1 > 0 or d1 + 1 = 0)) or (d1 <= 0 and d1 < 0 and d1 > 0 252 or (d1 <= 0 and d1 < 0 and d1 > 0 and d1 - 1 <= 0 and (d1 = 0 or d1 - 1 = 0)) [all …]
|
H A D | rp3sol.tst | 4 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2 5 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and 12 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1 28 and a - d1 = 0 and a + d1 - 2 < 0 and a + 2*d1 - 4 = 0 or d1 > 0 and d1 - 1 < 0 31 d1 > 0 and a - d1 = 0 and a + d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and ( 32 d1 - 1 = 0 or a + d1 - 1 = 0) and (2*d1 - 1 > 0 or a + d1 - 1 = 0) or d1 - 1 > 0 54 d1 - 1 = 0) or d1 <= 0 and d1 < 0 and d1 > 0 and 2*d1 - 1 < 0 and a - 1 = 0 or 60 + 2*d1 - 2 = 0 or d1 - 1 < 0 and a + 2*d1 - 2 < 0) and (d1 - 1 = 0 or a - d1 = 0 64 d1 - 2 <= 0) and (d1 - 1 = 0 or 2*d1 - 1 < 0 or a + 2*d1 - 2 <= 0) and (d1 - 1 = 67 d1 - 1 = 0 or a + d1 - 1 = 0) and (a + d1 - 2 = 0 or a + d1 - 1 = 0 or 2*d1 - 1 [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlgsn/ |
H A D | rp3sol.tst | 4 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2 5 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and 12 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1 28 and a - d1 = 0 and a + d1 - 2 < 0 and a + 2*d1 - 4 = 0 or d1 > 0 and d1 - 1 < 0 31 d1 > 0 and a - d1 = 0 and a + d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and ( 32 d1 - 1 = 0 or a + d1 - 1 = 0) and (2*d1 - 1 > 0 or a + d1 - 1 = 0) or d1 - 1 > 0 54 d1 - 1 = 0) or d1 <= 0 and d1 < 0 and d1 > 0 and 2*d1 - 1 < 0 and a - 1 = 0 or 60 + 2*d1 - 2 = 0 or d1 - 1 < 0 and a + 2*d1 - 2 < 0) and (d1 - 1 = 0 or a - d1 = 0 64 d1 - 2 <= 0) and (d1 - 1 = 0 or 2*d1 - 1 < 0 or a + 2*d1 - 2 <= 0) and (d1 - 1 = 67 d1 - 1 = 0 or a + d1 - 1 = 0) and (a + d1 - 2 = 0 or a + d1 - 1 = 0 or 2*d1 - 1 [all …]
|
H A D | rp3sol.rlg | 8 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2 9 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and 16 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1 32 and a - d1 = 0 and a + d1 - 2 < 0 and a + 2*d1 - 4 = 0 or d1 > 0 and d1 - 1 < 0 35 d1 > 0 and a - d1 = 0 and a + d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and ( 36 d1 - 1 = 0 or a + d1 - 1 = 0) and (2*d1 - 1 > 0 or a + d1 - 1 = 0) or d1 - 1 > 0 58 d1 - 1 = 0) or d1 <= 0 and d1 < 0 and d1 > 0 and 2*d1 - 1 < 0 and a - 1 = 0 or 64 + 2*d1 - 2 = 0 or d1 - 1 < 0 and a + 2*d1 - 2 < 0) and (d1 - 1 = 0 or a - d1 = 0 68 d1 - 2 <= 0) and (d1 - 1 = 0 or 2*d1 - 1 < 0 or a + 2*d1 - 2 <= 0) and (d1 - 1 = 71 d1 - 1 = 0 or a + d1 - 1 = 0) and (a + d1 - 2 = 0 or a + d1 - 1 = 0 or 2*d1 - 1 [all …]
|
/dports/devel/binutils/binutils-2.37/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/binutils-2.16.1/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/devel/djgpp-binutils/binutils-2.17/gas/testsuite/gas/mn10300/ |
H A D | udf.s | 2 udf00 d0,d1 3 udf01 d0,d1 4 udf02 d0,d1 5 udf03 d0,d1 6 udf04 d0,d1 7 udf05 d0,d1 8 udf06 d0,d1 9 udf07 d0,d1 10 udf08 d0,d1 11 udf09 d0,d1 [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/ |
H A D | rp3.rlg | 23 d1 - d3 + y1 - y3 < 0 and d1 + x1 - x3 >= 0 and d1 + y1 - y3 >= 0 or d1 53 (d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 < 0 and a - 1 = 0) or (d1 <= 0 57 and (d1 >= 0 or 2*d1 + 1 <= 0)) or (d1 > 0 and d1 - 1 <= 0 and a > 0 99 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and (d1 - 1 = 0 or a + d1 - 1 = 0) 111 d1 > 0 and d1 - 1 <= 0 and a > 0 and a - 2*d1 > 0 and a - d1 = 0 123 and 2*a - d1 < 0) or (d1 > 0 and d1 - 1 <= 0 and a > 0 and a - 2*d1 > 0 127 and (d1 - 1 = 0 or a - d1 = 0)) or (d1 > 0 and d1 - 1 <= 0 and a > 0 163 and (d1 - 1 = 0 or a - d1 = 0) and (d1 - 1 = 0 or a + d1 - 1 = 0) 173 and (a + d1 - 1 = 0 or (a - d1 = 0 and a + 2*d1 - 2 = 0))) or (d1 > 0 229 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0)) or (d1 > 0 [all …]
|
H A D | rp2.rlg | 35 (d1 > 0 and b > 0 and b - 2*d1 > 0 and b - d1 = 0 and a > 0 and a - d1 = 0 39 and a - d1 = 0 and a - b + d1 = 0) or (d1 > 0 and b > 0 and b - 2*d1 > 0 45 d1 > 0 and b > 0 and b - 2*d1 > 0 and b - d1 >= 0 and a > 0 and a - d1 = 0 47 and a - b + d1 = 0) or (d1 > 0 and b > 0 and b - 2*d1 > 0 and b - d1 >= 0 49 and a > 0 and a - d1 = 0 and a - b + d1 >= 0 and (b - d1 = 0 or a - b + d1 > 0) 55 or (d1 > 0 and b > 0 and b - d1 = 0 and a > 0 and a - 2*d1 > 0 and a - d1 = 0 59 and a - d1 = 0 and a - b - d1 = 0) or (d1 > 0 and b > 0 and b - d1 = 0 61 and a > 0 and a - 2*d1 > 0 and a - d1 = 0 and a - b - d1 <= 0) or (d1 > 0 69 and a > 0 and a - 2*d1 > 0 and a - d1 >= 0 and a - b - d1 = 0) or (d1 > 0 73 and a - b + d1 <= 0 and (b - d1 = 0 or a - b + d1 = 0)) or (d1 > 0 and b > 0 [all …]
|
/dports/science/plumed/plumed2-2.7.2/regtest/mapping/rt-adapt/ |
H A D | out-path.pdb.reference | 3 REMARK ARG=d1.x,d1.y 7 REMARK ARG=d1.x,d1.y 11 REMARK ARG=d1.x,d1.y 15 REMARK ARG=d1.x,d1.y 19 REMARK ARG=d1.x,d1.y 23 REMARK ARG=d1.x,d1.y 27 REMARK ARG=d1.x,d1.y 31 REMARK ARG=d1.x,d1.y 35 REMARK ARG=d1.x,d1.y 39 REMARK ARG=d1.x,d1.y [all …]
|
/dports/science/py-chempy/chempy-0.8.2/chempy/util/tests/ |
H A D | test_arithmeticdict.py | 10 d3 = d1 + d2 23 d6 = d1 - d2 31 d2 = d1 + 3 34 d2 = 3 + d1 38 d3 = d1 + d2 46 d1 += 3 54 d2 = d1 - 7 57 d2 = 3 - d1 68 d1 -= 7 91 d1 *= 3 [all …]
|
/dports/emulators/fs-uae-launcher/fs-uae-launcher-3.0.5/amitools/data/fd/ |
H A D | dos_lib.fd | 5 Close(file)(d1) 11 DeleteFile(name)(d1) 14 UnLock(lock)(d1) 15 DupLock(lock)(d1) 19 CreateDir(name)(d1) 20 CurrentDir(lock)(d1) 24 LoadSeg(name)(d1) 33 DateStamp(date)(d1) 34 Delay(timeout)(d1) 57 FGetC(fh)(d1) [all …]
|
/dports/java/jfreechart/jfreechart-1.0.17/tests/org/jfree/data/xy/ |
H A D | CategoryTableXYDatasetTest.java | 71 assertTrue(d1.equals(d2)); in testEquals() 72 assertTrue(d2.equals(d1)); in testEquals() 78 assertTrue(d1.equals(d2)); in testEquals() 91 assertTrue(d1 != d2); in testCloning() 93 assertTrue(d1.equals(d2)); in testCloning() 98 assertTrue(d1.equals(d2)); in testCloning() 103 assertTrue(d1.equals(d2)); in testCloning() 115 d1.setIntervalWidth(1.23); in testCloning2() 118 assertTrue(d1 != d2); in testCloning2() 152 assertEquals(d1, d2); in testSerialization() [all …]
|
/dports/databases/postgresql12-client/postgresql-12.9/src/test/regress/sql/ |
H A D | timestamp.sql | 42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL; 176 SELECT d1 as "timestamp", 177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month, 178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour, 179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second 182 SELECT d1 as "timestamp", 183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec, 187 SELECT d1 as "timestamp", 188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week, 189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow, [all …]
|
/dports/databases/postgresql12-server/postgresql-12.9/src/test/regress/sql/ |
H A D | timestamp.sql | 42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL; 176 SELECT d1 as "timestamp", 177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month, 178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour, 179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second 182 SELECT d1 as "timestamp", 183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec, 187 SELECT d1 as "timestamp", 188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week, 189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow, [all …]
|
/dports/databases/postgresql12-docs/postgresql-12.9/src/test/regress/sql/ |
H A D | timestamp.sql | 42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL; 176 SELECT d1 as "timestamp", 177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month, 178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour, 179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second 182 SELECT d1 as "timestamp", 183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec, 187 SELECT d1 as "timestamp", 188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week, 189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow, [all …]
|
/dports/databases/postgresql12-plpython/postgresql-12.9/src/test/regress/sql/ |
H A D | timestamp.sql | 42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL; 176 SELECT d1 as "timestamp", 177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month, 178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour, 179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second 182 SELECT d1 as "timestamp", 183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec, 187 SELECT d1 as "timestamp", 188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week, 189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow, [all …]
|
/dports/databases/postgresql12-contrib/postgresql-12.9/src/test/regress/sql/ |
H A D | timestamp.sql | 42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL; 176 SELECT d1 as "timestamp", 177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month, 178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour, 179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second 182 SELECT d1 as "timestamp", 183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec, 187 SELECT d1 as "timestamp", 188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week, 189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow, [all …]
|
/dports/databases/postgresql12-plperl/postgresql-12.9/src/test/regress/sql/ |
H A D | timestamp.sql | 42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL; 176 SELECT d1 as "timestamp", 177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month, 178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour, 179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second 182 SELECT d1 as "timestamp", 183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec, 187 SELECT d1 as "timestamp", 188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week, 189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow, [all …]
|