| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/ |
| H A D | quicksort.ml | 5 let l1,l2 = partition (curry $> x) l' in var
|
| /seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
| H A D | tttInfix.sml | 103 val l1 = String.tokens Char.isSpace "## $" value
|
| H A D | tttThmData.sml | 33 val l1 = List.mapPartial parse_thmfea l0 value
76 val l1 = map f l0 value
|
| H A D | tttExtract.sml | 119 val l1 = List.filter is_first_prop propl value
|
| H A D | tttPredict.sml | 91 val l1 = dict_sort compare_score l0 value
107 val l1 = map fst (pre_sim1 symweight feal fea_o) value
141 val l1 = map fst (pre_sim1 symweight feav fea_o) value
170 val l1 value
209 val l1 = mk_sameorder_set String.compare (List.concat (map f1 l0)) value
250 val l1 = List.concat (map (desc_lbl ddict) l) value
267 val l1 = mk_sameorder_set Term.compare l0 value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | return_sl.c | 9 static long return_sl(long l1, long l2) argument
20 unsigned long l1, l2; local
|
| H A D | va_struct1.c | 61 struct large_tag l1; local
|
| H A D | va_struct2.c | 63 struct large_tag l1; local
|
| H A D | va_struct3.c | 65 struct large_tag l1; local
|
| H A D | cls_struct_va1.c | 32 struct large_tag l1 = * (struct large_tag *) args[2]; local
59 struct large_tag l1; local
[all...] |
| H A D | va_1.c | 94 struct large_tag l1; local
|
| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/cmos/ |
| H A D | unwind.ml | 82 let l1,l2 = partition (\t. check_frees lefts (rhs t) ? true) eqns var
122 let l1,l2 = partition (\t. check_frees lefts (rhs t) ? true) eqns var
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/muddy/ |
| H A D | fdd.sml | 48 let val (l1,l2) = ListPair.unzip l value
|
| /seL4-l4v-10.1.1/HOL4/src/holyhammer/ |
| H A D | hhReconstruct.sml | 43 val l1 = readl atp_out value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | BoolExtractShared.sml | 125 (let val (l1,l2) = get_impl_terms___multiple (dest_neg t) in value
142 val (l1,l2) = get_impl_terms___multiple b; value
162 val (l1,l2) = get_impl_terms___multiple t; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/list/src/ |
| H A D | listSimps.sml | 50 val (l1, l2) = dest_append t value
64 val (l1, l2) = dest_append t value
171 val (l1, l2) = dest_eq l value
241 val (l1, l2) = dest_eq l value
302 val (l1, l2) = dest_eq t value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | armAssemblerLib.sml | 57 val (l1, s1) = L3.splitr (fn c => c <> #":", s1) value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8AssemblerLib.sml | 82 val (l1, s1) = L3.splitr (fn c => c <> #":", s1) value
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | jrhUtils.sml | 58 val (l1,l2) = dest_comb l value
|
| /seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
| H A D | wfrecUtils.sml | 15 let val (l1,l2,l3) = unzip3 rst value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
| H A D | export_codeLib.sml | 63 val l1 = "Machine code automatically extracted from a HOL4 theorem." value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
| H A D | export_codeLib.sml | 63 val l1 = "Machine code automatically extracted from a HOL4 theorem." value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | export_codeLib.sml | 68 val l1 = "Machine code automatically extracted from a HOL4 theorem." value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/garbage-collectors/ |
| H A D | boolTools.sml | 89 (let val (l1,l2) = get_impl_terms (dest_neg t) in value
102 val (l1,l2) = get_impl_terms b; value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
| H A D | SALGen.sml | 129 val (l1,l2,l3,l4) = (entry_l,next_label(),next_label(),exit_l) value
|