/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
H A D | burns13.smt2 | 12 (declare-fun s_4 (Int) Bool) 18 …s_4 ?p) (and (s_3 ?p) (s ?p ?q)))) (and (not (s_5 ?q)) (not (and (s_4 ?q) (s ?q ?p))))))) (forall …
|
H A D | burns4.smt2 | 12 (declare-fun s_4 (Int) Bool) 18 …s_4 ?p) (and (s_3 ?p) (s ?p ?q)))) (and (not (s_5 ?q)) (not (and (s_4 ?q) (s ?q ?p))))))) (forall …
|
/dports/devel/avr-gdb/gdb-7.3.1/gdb/testsuite/gdb.base/ |
H A D | store.c | 135 struct s_4 { short s[4]; } z_4, s_4; struct 170 struct s_4 171 add_struct_4 (struct s_4 s) in add_struct_4() 208 struct s_4 211 int i; register struct s_4 u = z_4; in wack_struct_4() 212 for (i = 0; i < sizeof (s_4) / sizeof (s_4.s[0]); i++) { s_4.s[i] = i + 1; } in wack_struct_4()
|
/dports/devel/gdb/gdb-11.1/gdb/testsuite/gdb.base/ |
H A D | store.c | 135 struct s_4 { short s[4]; } z_4, s_4; variable 170 struct s_4 171 add_struct_4 (struct s_4 s) in add_struct_4() 208 struct s_4 211 int i; register struct s_4 u = z_4; in wack_struct_4() 212 for (i = 0; i < sizeof (s_4) / sizeof (s_4.s[0]); i++) { s_4.s[i] = i + 1; } in wack_struct_4()
|
/dports/devel/gdb761/gdb-7.6.1/gdb/testsuite/gdb.base/ |
H A D | store.c | 135 struct s_4 { short s[4]; } z_4, s_4; variable 170 struct s_4 171 add_struct_4 (struct s_4 s) in add_struct_4() 208 struct s_4 211 int i; register struct s_4 u = z_4; in wack_struct_4() 212 for (i = 0; i < sizeof (s_4) / sizeof (s_4.s[0]); i++) { s_4.s[i] = i + 1; } in wack_struct_4()
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/gdb/testsuite/gdb.base/ |
H A D | store.c | 135 struct s_4 { short s[4]; } z_4, s_4; 170 struct s_4 171 add_struct_4 (struct s_4 s) 208 struct s_4 211 int i; register struct s_4 u = z_4; 212 for (i = 0; i < sizeof (s_4) / sizeof (s_4.s[0]); i++) { s_4.s[i] = i + 1; }
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gdb/gdb/testsuite/gdb.base/ |
H A D | store.c | 135 struct s_4 { short s[4]; } z_4, s_4; struct 170 struct s_4 171 add_struct_4 (struct s_4 s) in add_struct_4() 208 struct s_4 211 int i; register struct s_4 u = z_4; in wack_struct_4() 212 for (i = 0; i < sizeof (s_4) / sizeof (s_4.s[0]); i++) { s_4.s[i] = i + 1; } in wack_struct_4()
|
/dports/cad/opencascade/opencascade-7.6.0/tests/blend/tolblend_simple/ |
H A D | D8 | 8 #donly s_3 s_1 s_2 s_4 9 #sewing t s_3 s_1 s_2 s_4 16 blend result s 0.5*SCALE1 s_4 0.5*SCALE1 s_8
|
H A D | D7 | 8 #donly s_3 s_1 s_2 s_4 9 #sewing t s_3 s_1 s_2 s_4 16 blend result s 0.5*SCALE1 s_4 0.5*SCALE1 s_7
|
H A D | D6 | 7 #donly s_3 s_1 s_2 s_4 8 #sewing t s_3 s_1 s_2 s_4 15 blend result s 0.5*SCALE1 s_4 0.5*SCALE1 s_8 0.5*SCALE1 s_7
|
H A D | A4 | 8 #donly s_3 s_1 s_2 s_4 9 #sewing t s_3 s_1 s_2 s_4 16 blend result s 0.5*SCALE1 s_4 0.4*SCALE1 s_8 0.6*SCALE1 s_7 0.3*SCALE1 s_3
|
H A D | A3 | 7 #donly s_3 s_1 s_2 s_4 8 #sewing t s_3 s_1 s_2 s_4 15 blend result s 0.5*SCALE1 s_4 0.5*SCALE1 s_8 0.5*SCALE1 s_7 0.5*SCALE1 s_3
|
/dports/science/py-GPy/GPy-1.10.0/GPy/likelihoods/ |
H A D | gaussian.py | 239 s_4 = 1.0/(self.variance**2) 240 dlik_dsigma = -0.5/self.variance + 0.5*s_4*np.square(e) 258 s_4 = 1.0/(self.variance**2) 259 dlik_grad_dsigma = -s_4*y + s_4*link_f 277 s_4 = 1.0/(self.variance**2) 280 d2logpdf_dlink2_dvar = np.ones((N, D))*s_4
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gfortran.dg/goacc/ |
H A D | routine-8.f90 | 26 function s_4 (a) 29 end function s_4
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/erts/lib_src/yielding_c_fun/test/examples/ |
H A D | control_statements.c.out | 4 s_4 1 4 26 s_4 1 4
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/erts/lib_src/yielding_c_fun/test/examples/ |
H A D | control_statements.c.out | 4 s_4 1 4 26 s_4 1 4
|