/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | bmc-ibm-5.smt | 12882 (or x70 x737) 13061 (or x804 (not x737) x805 (not x737) (not x803)) 13165 (or x804 (not x737) x805 (not x737) x827) 13183 (or (not x828) (not x809) (not x737) (not x829) x804 (not x737) x805 (not x737) x838) 13578 (or (not x946) (not x737) (not x947) (not x737) (not x948) (not x737) x878) 13610 (or x878 (not x891) (not x737) x892 (not x737) x881 x945 x880 x881 (not x900) (not x737) (not x902)… 13620 (or (not x946) (not x737) (not x947) (not x737) (not x948) (not x737) (not x854)) 14055 (or (not x1058) (not x737) (not x1059) (not x737) x1060) 14261 (or (not x948) (not x737) (not x947) (not x737) (not x946) (not x737) (not x1052)) 14265 (or (not x947) (not x737) (not x946) (not x737) x1050) [all …]
|
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
H A D | wPBE_exchange.F | 492 &, x732, x733, x734, x735, x736, x737, x738, x739, x740, x741, x742 1298 x737 = gamma_aa*x736 1299 x738 = 0.151426716069345d0*x737 1346 x778 = x364*x737 1350 &73d0*x352 - 0.00083525d0*x368 + 0.227140074104017d0*x737 1363 &27140074104017d0*x406 + 0.113570037052009d0*x737 + 0.2271400741040 1379 &x368 + 0.264996753121354d0*x737 - 0.264996753121354d0*x796 - 0.529 1517 &.134601525394973d0*x406 + x726*x761 + 0.0673007626974867d0*x737 + 1524 &0.151426716069345d0*x406 + 0.0757133580346725d0*x737 + 0.075713358 1542 &667d0*x368 + 0.378566790173362d0*x406 + 0.189283395086681d0*x737 +
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
H A D | C880mul.miter.shuffled-as.sat03-348.smt | 745 :extrapreds ((x737)) 2001 (or (not x946) x737) 2492 (or (not x197) x737) 2740 (or x1153 x737) 5541 (or x737 x885 x1151) 5875 (or x1196 x192 x737) 5998 (or x737 x1278) 7360 (or x737 x192 x1453) 8053 (or x737 x569 x1151) 8830 (or x737 x1223) [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
H A D | typespec-1.c | 754 int unsigned long long double *x737; /* { dg-error "" "int unsigned long long double" } */ variable
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gcc.dg/ |
H A D | long-long-typespec-1.c | 745 long signed int long double *x737; /* { dg-error "" "long signed int long double" } */ variable
|