/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | Redblackmap.sml | 38 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 D | Spline.java | 24 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 D | Spline.java | 24 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 D | sysv.S | 185 .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 D | git-regression-build.sh | 136 git clean -xd -e build-logs
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | sysv.S | 195 .byte 0xd /* DW_CFA_def_cfa_register */ 212 .byte 0xd /* DW_CFA_def_cfa_register */
|
H A D | darwin.S | 354 .byte 0xd ; DW_CFA_def_cfa_register 373 .byte 0xd ; DW_CFA_def_cfa_register
|
H A D | linux64.S | 241 .byte 0xd # DW_CFA_def_cfa_register
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | darwin.S | 379 .byte 0xd 404 .byte 0xd 432 .byte 0xd
|
H A D | freebsd.S | 391 .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 D | sysv.S | 416 .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 D | win32.S | 1238 .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 D | hpux32.S | 337 .byte 0xd ;# DW_CFA_def_cfa_register = r3 364 .byte 0xd ;# DW_CFA_def_cfa_register = r3
|
H A D | linux.S | 326 .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 D | v8.S | 312 .byte 0xd ! DW_CFA_def_cfa_register 335 .byte 0xd ! DW_CFA_def_cfa_register
|
H A D | v9.S | 272 .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 D | arm8AssemblerLib.sml | 154 | Address (page, (_, xd)) => Address (page, (offset, xd))
|
H A D | arm8.sml | 7430 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 D | sysv.S | 783 .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 D | sysv.S | 504 .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 D | n32.S | 552 .byte 0xd # DW_CFA_def_cfa_register
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
H A D | encoding.h | 973 #define CAUSE_LOAD_PAGE_FAULT 0xd
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
H A D | hol_defaxiomsScript.sml | 1720 (str "Unexpected event-type for xd-name, %x0")
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | hol_defaxiomsScript.sml | 1719 (str "Unexpected event-type for xd-name, %x0")
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | hol_defaxiomsScript.sml | 1715 (str "Unexpected event-type for xd-name, %x0")
|