| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | SolverTypes.h | 86 Lit data[1]; member in class:Clause
120 void* data; member in class:GClause
[all...] |
| H A D | Global.h | 147 T* data; member in class:vec
229 if (dealloc) xfree(data), data = NULL, cap = 0; } } local
[all...] |
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Profile.sml | 36 val data = value
49 val data = value
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | coreutils.sml | 94 val data = Array.fromList(loop 0) value
|
| H A D | lalr.sml | 276 let val data = array(nonterms,NontermSet.empty) value
354 let val data = value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
| H A D | slist.h | 25 void *data; member in class:voidSList::voidSListElem
[all...] |
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | parse_struct.c | 89 void *data; member in struct:tree20
|
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | objecttype.c | 141 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| H A D | ioport.c | 216 static exception_t invokeX86PortOut(word_t invLabel, uint16_t port, uint32_t data) argument
285 uint32_t data; local
[all...] |
| /seL4-l4v-master/seL4/src/arch/riscv/object/ |
| H A D | objecttype.c | 53 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-l4v-master/HOL4/src/postkernel/ |
| H A D | DB.sig | 9 type data = DB_dtype.data type
[all...] |
| H A D | DB.sml | 34 type data = (string * string) * (thm * class) type
|
| /seL4-l4v-master/seL4/src/arch/arm/32/object/ |
| H A D | objecttype.c | 115 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-l4v-master/seL4/src/arch/arm/64/object/ |
| H A D | objecttype.c | 119 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | funCall.sml | 498 val data = map (fn (dest, src) => (dest, src, direct_before dest)) regL value
[all...] |
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | match_goal.sml | 35 type data = named_thms * named_tms type
|
| H A D | ThmSetData.sml | 8 type data = LoadableThyData.t type
223 val data = write1 (REMOVE s) value
|
| /seL4-l4v-master/HOL4/developers/ |
| H A D | comparelogs.sml | 200 val data = Binarymap.foldr pertheory [] map' value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddio.c | 56 int data; member in struct:s_LoadHash
566 static void loadhash_add(int key, int data) argument
|
| /seL4-l4v-master/l4v/misc/autostop/ |
| H A D | stop.c | 99 void iterate_processes(char **limit, void (*proc_fn)(int, void *), void *data) argument
180 struct test_data *data = d; local
[all...] |
| /seL4-l4v-master/seL4/manual/parts/ |
| H A D | bootup.tex | |
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 233 data = lib_root.read() variable
|
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | Cache.sml | 9 type data = (hypinfo * thm option) list type
|
| H A D | congLib.sml | 273 val data = {rewriters= (#cong_reducer csdata):: value
|
| /seL4-l4v-master/HOL4/src/compute/src/ |
| H A D | clauses.sml | 394 val data = all_data {settype = setname} value
|