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

1234

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile12 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 Dmakefile12 CC = gcc macro
23 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile12 CC = gcc macro
23 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmakefile12 CC = gcc macro
23 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile12 CC = gcc macro
23 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile12 CC = gcc macro
23 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmakefile12 CC = gcc macro
23 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dmakefile14 CC = gcc macro
33 $(CC) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/src/simp/
H A Dtest.sml67 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 DTree.sml27 | CC | LS | HI | CS
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DTree.sml26 and relop = EQ | NE | LT | GT | LE | GE | CC | LS | HI | CS
62 | CC | LS | HI | CS
H A DAssem.sml33 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 DTree.sml26 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 Dmakefile25 $(CC) $(CFLAGS) $(DFLAGS) -c $<
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure732 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 Dppc_testsScript.sml26 ("4000A8","CC"),("4000A9","DD")]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dbuild-ios.sh18 export CC="${platform}"/Developer/usr/bin/gcc-4.2
H A Dconfigure790 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 DMakefile.in141 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 DSysteml.sig28 val CC : string value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in231 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 DarmScript.sml441 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 DDiff.sml43 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 Dx64Script.sml239 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 Dtokenizer.sml34 if isSuccess (system ("/usr/bin/cpp " ^ includes_string ^ " -CC " ^ fname ^

Completed in 134 milliseconds

1234