OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:Proof
(Results
1 - 4
of
4
) sorted by null
/external/google-fruit/include/fruit/impl/meta/
proof_trees.h
31
// following
proof
tree:
40
// A
proof
forest is a map (i.e. a Set of Pair(s)) from each Th to the corresponding set of Hps.
41
// Note that a
proof
forest doesn't need to have any additional property (for example, a
proof
tree
65
template <typename Forest, typename
Proof
>
/external/pdfium/third_party/lcms/src/
cmsgmt.c
137
// using the
proof
direction on both profiles to find K->L* relationship
219
cmsUInt16Number
Proof
[cmsMAXCHANNELS], Proof2[cmsMAXCHANNELS];
230
cmsDoTransform(t -> hForward, &LabIn1,
Proof
, 1);
233
cmsDoTransform(t -> hReverse,
Proof
, &LabOut1, 1);
/external/boringssl/src/ssl/test/runner/curve25519/
curve25519.go
150
//
Proof
:
/external/boringssl/src/ssl/test/runner/ed25519/internal/edwards25519/
edwards25519.go
116
//
Proof
:
[
all
...]
Completed in 356 milliseconds