Searched refs:xd (Results 1 - 25 of 25) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DRedblackmap.sml38 fun lbalance z zd (RED(y,yd,RED(x,xd,a,b),c)) d =
39 RED(y,yd,BLACK(x,xd,a,b),BLACK(z,zd,c,d))
40 | lbalance z zd (RED(x,xd,a,RED(y,yd,b,c))) d =
41 RED(y,yd,BLACK(x,xd,a,b),BLACK(z,zd,c,d))
44 fun rbalance x xd a (RED(y,yd,b,RED(z,zd,c,d))) =
45 RED(y,yd,BLACK(x,xd,a,b),BLACK(z,zd,c,d))
46 | rbalance x xd a (RED(z,zd,RED(y,yd,b,c),d)) =
47 RED(y,yd,BLACK(x,xd,a,b),BLACK(z,zd,c,d))
131 fun balleft y yd (RED(x,xd,a,b)) c =
132 RED(y, yd, BLACK(x, xd,
[all...]
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java24 public SplineSection(double xb,double xc,double xd, argument
26 x_b=xb;x_c=xc;x_d=xd;
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java24 public SplineSection(double xb,double xc,double xd, argument
26 x_b=xb;x_c=xc;x_d=xd;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/
H A Dsysv.S185 .byte 0x8d # DW_CFA_offset, column 0xd
190 .uleb128 0xd
203 .byte 0xd # DW_CFA_def_cfa_register
224 .byte 0x8d # DW_CFA_offset, column 0xd
384 .byte 0x8d # DW_CFA_offset, column 0xd
397 .uleb128 0xd
402 .byte 0xd # DW_CFA_def_cfa_register
/seL4-l4v-10.1.1/HOL4/developers/
H A Dgit-regression-build.sh136 git clean -xd -e build-logs
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dsysv.S195 .byte 0xd /* DW_CFA_def_cfa_register */
212 .byte 0xd /* DW_CFA_def_cfa_register */
H A Ddarwin.S354 .byte 0xd ; DW_CFA_def_cfa_register
373 .byte 0xd ; DW_CFA_def_cfa_register
H A Dlinux64.S241 .byte 0xd # DW_CFA_def_cfa_register
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Ddarwin.S379 .byte 0xd
404 .byte 0xd
432 .byte 0xd
H A Dfreebsd.S391 .byte 0xd /* DW_CFA_def_cfa_register */
416 .byte 0xd /* DW_CFA_def_cfa_register */
450 .byte 0xd /* DW_CFA_def_cfa_register */
H A Dsysv.S416 .byte 0xd /* DW_CFA_def_cfa_register */
437 .byte 0xd /* DW_CFA_def_cfa_register */
467 .byte 0xd /* DW_CFA_def_cfa_register */
H A Dwin32.S1238 .byte 0xd /* DW_CFA_def_cfa_register CFA = r5 = %ebp */
1269 .byte 0xd /* DW_CFA_def_cfa_register CFA = r5 = %ebp */
1302 .byte 0xd /* DW_CFA_def_cfa_register CFA = r5 = %ebp */
1340 .byte 0xd /* DW_CFA_def_cfa_register CFA = r5 = %ebp */
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/pa/
H A Dhpux32.S337 .byte 0xd ;# DW_CFA_def_cfa_register = r3
364 .byte 0xd ;# DW_CFA_def_cfa_register = r3
H A Dlinux.S326 .byte 0xd ;# DW_CFA_def_cfa_register = r3
353 .byte 0xd ;# DW_CFA_def_cfa_register = r3
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv8.S312 .byte 0xd ! DW_CFA_def_cfa_register
335 .byte 0xd ! DW_CFA_def_cfa_register
H A Dv9.S272 .byte 0xd ! DW_CFA_def_cfa_register
295 .byte 0xd ! DW_CFA_def_cfa_register
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8AssemblerLib.sml154 | Address (page, (_, xd)) => Address (page, (offset, xd))
H A Darm8.sml7430 Option.SOME(true,xd) =>
7433 PENDING(v,Address(page,(BitsN.B(0x0,64),xd)))
7442 OK(Address(page,(imm64,xd)))
7577 (Option.SOME(true,(xd,xn)),Option.SOME(_,rm)) =>
7587 (rm,(ext,(BitsN.fromNat(amount,3),(xn,xd)))))))))
7645 Option.SOME(true,(xd,(xn,xm))) =>
7650 (setflags,(sh,(xm,(imm6,(xn,xd)))))))))
7685 (Option.SOME(true,(xd,(xn,xm))),Option.SOME(sh,amount)) =>
7689 (opc,(invert,(setflags,(sh,(amount,(xm,(xn,xd))))))))))
7704 Option.SOME(true,(xd,x
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh/
H A Dsysv.S783 .byte 0xd /* DW_CFA_def_cfa_register */
847 .byte 0xd /* DW_CFA_def_cfa_register */
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/
H A Dsysv.S504 .byte 0xd /* DW_CFA_def_cfa_register */
536 .byte 0xd /* DW_CFA_def_cfa_register */
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/
H A Dn32.S552 .byte 0xd # DW_CFA_def_cfa_register
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/
H A Dencoding.h973 #define CAUSE_LOAD_PAGE_FAULT 0xd
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml1720 (str "Unexpected event-type for xd-name, %x0")
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dhol_defaxiomsScript.sml1719 (str "Unexpected event-type for xd-name, %x0")
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml1715 (str "Unexpected event-type for xd-name, %x0")

Completed in 224 milliseconds