Searched defs:profile (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/
H A DProfile.sig6 val profile : string -> ('a -> 'b) -> 'a -> 'b value
H A DProfile.sml74 fun profile nm = profile_exn_opt NONE false true nm function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DLiteralNet.sig25 val profile : 'a literalNet -> {positive : int, negative : int} value
H A DLiteralNet.sml34 fun profile net = {positive = pos net, negative = neg net}; function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DLiteralNet.sig25 val profile : 'a literalNet -> {positive : int, negative : int} value
H A DLiteralNet.sml34 fun profile net = {positive = pos net, negative = neg net}; function
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dreconstruct.py390 def profile(): function
/seL4-l4v-master/HOL4/src/HolSmt/
H A DZ3_ProofReplay.sml11 fun profile name f x = function
[all...]
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sig215 val profile : ('a -> 'b) -> 'a -> 'b value
H A DhurdUtils.sml501 fun profile f a = function
/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml2074 fun profile mode f arg = profileStream printProfile mode f arg function

Completed in 78 milliseconds