| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | ptr_diff.c | 11 int *pdiff1 (int *ptr, int off) argument
13 return ptr - off;
|
| /seL4-l4v-10.1.1/HOL4/examples/misc/ |
| H A D | autopilotScript.sml | 37 val _ = Hol_datatype `off_eng = off | engaged`;
77 if st.att_cws = off
80 fpa_sel := off;
81 alt_eng := Mode off;
90 if st.cas_eng = off
92 else (st with <|cas_disp := current; cas_eng := off|>)`;
98 if st.fpa_sel = off
101 att_cws := off;
102 alt_eng := Mode off;
105 <| fpa_sel := off;
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
| H A D | ffi.c | 337 int ffi_v9_layout_struct(ffi_type *arg, int off, char *ret, char *intg, char *flt) argument
343 if (off & ((*ptr)->alignment - 1))
344 off = ALIGN(off, (*ptr)->alignment);
349 off = ffi_v9_layout_struct(*ptr, off, ret, intg, flt);
350 off = ALIGN(off, FFI_SIZEOF_ARG);
357 memmove(ret + off, flt + off, (*pt
[all...] |
| /seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/ |
| H A D | Cygwin-Terminal.bat | 1 @echo off
|
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | holfoot_pp_print.sig | 5 (* trace "use holfoot_pp" for turning pretty printing on and off *);
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/ |
| H A D | Cygwin-Terminal.bat | 1 @echo off
|
| /seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/ |
| H A D | interrupt.h | 23 #define CMPER_REG(base, off) ((volatile uint32_t *)((base) + (off)))
|
| /seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
| H A D | hardware.c | 35 #define WDT_REG(base, off) ((volatile uint32_t *)((base) + (off)))
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Sanity.sig | 16 Turn warnings or exception on or off.
21 Turn verbose reporting on or off.
36 Turn checks whether constant names are used as variables on or off.
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m68k/ |
| H A D | sysv.S | 37 #define CFI_OFFSET(reg,off) .cfi_offset reg,off
38 #define CFI_DEF_CFA(reg,off) .cfi_def_cfa reg,off
42 #define CFI_OFFSET(reg,off)
43 #define CFI_DEF_CFA(reg,off)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
| H A D | sysv.S | 40 #define cfi_adjust_cfa_offset(off) .cfi_adjust_cfa_offset off
41 #define cfi_rel_offset(reg, off) .cfi_rel_offset reg, off
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/pa/ |
| H A D | ffi.c | 589 int off; local
594 case FFI_TYPE_SMALL_STRUCT5: off = 3; break;
595 case FFI_TYPE_SMALL_STRUCT6: off = 2; break;
596 case FFI_TYPE_SMALL_STRUCT7: off = 1; break;
597 default: off = 0; break;
601 memcpy ((char *)ret2 + off, ret, 8 - off);
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | intLib.sml | 42 " to turn off integer parsing")
|
| /seL4-l4v-10.1.1/HOL4/src/pred_set/src/ |
| H A D | pred_setpp.sml | 13 So we provide a flag specifically to turn just it off. *)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/LTL/ |
| H A D | ACL2BisimScript.sml | 11 quietdec := true; (* Switch off output *)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
| H A D | M1Examples.sml | 6 quietdec := true; (* Switch off output *)
|
| H A D | M1Script.sml | 6 quietdec := true; (* Switch off output *)
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Arbnumcore.sml | 27 fun less1 x = if x = 0 then raise Fail "Can't take one off zero" else x - 1
28 fun less2 x = if x < 2 then raise Fail "Can't take one off zero" else x - 2
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
| H A D | scala_console.scala | 85 def write(cbuf: Array[Char], off: Int, len: Int)
88 UTF8.bytes(new String(cbuf.slice(off, off + len))).foreach(console_stream.write(_))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | scala_console.scala | 85 def write(cbuf: Array[Char], off: Int, len: Int)
88 UTF8.bytes(new String(cbuf.slice(off, off + len))).foreach(console_stream.write(_))
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | StronglyConnected.sml | 42 val off = addr - startAddress value
43 val { lowLink, index } = valOf(Array.sub(mapArray, off))
45 Array.update(mapArray, off, SOME{ index = index, lowLink = Int.min(lowLink, try) })
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/ |
| H A D | winNT-systeml.sml | 85 output "@echo off\n";
104 output "@echo off\n";
|
| /seL4-l4v-10.1.1/HOL4/src/enumfset/ |
| H A D | inttoTacs.sml | 1 (* File: inttoTacs.sml. Author: F. Lockwood Morris. Split off from *)
|
| /seL4-l4v-10.1.1/HOL4/src/holyhammer/ |
| H A D | hhReconstruct.sml | 69 raise ERR "hh_minimize" "reconstruction off")
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | stack_logic.py | 214 off = None
216 off = offs_expr_const (ptr, ptr2, rep, [hyp] + hyps,
219 if off != None:
220 offs.append ((v, off, k))
222 if off == None:
473 def mk_local (n, kind, off, k):
475 ptr = syntax.mk_plus (v, syntax.mk_word32 (off + off2))
523 for ((n, ptr), off, k) in offs:
524 off = norm_int (off, 3
[all...] |