Searched refs:src (Results 226 - 250 of 331) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/
H A DmodelCheckLib.sml8 loadPath := (concat home_dir "src/deep_embeddings") ::
9 (concat home_dir "src/translations") ::
10 (concat home_dir "src/tools") ::
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/translations/
H A DtranslationsLibScript.sml8 loadPath := (concat home_dir "src/deep_embeddings") ::
9 (concat home_dir "src/translations") ::
10 (concat home_dir "src/tools") ::
H A Dalternating_omega_automata_to_automaton_formulaScript.sml7 loadPath := (concat home_dir "src/deep_embeddings") ::
8 (concat home_dir "src/tools") :: !loadPath;
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/
H A DevalML.sml5 "src/portableML", "src/theoryML"];
483 (* Taken from Joe Hurd's $HOLDIR/tools/mlton/src/mlibPortable.sml *)
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml411 (Mosml_compile (objs, src), I) =>
413 (toFile src)
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbvec.h137 bvec operator=(const bvec &src);
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/deep_embeddings/
H A Dinfinite_pathScript.sml7 loadPath := (concat home_dir "src/deep_embeddings") ::
8 (concat home_dir "src/tools") :: !loadPath;
H A Dkripke_structureScript.sml7 loadPath := (home_dir ^ "src/deep_embeddings") ::
8 (home_dir ^ "src/tools") :: !loadPath;
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sml471 fun add ((src,arity),dest,m) =
473 val src = Name.fromString (toTptp (src,arity)) value
475 NameArityMap.insert m ((src,arity),dest)
1930 val src = CnfClauseSource (name,clause) value
1932 val norm = addClauses role [(cl,src)] norm
2199 SOME src => src
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHtmlsigs.sml82 fun scanident getc src =
86 val sus1 = skipWS getc src
H A DDoc2Html.sml110 out "<A HREF = \"../../src-sml/htmlsigs/";
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sml471 fun add ((src,arity),dest,m) =
473 val src = Name.fromString (toTptp (src,arity)) value
475 NameArityMap.insert m ((src,arity),dest)
1930 val src = CnfClauseSource (name,clause) value
1932 val norm = addClauses role [(cl,src)] norm
2199 SOME src => src
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DGdiBase.sml40 val NOTSRCERASE = W (0x001100A6 (* dest = (NOT src) AND (NOT dest) *))
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibAbbrev.sml16 (concat [Globals.HOLDIR, "/src/quantHeuristics"])::
H A DquantHeuristicsLibParameters.sml17 (concat [Globals.HOLDIR, "/src/quantHeuristics"])::
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient_sumScript.sml50 src/sum/sumScript.sml. *)
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtacticToe.sml78 hide_out QUse.use (tactictoe_dir ^ "/src/infix_file.sml");
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/step/
H A Dx64_stepLib.sml945 val MOVUP_D_S_1 = sse ``dfn'MOVUP_D_S (double, xmm, xmm_reg (src))`` |> List.tl
948 val MOVSD_1 = sse ``dfn'MOVSD (xmm, xmm_reg (src))`` |> List.tl |> wv_to_v
950 val MOVSS_1 = sse ``dfn'MOVSS (xmm, xmm_reg (src))`` |> List.tl |> wv_to_v
958 val MOVQ_1 = sse ``dfn'MOVQ (xmm, xmm_reg (src))`` |> List.tl
/seL4-l4v-10.1.1/HOL4/examples/pgcl/examples/
H A Dverification.sml8 loadPath := ["../src"] @ !loadPath;
/seL4-l4v-10.1.1/HOL4/developers/
H A Dprehol.sml38 set up in src/0/Overlay.sml *)
/seL4-l4v-10.1.1/HOL4/examples/Crypto/TEA/
H A DteaScript.sml219 (* HOLDIR/src/emit/ML *)
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml7 (concat [Globals.HOLDIR, "/examples/separationLogic/src"]) ::
8 (concat [Globals.HOLDIR, "/examples/separationLogic/src/holfoot"]) ::
14 use (Globals.HOLDIR ^ "/examples/separationLogic/src/holfoot/hfheader.sml")
1262 val examplesDir = Globals.HOLDIR ^ "/examples/separationLogic/src/holfoot/EXAMPLES/";
1266 val examplesDir = Globals.HOLDIR ^ "/examples/separationLogic/src/holfoot/EXAMPLES/";
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dparse_term.sml391 (fn (lower_right,src) =>
392 insert ((lower_right,true), lefttok) (PM_GREATER src))
450 app (fn (lower_right,src) =>
451 insert ((lower_right,true), TypeColon) (PM_GREATER src))
459 app (fn (lower_right,src) =>
460 insert ((lower_right,true), left_tok) (PM_GREATER src))
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/
H A Dvars_as_resourceBaseFunctor.sml74 (Globals.HOLDIR ^ "/examples/separationLogic/src") ::
75 (Globals.HOLDIR ^ "/examples/separationLogic/src/holfoot") ::
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dinterpret.cpp1910 PolyObject *src = (PolyObject*)((*sp).AsCodePtr() + srcOffset); local
1911 for (POLYUNSIGNED u = 0; u < length; u++) dest->Set(destIndex+u, src->Get(srcIndex+u));
1922 POLYCODEPTR src = (*sp).AsCodePtr(); local
1923 memcpy(dest+destOffset, src+srcOffset, length);

Completed in 150 milliseconds

1234567891011>>