Searched defs:data (Results 1 - 25 of 66) sorted by path

123

/seL4-l4v-master/HOL4/developers/
H A D	comparelogs.sml	200 val data = Binarymap.foldr pertheory [] map' value
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A D	arm_evalLib.sml	638 val data = inputAll istr value
/seL4-l4v-master/HOL4/examples/ARM/v4/mlton/
H A D	updateML.sml	21 datatype data = Byte of word8 | Half of word16 | Word of word32 type [all...]
/seL4-l4v-master/HOL4/examples/PSL/1.01/executable-semantics/
H A D	test.v	55 reg [31:0] data; // Data last read from Sender register 96 reg [31:0] data; // Data last read from BUF register [all...]
H A D	test2.v	65 reg [31:0] data; // Data last read from Sender register 112 reg [31:0] data; // Data last read from BUF register [all...]
H A D	test_c.v	52 reg [31:0] data; // Data last read from Sender register 92 reg [31:0] data; // Data last read from BUF register [all...]
H A D	test_c1.v	56 reg [31:0] data; // Data last read from Sender register 94 reg [31:0] data; register [all...]
H A D	test_c2.v	52 reg [31:0] data; // Data last read from Sender register 92 reg [31:0] data; // Data last read from BUF register [all...]
/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/examples/elliptic/
H A D	fieldTools.sml	986 val data = value 1149 val data = value 1211 val data = value
/seL4-l4v-master/HOL4/examples/imperative/
H A D	necec2010.sml	29 we enable the HOL system to display all assumptions and data types currently in use. structure
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A D	arm.sml	4987 val data = MemU 32 (address,4) value 5016 val data = MemU 32 (address,4) value 5049 val data = MemU_unpriv 32 (address,4) value 5149 val data = MemU 16 (address,2) value 5167 val data = MemU 16 (address,2) value 5189 val data = MemU_unpriv 16 (address,2) value 5438 val data = value 5468 val data = value 5805 val data = MemA 8 (Rn,1) value 5816 val data = MemA 32 (Rn,4) value [all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/
H A D	arm8.sml	1215 val data = value 1747 val data = if rt_unknown then BitsN.fromNat(0,N) else X N t value 1755 val data = value 1909 val data = if rt_unknown then BitsN.fromNat(0,N) else X N t value 1935 val data = Mem N (address,(dbytes,acctype)) value 1962 val data = value 2000 val data = Mem N (address,(dbytes,acctype)) value 2031 val data = value [all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A D	m0.sml	1571 val data = MemU 32 (address,4) value 1595 val data = MemU 8 (address,1) value 1611 val data = MemU 16 (address,2) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A D	riscv.sml	3864 val data = MEM pAddrIdx value 3874 val data = BitsN.bits(63,0) ddw value 3962 val data = MEM pAddrIdx value 5644 val data = GPR rs2 value 5675 val data = GPR rs2 value 5706 val data = GPR rs2 value 5739 val data = GPR rs2 value 5837 val data = GPR rs2 value 5896 val data = GPR rs2 value 5946 val data = GPR rs2 value 5995 val data = GPR rs2 value 6046 val data = GPR rs2 value 6102 val data = GPR rs2 value 6160 val data = GPR rs2 value 6216 val data = GPR rs2 value 6274 val data = GPR rs2 value 6330 val data = GPR rs2 value 6388 val data = GPR rs2 value 6444 val data = GPR rs2 value 6502 val data = GPR rs2 value 6558 val data = GPR rs2 value 6616 val data = GPR rs2 value 6672 val data = GPR rs2 value 6730 val data = GPR rs2 value 6786 val data = GPR rs2 value 6844 val data = GPR rs2 value 6900 val data = GPR rs2 value 6980 val data = FPRS rs2 value 7472 val data = FPRD rs2 value [all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A D	hashtbl.h	28 hashData data; member in class:hashElement
H A D	slist.h	25 void *data; member in class:voidSList::voidSListElem [all...]
/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/HOL4/examples/theorem-prover/lisp-runtime/extract/
H A D	lisp_extractLib.sml	464 val data = map gen_data names value
/seL4-l4v-master/HOL4/src/1/
H A D	match_goal.sml	35 type data = named_thms * named_tms type
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A D	Global.h	147 T* data; member in class:vec 229 if (dealloc) xfree(data), data = NULL, cap = 0; } } local [all...]
H A D	SolverTypes.h	86 Lit data[1]; member in class:Clause 120 void* data; member in class:GClause [all...]
H A D	Sort.h	122 T* data = v.release(); local
/seL4-l4v-master/HOL4/src/parse/
H A D	Hol_pp.sig	7 type data = DB.data type
/seL4-l4v-master/HOL4/src/portableML/
H A D	Profile.sml	36 val data = value 49 val data = value

Completed in 348 milliseconds

123

Indexes created Sat May 25 20:21:57 MDT 2024