/seL4-l4v-10.1.1/HOL4/src/Boolify/test/ |
H A D | datatypes.sml | 332 Hol_datatype `Size = Byte | Word | Long`; 387 DataOrAddressRegister => Size 390 | pcindex of num => DataOrAddressRegister => Size`; 400 | ADD of Size => AddressingMode => AddressingMode 401 | ADDA of Size => AddressingMode => AddressRegister 402 | ADDI of Size => num => AddressingMode 403 | ADDQ of Size => num => AddressingMode 404 | ADDX of Size => AddressingMode => AddressingMode 405 | AND of Size => AddressingMode => AddressingMode 406 | ANDI of Size [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | pyobjc-tc.c | 15 typedef struct Size { struct 18 } Size; typedef in typeref:struct:Size 22 Size s; 55 size_type.size = 0;/* sizeof(Size);*/ 56 size_type.alignment = 0;/* __alignof__(Size);*/
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | Dynarray.sig | 26 upper bound on non-default elements. Raises Size if n < 0. 30 values in a in the range [m,n]. Raises the exception Size if n < m. 37 remaining elements are the default d. Raises Size if n < 0.
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | General.sml | 31 exception Size exception 56 and Size = RunCall.Size exception 78 exception Span = Span and Subscript = Subscript and Size = Size exception
|
H A D | LibrarySupport.sml | 137 else raise Size 148 then raise Size 168 val _ = words <= maxAllocation orelse raise Size
|
H A D | Weak.sml | 45 val () = if n < 0 orelse n >= Array.maxLen then raise Size else ()
|
H A D | Date.sml | 93 in the RTS. May raise Size if the value is too large (or small). In 97 handle General.Size => callTiming 4 (Time.toSeconds(Time.now())) 276 callTiming 5 (Time.toSeconds(toTime d)) handle Size => ~1 477 handle Size => ~1 481 handle RunCall.Size => raise Date
|
H A D | Array.sml | 62 val () = if len >= maxLen then raise General.Size else () 70 val () = if len < 0 orelse len >= maxLen then raise General.Size else () 113 if length < 0 then raise General.Size
|
H A D | Vector.sml | 78 val () = if length >= maxLen then raise General.Size else () 101 if length > 0 andalso length < maxLen then alloc length else raise General.Size; 124 else if total_len >= maxLen then raise General.Size
|
H A D | IntInf.sml | 126 else raise Size
|
H A D | List.sml | 136 if n < 0 then raise Size
|
H A D | Real.sml | 405 for the number of digits raises Size. The tests also check 407 expect Size to be raised in that case. Note that the exception 414 if d < 0 orelse d > 200 then raise General.Size 418 if d < 0 orelse d > 200 then raise General.Size 422 if d < 1 orelse d > 200 then raise General.Size
|
H A D | PrimIO.sml | 482 readVec = SOME(fn n => if n < 0 then raise Size else if !isOpen then Vector.fromList [] else raise IO.ClosedStream), 484 readVecNB = SOME(fn n => if n < 0 then raise Size else if !isOpen then SOME(Vector.fromList []) else raise IO.ClosedStream), 541 fun readVec n = if n < 0 then raise Size else VectorSlice.vector(getSlice n)
|
H A D | Array2.sml | 56 then raise Size
|
H A D | BoolArray.sml | 47 then raise General.Size 104 if length >= 0 then alloc length else raise General.Size;
|
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | vspace.tex | 190 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule 204 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule 214 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule 223 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule 233 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule 243 \emph{Constant} & \emph{Size} & \emph{Mapping level} \\ \midrule
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
H A D | Import.sig | 81 | Size
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
H A D | BitsN.sml | 171 handle General.Size => raise Fail "replicate must be > 0-bit"
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86CODESIG.sml | 77 (* Size of operand. OpSize64 is only valid in 64-bit mode. *)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 189 ("Size: " ^
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 189 ("Size: " ^
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
H A D | arm8Script.sml | 800 Bop(Rep,vVar"l",Bop(Div,Mop(Size,LY(0,"N")),Mop(Length,vVar"l"))))) 810 Bop(Sub,Bop(Sub,Mop(Cast iTy,Mop(Size,LY(0,"N"))),LI 1), 933 Mop(Cast(BTy"N"),Mop(PadLeft,TP[LT,Mop(Size,LY(0,"N")),vVar"l"])))) 959 Bop(Sub,Mop(Size,LY(0,"N")),nVar"sh")]), 1284 qVar"state")),Mop(Size,LY(0,"N")))]), 1576 ITE(EQ(Mop(Size,LY(0,"N")),LN 32), 1653 Call("Zeros",vTy,Mop(Size,LY(0,"N")))], 1780 Bop(Div,Mop(Size,LY(0,"N")),LN 8), 1788 Bop(Div,Mop(Size,LY(0,"N")),LN 8), 1873 Let(nVar"dbytes",Bop(Div,Mop(Size,L [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Base.sml | 716 if i >= 0 andalso i < 0xff then 0x0200 + i else raise Size 718 if i >= 0 andalso i < 0xff then 0x0300 + i else raise Size 916 if Word8Vector.length w <> n then raise Size else deref(fromWord8vec w)
|
H A D | DeviceBase.sml | 284 val DMBaseSize = 0w156 (* Size of structure without any user data. *)
|
/seL4-l4v-10.1.1/HOL4/src/string/ |
H A D | stringScript.sml | 266 Size of a string.
|