Searched defs:head (Results 1 - 23 of 23) sorted by relevance

/seL4-l4v-master/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.h35 struct mem_node *head; member in struct:heap
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dalloc.h35 struct mem_node *head; member in struct:heap
/seL4-l4v-master/HOL4/src/HolSmt/
H A DZ3_ProofParser.sml347 val head = get_token () value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dslist.h48 voidSListElem *head, *tail; member in class:voidSList
178 T &head(void) const { return *((T*)voidSList::head->data); } function in class:SList
215 voidSList::head = next->next; member in class:voidSList
[all...]
/seL4-l4v-master/seL4/include/smp/
H A Dlock.h48 clh_qnode_t *head; member in struct:clh_lock
/seL4-l4v-master/seL4/include/object/
H A Dtcb.h23 tcb_t *head; member in struct:tcb_queue
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Dcompiler.sml51 fun head eqns = function
/seL4-l4v-master/HOL4/src/ring/src/
H A Dabstraction.sml54 fun head tm = function
/seL4-l4v-master/HOL4/src/datatype/
H A DDataSize.sml17 val head = Lib.repeat rator; value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_share_phase.cpp583 void SortVector::sortList(PolyObject *head, POLYUNSIGNED nItems, POLYUNSIGNED &shareCount) argument
[all...]
/seL4-l4v-master/HOL4/src/IndDef/
H A DIndDefLib.sml14 fun head clause = function
/seL4-l4v-master/HOL4/src/Boolify/src/
H A DEncode.sml23 val head = Lib.repeat rator; value
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttUnfold.sml254 val (head,l2) = split_level s sl value
473 val (head,body,cont) = extract_pattern sep m value
484 let val (head,body) = split_level "=" entry value
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibModel.sml632 val head = v :: map i2s l value
640 val head = ["" :: v :: map i2s l, w :: "" :: map (K "") l] value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dacl2encodeLib.sml1394 let val (head,rest) = value
H A DfunctionEncodeLib.sml612 let val head = head_term thm value
643 let val head = head_term thm handle e => raise (mkDebugExn "full_resolve" value
[all...]
H A DpolytypicLib.sml2400 fun head s = let val x = get s in case (!x) of [] => NONE | y::ys => (x := ys ; SOME y) end function
/seL4-l4v-master/HOL4/src/tfl/src/
H A DRW.sml92 let val head = #1(strip_comb tm) value
[all...]
H A DDefn.sml43 fun head tm = head (rator tm) handle HOL_ERR _ => tm; function
/seL4-l4v-master/HOL4/src/1/
H A DboolSyntax.sml296 val head = #1 (strip_comb (lhs (#2 (strip_forall t)))) value
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_pp.sml793 val head = hd args value
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml1512 let val head = #1 (strip_comb (lhs (#2 (strip_forall t)))) value
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c456 typedef struct { struct list_node *head; } list_t; member in struct:__anon137

Completed in 200 milliseconds