/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $< 26 $(CC) $(CFLAGS) milner.o -o milner -lbdd -lm
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/queen/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/money/ |
H A D | makefile | 12 CC = gcc macro 23 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | makefile | 14 CC = gcc macro 33 $(CC) $(CFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/src/simp/ |
H A D | test.sml | 67 val CC = SIMP_PROVE bool_ss [] (--`!P:'a->'b. (x = x') ==> (P x = P x')`--); value 69 SIMP_PROVE arith_ss [CC,CC2] (--`y >= z ==> z >= y ==> (P y (x + 2):bool = P z (2 + x))`--);
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | Tree.sml | 27 | CC | LS | HI | CS
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Tree.sml | 26 and relop = EQ | NE | LT | GT | LE | GE | CC | LS | HI | CS 62 | CC | LS | HI | CS
|
H A D | Assem.sml | 33 datatype cond = EQ | NE | GE | LE | GT | LT | AL | NV | CC | LS | HI | CS 94 | print_cond (SOME CC) = "CC"
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Tree.sml | 26 and relop = EQ | NE | LT | GT | LE | GE | CC | LS | HI | CS 62 | CC | LS | HI | CS
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | makefile | 25 $(CC) $(CFLAGS) $(DFLAGS) -c $<
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | configure | 732 CC 843 CC 1416 To assign environment variables (e.g., CC, CFLAGS...), specify them as 1540 CC C compiler command 1553 CCAS assembler compiler command (defaults to CC) 2933 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5' 2934 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5' 3767 if $CC -dumpmachine | grep -q mingw; then 3962 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5' 3963 ac_link='$CC [all...] |
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
H A D | ppc_testsScript.sml | 26 ("4000A8","CC"),("4000A9","DD")]
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | build-ios.sh | 18 export CC="${platform}"/Developer/usr/bin/gcc-4.2
|
H A D | configure | 790 CC 1456 To assign environment variables (e.g., CC, CFLAGS...), specify them as 1572 CC C compiler command 1581 CCAS assembler compiler command (defaults to CC) 2724 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5' 2725 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5' 3563 # We must force CC to /not/ be precious variables; otherwise 3574 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5' 3575 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5' 3585 if test -n "$CC"; the [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
H A D | Makefile.in | 141 libpolymain_la_LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC \ 161 COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ 163 LTCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ 164 $(LIBTOOLFLAGS) --mode=compile $(CC) $(DEFS) \ 169 am__v_CC_0 = @echo " CC " $@; 171 CCLD = $(CC) 172 LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ 217 CC = @CC@
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Systeml.sig | 28 val CC : string value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | Makefile.in | 231 COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ 233 LTCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ 234 $(LIBTOOLFLAGS) --mode=compile $(CC) $(DEFS) \ 239 am__v_CC_0 = @echo " CC " $@; 241 CCLD = $(CC) 242 LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ 331 CC = @CC@
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
H A D | armScript.sml | 441 CC[EX(Var("x",F32),LN 15,LN 10,FTy 6), 455 CC[Mop(Cast F1,bVar"N"),Mop(Cast F1,bVar"Z"),Mop(Cast F1,bVar"C"), 483 CC[EX(Var("x",F32),LN 6,LN 3,F4),EX(Var("x",F32),LN 9,LN 8,FTy 2), 499 CC[Mop(Cast F1,bVar"IE"),Mop(Cast F1,bVar"TE"), 532 CC[EX(Var("x",F32),LN 4,LN 3,FTy 2), 545 CC[EX(Var("hsctlr'rst",FTy 23),LN 0,LN 0,F1), 578 CC[Var("EC",FTy 6),Mop(Cast F1,bVar"IL"),Var("ISS",FTy 25)])])) 604 CC[Var("scr'rst",FTy 22),Mop(Cast F1,bVar"SIF"), 625 CC[EX(Var("x",F32),LN 18,LN 16,FTy 3), 634 CC[E [all...] |
/seL4-l4v-10.1.1/HOL4/src/real/ |
H A D | Diff.sml | 43 val CC = TAUT_CONV (``a ==> b ==> c = a /\ b ==> c``); value 89 [CC] th5 handle HOL_ERR _ => th5
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/ |
H A D | x64Script.sml | 239 CC[Var("Reserved",F16),Mop(Cast F1,bVar"FZ"),Var("RC",FTy 2), 277 CC[Apply 301 CC[Apply 325 CC[Apply 349 CC[Apply 1333 CC[LS"Binary op not implemented: ", 1438 CC[LS"read_cond: ", 1463 CC[LS"read_cond: ", 1492 CC[LS"read_cond: ", 1530 CC[L [all...] |
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
H A D | tokenizer.sml | 34 if isSuccess (system ("/usr/bin/cpp " ^ includes_string ^ " -CC " ^ fname ^
|