Searched defs:dep (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_GraphBuildJ1.sig5 type dep = Holmake_tools.dep type
H A DHolmake_tools_dtype.sml
H A DHM_DepGraph.sig5 type dep = Holmake_tools.dep type
H A DHolmake_tools.sig163 type dep = hm_target.t type
H A DHolmake_tools.sml652 type dep = hm_target.t type
/seL4-l4v-master/HOL4/src/prekernel/
H A DDep.sig5 datatype dep = DEP_SAVED of depid * (string * int list) list type
[all...]
H A DDep.sml22 datatype dep = DEP_SAVED of depid * (string * int list) list type
/seL4-l4v-master/HOL4/src/postkernel/
H A DThyDataSexp.sml203 val dep = Tag.dep_of t value
H A DSharingTables.sml388 val dep = Tag.dep_of tag value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dreorder.c810 static void addref_rec(int r, char *dep) argument
825 addref_rec(LOW(r), dep); local
826 addref_rec(HIGH(r), dep); local
842 static void addDependencies(char *dep) argument
866 char *dep = NEW(char,bddvarnum); local
900 addref_rec(LOWp(node), dep); local
901 addref_rec(HIGHp(node), dep); local
[all...]

Completed in 155 milliseconds