/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/gfortran.dg/graphite/ |
H A D | pr42180.f90 | 6 subroutine mutual_ind_cir_cir_coils (m, l12) argument 7 real (kind = longreal), intent(out) :: l12 local 18 l12 = l12 + zw(i)*theta_l12 20 l12 = coefficient * l12
|
/dports/math/z3/z3-z3-4.8.13/examples/python/data/ |
H A D | horn4.smt2 | 9 (declare-var l12 Bool) 47 (rule (=> (not (or l4 l6 l8 l10 l12 l14)) (Invariant l4 l6 l8 l10 l12 l14))) 48 (rule (=> (and (Invariant l4 l6 l8 l10 l12 l14) 52 (= (and (not l14) (not l12)) l22) 70 (= (and (not l56) l12) l58) 71 (= (and l56 (not l12)) l60) 74 (= (and l56 l12) l66) 86 (rule (=> (and (Invariant l4 l6 l8 l10 l12 l14) 94 (= (and (not l14) (not l12)) l22)
|
H A D | horn5.smt2 | 9 (declare-var l12 Bool) 14 (= (and l6 l4) l12) 15 (= (and l12 l8) l14) 17 ) (Invariant l12 l8 l0 l14)))
|
/dports/math/py-z3-solver/z3-z3-4.8.10/examples/python/data/ |
H A D | horn4.smt2 | 9 (declare-var l12 Bool) 47 (rule (=> (not (or l4 l6 l8 l10 l12 l14)) (Invariant l4 l6 l8 l10 l12 l14))) 48 (rule (=> (and (Invariant l4 l6 l8 l10 l12 l14) 52 (= (and (not l14) (not l12)) l22) 70 (= (and (not l56) l12) l58) 71 (= (and l56 (not l12)) l60) 74 (= (and l56 l12) l66) 86 (rule (=> (and (Invariant l4 l6 l8 l10 l12 l14) 94 (= (and (not l14) (not l12)) l22)
|
H A D | horn5.smt2 | 9 (declare-var l12 Bool) 14 (= (and l6 l4) l12) 15 (= (and l12 l8) l14) 17 ) (Invariant l12 l8 l0 l14)))
|