Searched defs:ts (Results 1 - 25 of 46) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dstruct1.c17 static test_structure_1 ABI_ATTR struct1(test_structure_1 ts) argument
H A Dstruct1_win32.c17 static test_structure_1 __FASTCALL__ struct1(test_structure_1 ts) argument
H A Dstruct2.c16 static test_structure_2 ABI_ATTR struct2(test_structure_2 ts) argument
H A Dstruct2_win32.c16 static test_structure_2 __FASTCALL__ struct2(test_structure_2 ts) argument
H A Dstruct3.c15 static test_structure_3 ABI_ATTR struct3(test_structure_3 ts) argument
H A Dstruct4.c17 static test_structure_4 ABI_ATTR struct4(test_structure_4 ts) argument
H A Dstruct6.c15 static test_structure_6 ABI_ATTR struct6 (test_structure_6 ts) argument
H A Dstruct7.c16 static test_structure_7 ABI_ATTR struct7 (test_structure_7 ts) argument
H A Dstruct8.c17 static test_structure_8 ABI_ATTR struct8 (test_structure_8 ts) argument
H A Dstruct9.c16 static test_structure_9 ABI_ATTR struct9 (test_structure_9 ts) argument
H A Duninitialized.c11 static test_structure_1 struct1(test_structure_1 ts) argument
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_encodeLib.sml49 val ts = map (fn (t,q) => (t,to_binary (token_size t) (Arbint.fromString q))) qs value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DAC_Sort.sml23 val ts = gstrip dest t value
[all...]
H A DMutual.sml338 let val ts = strip_conj t value
H A DPmatchHeuristics.sml[all...]
H A DHo_Rewrite.sml228 let val ts = find_terms value
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DTravrules.sml73 val ts = map dest tl value
/seL4-l4v-10.1.1/HOL4/src/IndDef/
H A DIndDefLib.sml86 val ts = ind_thm_to_consts th value
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibAbbrev.sml211 val ((ts, _), _) = raw_match [] fvs_set pat t ([], []) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_encodeLib.sml24 val ts = f #"+" (implode (butlast (tl xs))) value
175 val ts = list_append (map foo l) value
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c421 setThreadState(tcb_t *tptr, _thread_state_t ts) argument
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_encodeLib.sml24 val ts = f #"+" (implode (butlast (tl xs))) value
260 val ts = list_append (map foo l) value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmetisTools.sml407 val (ts,fm) = strip_exists fm value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml296 val ts = zip qs (rev zs) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml83 val ts = String.tokens (fn c => mem c [#"<",#">"]) s3 value
119 val ts = filter (fn s => s <> "struct") ts0 value

Completed in 108 milliseconds

12