/dports/security/pbc/pbc-0.5.14/pbc/ |
H A D | pbc.c | 83 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 D | 2011-10-21-t-nil.rlg | 6 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 D | 2011-10-21-t-nil.rlg | 6 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cc | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cc | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|
H A D | asan-symbolize-sanity-test.cpp | 23 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 D | shared-lib-test.cpp | 19 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 D | shared-lib-test.cpp | 19 typedef void (fun_t)(int x); typedef 29 fun_t *inc = (fun_t*)dlsym(lib, "inc"); in main()
|