| /seL4-l4v-master/l4v/misc/pysymbols/isasymbols/ |
| H A D | isasymbols.py | 96 def encode(self, data): member in class:Translator
|
| /seL4-l4v-master/HOL4/src/Boolify/test/ |
| H A D | test.sml | 47 fun encode tm = function
95 val encode = encode o Term; value
[all...] |
| /seL4-l4v-master/HOL4/src/prekernel/ |
| H A D | Coding.sig | 23 val encode : string -> string value
32 val encode : int -> string value
38 val encode : char -> string value
44 val encode : bool -> string value
50 val encode : ('a -> string) -> 'a option -> string value
56 val encode : ('a -> string) * ('b -> string) -> 'a * 'b -> string value
62 val encode : KernelSig.kernelname -> string value
|
| H A D | Coding.sml | 58 fun encode i = Int.toString i ^ "." function
87 fun encode c = IntData.encode (ord c) function
96 fun encode s = let function
120 fun encode true = "T" function
129 fun encode f NONE = "N" function
137 fun encode (af, bf) (a,b) = af a ^ "," ^ bf b function
144 fun encode {Name,Thy} = function
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | armAssemblerLib.sml | 99 fun encode (line, c, ast) = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8AssemblerLib.sml | 111 fun encode (line, ast) = function
|
| /seL4-l4v-master/HOL4/help/src-sml/ |
| H A D | Doc2Html.sml | 34 fun encode c = Option.getOpt(txt_helper c, String.str c) function
|
| H A D | Htmlsigs.sml | 155 fun encode #"<" = "<" function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | ASN1.sml | 198 fun encode(n, t) = function
238 fun encode (n, t) = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0AssemblerLib.sml | 104 fun encode (line, pc, c, enc, ast) = function
|
| /seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
| H A D | Graph.java | 899 public Vector encode(Vector v) { method in class:Graph
|
| /seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | Graph.java | 899 public Vector encode(Vector v) { method in class:Graph
|
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | encodeLib.sml | 1065 let val encode = check_function (get_encode_function target) t value
1088 let val encode = check_function (get_encode_function target) t value
1115 let val encode = check_function (get_encode_function target) t value
2215 val encode = mk_comb(get_encode_function target t,var) value
[all...] |
| H A D | functionEncodeLib.sml | 568 val (encode,decoded_term) = with_exn (dest_comb o lhs) body2 err value
[all...] |
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | Prim_rec.sml | 1638 fun encode bv numbits n = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64.sig | 540 val encode: instruction -> (BitsN.nbit list) value
|
| H A D | x64.sml | 4977 fun encode i = function
|