Home
last modified time | relevance | path

Searched refs:uext (Results 1 – 25 of 140) sorted by relevance

123456

/dports/math/boolector/boolector-3.2.2/test/log/
H A Dregrembeddedconstraint2.btor45 45 uext 3 3 2
46 46 uext 4 -23 3
49 49 uext 3 20 2
50 50 uext 5 -49 2
52 52 uext 2 29 1
53 53 uext 2 42 1
56 56 uext 2 20 1
64 64 uext 2 -3 1
71 71 uext 4 8 2
82 82 uext 3 69 2
[all …]
H A Dregr3vl3.btor23 23 uext 3 20 2
25 25 uext 4 -18 1
28 28 uext 2 -24 1
42 42 uext 2 32 1
78 78 uext 4 64 2
79 79 uext 2 37 1
82 82 uext 4 -68 3
88 88 uext 4 30 3
93 93 uext 3 72 2
94 94 uext 3 34 2
[all …]
H A Dregrmark3.btor21 21 uext 3 18 2
24 24 uext 2 9 1
26 26 uext 2 -7 1
36 36 uext 8 34 6
37 37 uext 3 29 2
44 44 uext 3 42 2
65 65 uext 8 16 6
70 70 uext 4 33 3
72 72 uext 2 -56 1
75 75 uext 3 27 2
[all …]
H A Dregrbfs1.btor22 22 uext 4 9 3
45 45 uext 4 38 3
46 46 uext 4 17 3
55 55 uext 3 47 2
61 61 uext 2 21 1
63 63 uext 4 -52 3
65 65 uext 2 -38 1
68 68 uext 6 26 3
97 97 uext 4 56 3
108 108 uext 4 38 3
[all …]
H A Dregrembeddedconstraint6.btor51 51 uext 4 11 3
56 56 uext 2 -6 1
57 57 uext 6 -56 4
77 77 uext 4 65 3
79 79 uext 4 -22 3
81 81 uext 2 44 1
83 83 uext 8 65 7
84 84 uext 3 -80 2
94 94 uext 4 -11 3
96 96 uext 3 71 2
[all …]
H A Dregrembeddedconstraint12.btor22 22 uext 3 14 2
28 28 uext 4 6 2
57 57 uext 3 54 2
68 68 uext 2 14 1
82 82 uext 4 58 1
95 95 uext 4 54 3
98 98 uext 4 18 2
102 102 uext 2 36 1
104 104 uext 2 52 1
118 118 uext 4 29 3
[all …]
H A Dregrembeddedconstraint13.btor22 22 uext 3 14 2
28 28 uext 4 6 2
57 57 uext 3 54 2
68 68 uext 2 14 1
82 82 uext 4 58 1
95 95 uext 4 54 3
98 98 uext 4 18 2
102 102 uext 2 36 1
104 104 uext 2 52 1
118 118 uext 4 29 3
[all …]
H A Dregr3vl4.btor27 27 uext 3 17 2
38 38 uext 4 -4 1
67 67 uext 4 19 1
69 69 uext 4 45 2
79 79 uext 3 33 2
85 85 uext 7 -4 4
88 88 uext 3 -2 1
97 97 uext 4 -63 3
99 99 uext 4 17 3
101 101 uext 2 96 1
[all …]
H A Dregr3vl2.btor32 32 uext 4 21 3
43 43 uext 3 34 2
45 45 uext 4 41 3
46 46 uext 4 41 3
89 89 uext 3 -27 2
92 92 uext 2 -31 1
100 100 uext 3 62 1
106 106 uext 2 47 1
124 124 uext 2 23 1
139 139 uext 4 80 3
[all …]
H A Dregr3vl1.btor25 25 uext 8 19 4
28 28 uext 4 3 1
31 31 uext 3 14 2
40 40 uext 8 29 4
46 46 uext 4 -6 2
61 61 uext 3 58 2
89 89 uext 2 70 1
91 91 uext 3 35 2
113 113 uext 4 -30 3
179 179 uext 4 -9 2
[all …]
H A Dregrmark2.btor27 27 uext 2 25 1
33 33 uext 3 6 2
51 51 uext 3 -5 2
75 75 uext 2 38 1
94 94 uext 8 1 6
108 108 uext 4 -79 3
113 113 uext 4 14 1
114 114 uext 4 14 1
124 124 uext 2 99 1
154 154 uext 4 34 3
[all …]
H A Dregrembeddedconstraint4.btor26 26 uext 4 17 2
30 30 uext 2 -29 1
42 42 uext 3 -38 2
54 54 uext 2 52 1
64 64 uext 4 59 2
67 67 uext 4 66 2
86 86 uext 2 -25 1
111 111 uext 7 110 4
119 119 uext 2 38 1
132 132 uext 3 95 2
[all …]
/dports/math/btor2tools/btor2tools-1df768d/examples/btorsim/
H A Dponylink-slaveTXlen-sat.btor221 22 uext 1 21 0 in_tready
22 23 uext 1 20 0 resetn_out
23 24 uext 1 2 0 uut.clk
30 31 uext 28 30 7
743 744 uext 87 743 3
1337 1338 uext 28 30 7
1349 1350 uext 28 30 7
1367 1368 uext 28 30 7
2168 2169 uext 28 9 7
2261 2262 uext 25 9 8
[all …]
/dports/math/boolector/boolector-3.2.2/examples/btormc/
H A Dponylink-slaveTXlen-sat.btor221 22 uext 1 21 0 in_tready
22 23 uext 1 20 0 resetn_out
23 24 uext 1 2 0 uut.clk
30 31 uext 28 30 7
743 744 uext 87 743 3
1337 1338 uext 28 30 7
1349 1350 uext 28 30 7
1367 1368 uext 28 30 7
2168 2169 uext 28 9 7
2261 2262 uext 25 9 8
[all …]
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/ida/fcmix_parallel/
H A DfidaHeat2D_kry_bbd_p.f55 double precision uext((mxsubg+2)*(mysubg+2))
305 double precision uext((mxsubg+2)*(mysubg+2))
383 double precision uext((mxsubg+2)*(mysubg+2))
418 double precision uext((mxsubg+2)*(mysubg+2))
455 double precision uext((mxsubg+2)*(mysubg+2))
482 uext(offsetue+lx+1) = u(offsetu+lx+1)
509 termx = coeffx*(uext(locue)+uext(locue+2))
510 termy = coeffy*(uext(locue-mxsub2+1)+uext(locue+mxsub2+1))
511 termctr = coeffxy*uext(locue+1)
677 uext(offsetue+1) = buffer(ly+1)
[all …]
/dports/math/sundials/sundials-5.7.0/examples/ida/fcmix_parallel/
H A DfidaHeat2D_kry_bbd_p.f55 double precision uext((mxsubg+2)*(mysubg+2))
305 double precision uext((mxsubg+2)*(mysubg+2))
383 double precision uext((mxsubg+2)*(mysubg+2))
418 double precision uext((mxsubg+2)*(mysubg+2))
455 double precision uext((mxsubg+2)*(mysubg+2))
482 uext(offsetue+lx+1) = u(offsetu+lx+1)
509 termx = coeffx*(uext(locue)+uext(locue+2))
510 termy = coeffy*(uext(locue-mxsub2+1)+uext(locue+mxsub2+1))
511 termctr = coeffxy*uext(locue+1)
677 uext(offsetue+1) = buffer(ly+1)
[all …]
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/cvode/parallel/
H A DcvDiurnal_kry_bbd_p.c687 uext = data->uext; in fucomm()
733 realtype *uext; in flocal() local
752 uext = data->uext; in flocal()
835 c1 = uext[offsetue]; in flocal()
836 c2 = uext[offsetue+1]; in flocal()
846 c1dn = uext[offsetue-nvmxsub2]; in flocal()
848 c1up = uext[offsetue+nvmxsub2]; in flocal()
855 c1lt = uext[offsetue-2]; in flocal()
856 c2lt = uext[offsetue-1]; in flocal()
857 c1rt = uext[offsetue+2]; in flocal()
[all …]
H A DcvDiurnal_kry_p.c664 uext = data->uext; in ucomm()
683 realtype *uext; in fcalc() local
695 uext = data->uext; in fcalc()
771 c1 = uext[offsetue]; in fcalc()
772 c2 = uext[offsetue+1]; in fcalc()
781 c1dn = uext[offsetue-nvmxsub2]; in fcalc()
783 c1up = uext[offsetue+nvmxsub2]; in fcalc()
789 c1lt = uext[offsetue-2]; in fcalc()
790 c2lt = uext[offsetue-1]; in fcalc()
791 c1rt = uext[offsetue+2]; in fcalc()
[all …]
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/arkode/C_parallel/
H A Dark_diurnal_kry_bbd_p.c644 uext = data->uext; in fucomm()
683 realtype *uext; in flocal() local
701 uext = data->uext; in flocal()
779 c1 = uext[offsetue]; in flocal()
780 c2 = uext[offsetue+1]; in flocal()
789 c1dn = uext[offsetue-nvmxsub2]; in flocal()
791 c1up = uext[offsetue+nvmxsub2]; in flocal()
797 c1lt = uext[offsetue-2]; in flocal()
798 c2lt = uext[offsetue-1]; in flocal()
799 c1rt = uext[offsetue+2]; in flocal()
[all …]
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/cvodes/parallel/
H A DcvsDiurnal_kry_bbd_p.c689 uext = data->uext; in fucomm()
735 realtype *uext; in flocal() local
754 uext = data->uext; in flocal()
837 c1 = uext[offsetue]; in flocal()
838 c2 = uext[offsetue+1]; in flocal()
848 c1dn = uext[offsetue-nvmxsub2]; in flocal()
850 c1up = uext[offsetue+nvmxsub2]; in flocal()
857 c1lt = uext[offsetue-2]; in flocal()
858 c2lt = uext[offsetue-1]; in flocal()
859 c1rt = uext[offsetue+2]; in flocal()
[all …]
/dports/math/sundials/sundials-5.7.0/examples/cvode/parallel/
H A DcvDiurnal_kry_bbd_p.c687 uext = data->uext; in fucomm()
733 realtype *uext; in flocal() local
752 uext = data->uext; in flocal()
835 c1 = uext[offsetue]; in flocal()
836 c2 = uext[offsetue+1]; in flocal()
846 c1dn = uext[offsetue-nvmxsub2]; in flocal()
848 c1up = uext[offsetue+nvmxsub2]; in flocal()
855 c1lt = uext[offsetue-2]; in flocal()
856 c2lt = uext[offsetue-1]; in flocal()
857 c1rt = uext[offsetue+2]; in flocal()
[all …]
/dports/math/sundials/sundials-5.7.0/examples/cvodes/parallel/
H A DcvsDiurnal_kry_bbd_p.c689 uext = data->uext; in fucomm()
735 realtype *uext; in flocal() local
754 uext = data->uext; in flocal()
837 c1 = uext[offsetue]; in flocal()
838 c2 = uext[offsetue+1]; in flocal()
848 c1dn = uext[offsetue-nvmxsub2]; in flocal()
850 c1up = uext[offsetue+nvmxsub2]; in flocal()
857 c1lt = uext[offsetue-2]; in flocal()
858 c2lt = uext[offsetue-1]; in flocal()
859 c1rt = uext[offsetue+2]; in flocal()
[all …]
/dports/math/sundials/sundials-5.7.0/examples/arkode/C_parallel/
H A Dark_diurnal_kry_bbd_p.c644 uext = data->uext; in fucomm()
683 realtype *uext; in flocal() local
701 uext = data->uext; in flocal()
779 c1 = uext[offsetue]; in flocal()
780 c2 = uext[offsetue+1]; in flocal()
789 c1dn = uext[offsetue-nvmxsub2]; in flocal()
791 c1up = uext[offsetue+nvmxsub2]; in flocal()
797 c1lt = uext[offsetue-2]; in flocal()
798 c2lt = uext[offsetue-1]; in flocal()
799 c1rt = uext[offsetue+2]; in flocal()
[all …]
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/ida/mpicuda/
H A DidaHeat2D_kry_p_mpicuda.cu194 realtype termx = coeffx * (uext[locue-1] + uext[locue+1]); in LocalResidualKernel()
195 realtype termy = coeffy * (uext[locue-(mx+2)] + uext[locue+(mx+2)]); in LocalResidualKernel()
624 realtype *uext = data->uext; in rescomm() local
675 realtype *uext = data->uext; in reslocal() local
980 data->uext = NULL; in InitUserData()
1021 free(data->uext); in AllocUserData()
1029 free(data->uext); in AllocUserData()
1040 cudaFree(data->uext); in AllocUserData()
1052 cudaFree(data->uext); in AllocUserData()
1068 if (data->uext != NULL) in DeleteUserData()
[all …]
/dports/math/sundials/sundials-5.7.0/examples/ida/mpicuda/
H A DidaHeat2D_kry_p_mpicuda.cu194 realtype termx = coeffx * (uext[locue-1] + uext[locue+1]); in LocalResidualKernel()
195 realtype termy = coeffy * (uext[locue-(mx+2)] + uext[locue+(mx+2)]); in LocalResidualKernel()
624 realtype *uext = data->uext; in rescomm() local
675 realtype *uext = data->uext; in reslocal() local
980 data->uext = NULL; in InitUserData()
1021 free(data->uext); in AllocUserData()
1029 free(data->uext); in AllocUserData()
1040 cudaFree(data->uext); in AllocUserData()
1052 cudaFree(data->uext); in AllocUserData()
1068 if (data->uext != NULL) in DeleteUserData()
[all …]

123456