Home
last modified time | relevance | path

Searched refs:fun_t (Results 1 – 25 of 142) sorted by relevance

123456

/dports/security/pbc/pbc-0.5.14/pbc/
H A Dpbc.c83 typedef struct fun_s fun_t[1]; typedef
342 static fun_t fun_eq = {{ "==", run_eq, 2, sig_elem_elem }};
346 static fun_t fun_lt = {{ "<", run_lt, 2, sig_elem_elem }};
347 static fun_t fun_gt = {{ ">", run_gt, 2, sig_elem_elem }};
412 static fun_t fun_neg = {{ "neg", run_neg, 1, sig_elem }};
808 static fun_t fun_init_pairing_a = {{
817 static fun_t fun_init_pairing_d = {{
826 static fun_t fun_init_pairing_e = {{
835 static fun_t fun_init_pairing_f = {{
844 static fun_t fun_init_pairing_g = {{
[all …]
/dports/math/reduce/Reduce-svn5758-src/xmpl/
H A D2011-10-21-t-nil.rlg6 fun_t * t + fun_f * f + fun_nt * nt + fun_nf * nf + fun_0
14 x := b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
19 y := a*fun_t + b*fun_f + c*fun_nt + d*fun_nf + fun_0
71 fun(~t,~f,~nt,~nf) => fun_t*t + fun_f*f + fun_nt*nt + fun_nf*nf + fun_0}
81 {fun(~t,~f,~nt,~nf) => fun_t*t + fun_f*f + fun_nt*nt + fun_nf*nf + fun_0}
93 {fun(~t,~f,~nt,~nf) => fun_t*t + fun_f*f + fun_nt*nt + fun_nf*nf + fun_0}
231 b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
260 b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
/dports/math/reduce/Reduce-svn5758-src/packages/regressions/
H A D2011-10-21-t-nil.rlg6 fun_t * t + fun_f * f + fun_nt * nt + fun_nf * nf + fun_0
14 x := b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
19 y := a*fun_t + b*fun_f + c*fun_nt + d*fun_nf + fun_0
68 fun(~t,~f,~nt,~nf) => fun_t*t + fun_f*f + fun_nt*nt + fun_nf*nf + fun_0}
78 {fun(~t,~f,~nt,~nf) => fun_t*t + fun_f*f + fun_nt*nt + fun_nf*nf + fun_0}
90 {fun(~t,~f,~nt,~nf) => fun_t*t + fun_f*f + fun_nt*nt + fun_nf*nf + fun_0}
242 b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
271 b*fun_f + c*fun_nt + d*fun_nf + fun_0 + fun_t
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/tinygo/tinygo-0.14.1/lib/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cc19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cc23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/llvm12/llvm-project-12.0.1.src/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/devel/wasi-compiler-rt11/compiler-rt-11.0.1.src/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
H A Dasan-symbolize-sanity-test.cpp23 typedef void (fun_t)(int*, int); typedef
33 fun_t *inc2 = (fun_t*)dlsym(lib, "inc2"); in main()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
/dports/devel/llvm13/llvm-project-13.0.1.src/compiler-rt/test/asan/TestCases/Posix/
H A Dshared-lib-test.cpp19 typedef void (fun_t)(int x); typedef
29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()

123456