/dports/math/cvc4/CVC4-1.7/test/regress/regress1/fmf/ |
H A D | constr-ground-to.smt2 | 31 (is-sc (st (st (st (st (st (st (st (st (st (st (st (st (sv t)))))))))))))) 32 (is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))))))))))))))) 33 (is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t)))))))))))))))) 34 (is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))))))))))))))))) 35 (is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t)))))))))))))))))) 36 (is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))))))))))))))))))) 37 …(is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))))))))))))))… 38 …(is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))))))))))… 39 …(is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))))))… 40 …(is-sc (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (st (sv t))… [all …]
|
/dports/net/cjdns/cjdns-cjdns-v21.1/node_build/dependencies/cnacl/crypto_scalarmult/curve25519/athlon/ |
H A D | mainloop.s | 108 fadd %st(0),%st(1) 112 fadd %st(0),%st(1) 116 fadd %st(0),%st(1) 124 fadd %st(0),%st(1) 132 fadd %st(0),%st(1) 140 fadd %st(0),%st(1) 148 fadd %st(0),%st(1) 156 fadd %st(0),%st(1) 164 fadd %st(0),%st(1) 172 fadd %st(0),%st(1) [all …]
|
H A D | square.s | 14 fmul %st(0),%st(0) 16 fadd %st(0),%st(0) 18 fadd %st(0),%st(0) 20 fadd %st(0),%st(0) 25 fmul %st(4),%st(0) 27 fmul %st(4),%st(0) 28 faddp %st(0),%st(1) 35 faddp %st(0),%st(1) 38 fmul %st(0),%st(3) 42 fadd %st(0),%st(0) [all …]
|
/dports/net/p5-Socket-Class/Socket-Class-2.258/xs/sc_ssl/openssl/source/crypto/stack/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1202 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/devel/raknet/raknet-3.9.2_10,1/DependentExtensions/openssl-0.9.8g/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1026 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/security/bdes/bdes.src/des/ |
H A D | safestack.h | 107 (st, cmp) 391 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 393 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 394 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 397 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 406 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 408 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 409 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 410 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1022 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/net-p2p/transmission-daemon/transmission-3.00/third-party/openssl/include/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1158 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/net-p2p/transmission-utils/transmission-3.00/third-party/openssl/include/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1158 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/net-p2p/transmission-qt/transmission-3.00/third-party/openssl/include/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1158 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/net-p2p/transmission-gtk/transmission-3.00/third-party/openssl/include/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1158 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/net-p2p/transmission-cli/transmission-3.00/third-party/openssl/include/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1158 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/www/transmission-web/transmission-3.00/third-party/openssl/include/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1158 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/sysutils/shim/shim-0.9/Cryptlib/Include/openssl/ |
H A D | safestack.h | 402 # define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 404 # define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 405 # define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 408 # define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 417 # define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 419 # define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 420 # define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 421 # define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1165 # define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument 1392 # define sk_X509_new(st) SKM_sk_new(X509, (st)) argument [all …]
|
/dports/x11/xscreensaver/xscreensaver-5.44/hacks/ |
H A D | blaster.c | 765 if (st->black) XFillArcs(st->dpy,st->window,st->black,st->stars,st->NUM_STARS); in blaster_draw() 806 st->stars[st->draw_x].x = st->stars[st->draw_x].x + st->draw_y; in blaster_draw() 807 st->stars[st->draw_x].y = st->stars[st->draw_x].y + st->draw_z; in blaster_draw() 809 st->stars[st->draw_x].x = st->stars[st->draw_x].x + st->xgwa.width; in blaster_draw() 812 st->stars[st->draw_x].x = st->stars[st->draw_x].x - st->xgwa.width; in blaster_draw() 815 st->stars[st->draw_x].y = st->stars[st->draw_x].y + st->xgwa.height; in blaster_draw() 827 st->stars[st->draw_x].x = st->stars[st->draw_x].x + st->xgwa.width; in blaster_draw() 830 st->stars[st->draw_x].x = st->stars[st->draw_x].x - st->xgwa.width; in blaster_draw() 840 XFillArcs(st->dpy,st->window,st->s_color,st->stars,st->NUM_STARS); in blaster_draw() 843 XFillArcs(st->dpy,st->window,st->s_color,st->stars,st->NUM_STARS); in blaster_draw() [all …]
|
H A D | whirlwindwarp.c | 288 for (st->p=0;st->p<st->ps;st->p++) { in whirlwindwarp_draw() 296 st->color[st->p]=st->color[ st->p % st->colsavailable ]; in whirlwindwarp_draw() 322 st->var[st->f]=st->op[st->f]; in whirlwindwarp_draw() 329 for (st->p=0;st->p<st->ps;st->p++) in whirlwindwarp_draw() 359 for (st->p=0;st->p<st->ps;st->p++) { in whirlwindwarp_draw() 363 …XFillRectangle(st->dpy,st->window,st->draw_gc,st->tx[st->nt],st->ty[st->nt],st->starsize,st->stars… in whirlwindwarp_draw() 381 XFillRectangle(st->dpy,st->window,st->draw_gc,st->sx,st->sy,st->starsize,st->starsize); in whirlwindwarp_draw() 384 st->tx[st->nt]=st->sx; in whirlwindwarp_draw() 386 st->nt=(st->nt+1)%(st->ps*st->ts); in whirlwindwarp_draw() 402 st->vel[st->f]=stars_perturb(st->vel[st->f]+0.03*st->acc[st->f],0,0.995,0.0); in whirlwindwarp_draw() [all …]
|
H A D | xjack.c | 60 st->columns = (st->xgwa.width - st->hspace - st->hspace) / st->char_width; in xjack_reshape() 61 st->rows = (st->xgwa.height - st->vspace - st->vspace) / st->line_height; in xjack_reshape() 69 if (st->y > st->rows) st->y = st->rows-1; in xjack_reshape() 70 if (st->x > st->columns) st->x = st->columns-2; in xjack_reshape() 72 if (st->right > st->columns) st->right = st->columns; in xjack_reshape() 73 if (st->left > st->columns-20) st->left = st->columns-20; in xjack_reshape() 123 if (st->right < st->left + 10) st->right = st->left + 10; in xjack_init() 124 if (st->right > st->columns) st->right = st->columns; in xjack_init() 142 XCopyArea (st->dpy, st->window, st->window, st->gc, in xjack_scroll() 194 if (st->x >= st->columns) st->x = 0, st->y++; in xjack_pine() [all …]
|
H A D | truchet.c | 145 XDrawLine(st->dpy,st->frame,st->agc, in draw_angles() 150 XDrawLine(st->dpy,st->frame,st->agc, in draw_angles() 159 XDrawLine(st->dpy,st->frame,st->agc, in draw_angles() 164 XDrawLine(st->dpy,st->frame,st->agc, in draw_angles() 189 XDrawArc(st->dpy, st->frame, st->agc, in draw_truchet() 195 XDrawArc(st->dpy,st->frame, st->agc, in draw_truchet() 206 XDrawArc(st->dpy,st->frame,st->agc, in draw_truchet() 213 XDrawArc(st->dpy,st->frame,st->agc, in draw_truchet() 380 …st->frame = XCreatePixmap(st->dpy,st->window, st->xgwa.width+st->overlap, st->xgwa.height+st->over… in truchet_init() 479 …XFillRectangle(st->dpy, st->frame, st->bgc, 0, 0, st->xgwa.width+st->overlap, st->xgwa.height+st->… in truchet_draw() [all …]
|
H A D | wander.c | 97 st->width = st->width / st->size; in wander_init() 98 st->height = st->height / st->size; in wander_init() 120 st->width * st->size, st->height * st->size); in wander_init() 122 XFillArc (st->dpy, st->pixmap, st->context, 0, 0, st->size, st->size, 0, 360*64); in wander_init() 135 st->eraser = erase_window (st->dpy, st->window, st->eraser); in wander_draw() 180 st->eraser = erase_window (st->dpy, st->window, st->eraser); in wander_draw() 188 XFillArc (st->dpy, st->pixmap, st->context, 0, 0, st->size, st->size, 0, 360*64); in wander_draw() 194 XDrawPoint (st->dpy, st->window, st->context, st->x, st->y); in wander_draw() 200 XCopyArea (st->dpy, st->pixmap, st->window, st->context, 0, 0, st->size, st->size, in wander_draw() 201 st->x * st->size, st->y * st->size); in wander_draw() [all …]
|
H A D | xlyap.c | 586 st->maxexp=st->minlyap; st->minexp= -1.0 * st->minlyap; in parseargs() 719 st->max_a = st->min_a + st->a_range; in parseargs() 859 redraw(st, st->exponents[st->frame], st->expind[st->frame], 1); in Getkey() 958 redraw(st, st->exponents[st->frame], st->expind[st->frame], 1); in Getkey() 1061 st->pixmap = XCreatePixmap(st->dpy, st->canvas, st->width, st->height, d); in resize() 1103 st->a = st->point.x * st->a_inc + st->min_a; in redraw() 1104 st->b = st->point.y * st->b_inc + st->min_b; in redraw() 1152 st->width,st->height,st->numcolors,st->settle,st->dwell); in show_defaults() 1317 redraw(st, st->exponents[st->frame], st->expind[st->frame], 0); in jumpwin() 1333 st->exponents[st->frame] = st->exponents[st->frame+1]; in Destroy_frame() [all …]
|
/dports/devel/upp/upp/bazaar/AESStream/plugin/openssl/inc32/openssl/ |
H A D | safestack.h | 168 sk_num(st) 395 #define sk_BIO_new(st) SKM_sk_new(BIO, (st)) argument 397 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 398 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 401 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 410 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 412 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 413 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 414 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1224 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument [all …]
|
/dports/security/libressl-static/libressl-3.3.5/include/openssl/ |
H A D | safestack.h | 382 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) 383 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) 386 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) 395 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) 397 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) 398 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) 399 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) 1165 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) 1461 #define sk_X509_num(st) SKM_sk_num(X509, (st)) 1473 #define sk_X509_dup(st) SKM_sk_dup(X509, st) [all …]
|
/dports/security/libressl/libressl-3.4.3/include/openssl/ |
H A D | safestack.h | 382 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 383 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 386 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 395 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 397 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 398 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 399 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1165 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument 1461 #define sk_X509_num(st) SKM_sk_num(X509, (st)) argument 1473 #define sk_X509_dup(st) SKM_sk_dup(X509, st) argument [all …]
|
/dports/emulators/citra/citra-ac98458e0/externals/libressl/include/openssl/ |
H A D | safestack.h | 382 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 383 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 386 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 395 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 397 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 398 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 399 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1165 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument 1461 #define sk_X509_num(st) SKM_sk_num(X509, (st)) argument 1473 #define sk_X509_dup(st) SKM_sk_dup(X509, st) argument [all …]
|
/dports/emulators/citra-qt5/citra-ac98458e0/externals/libressl/include/openssl/ |
H A D | safestack.h | 382 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 383 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 386 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 395 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 397 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 398 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 399 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1165 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument 1461 #define sk_X509_num(st) SKM_sk_num(X509, (st)) argument 1473 #define sk_X509_dup(st) SKM_sk_dup(X509, st) argument [all …]
|
/dports/www/obhttpd/libressl-3.4.1/include/openssl/ |
H A D | safestack.h | 382 #define sk_BIO_free(st) SKM_sk_free(BIO, (st)) argument 383 #define sk_BIO_num(st) SKM_sk_num(BIO, (st)) argument 386 #define sk_BIO_zero(st) SKM_sk_zero(BIO, (st)) argument 395 #define sk_BIO_dup(st) SKM_sk_dup(BIO, st) argument 397 #define sk_BIO_shift(st) SKM_sk_shift(BIO, (st)) argument 398 #define sk_BIO_pop(st) SKM_sk_pop(BIO, (st)) argument 399 #define sk_BIO_sort(st) SKM_sk_sort(BIO, (st)) argument 1165 #define sk_PKCS7_dup(st) SKM_sk_dup(PKCS7, st) argument 1461 #define sk_X509_num(st) SKM_sk_num(X509, (st)) argument 1473 #define sk_X509_dup(st) SKM_sk_dup(X509, st) argument [all …]
|