| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_tools.sml | 682 val result = List.concat (map process_line lines) value
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | buildutils.sml | 725 val result = value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | derive_specsLib.sml | 129 val result = aux 0 [] T value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bdd.h | 77 BDD *result; member in struct:s_bddPair
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
| H A D | lisp_extractLib.sml | 27 val result = pairSyntax.mk_anylet([(vs,ys)],b) value
419 val result = case ind of value
423 val result = prove(i |> concl |> rand, value
539 val result = map (RW (map GSYM defs)) rs value
783 val result = case ind of value
785 val result = prove(forall_goal, value
795 val result = prove(i |> concl |> rand, value
927 val result = if concl ind = T then RW [] th6 else let value
930 val result = prove(i |> concl |> rand, value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_codegenScript.sml | 1616 val result = subst s in_out_vars value
|
| H A D | lisp_compiler_opScript.sml | 2086 val result = full exp value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_stepLib.sml | 1062 val result = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | network.cpp | 690 SOCKET result = accept(sock, &resultAddr, &addrLen); local
802 int result = 0; local
1208 Handle aliases, name, addrType, result; local
1239 Handle aliases, name, protocol, result; local
1263 Handle aliases, name, protocol, result, port; local
1290 Handle result, name, num; local
1303 Handle result, name, num; local
1366 Handle result = ALLOC(nRes); local
1391 Handle rdResult, wrResult, exResult, result; local
1489 Handle result = 0; local
1516 Handle result = serv == NULL ? 0 : makeServEntry(taskData, serv); local
1535 Handle result = serv == NULL ? 0 : makeServEntry(taskData, serv); local
1553 Handle result = serv == NULL ? 0 : makeServEntry(taskData, serv); local
1572 Handle result = serv == NULL ? 0 : makeServEntry(taskData, serv); local
1591 Handle result = proto == NULL ? 0 : makeProtoEntry(taskData, proto); local
1609 Handle result = proto == NULL ? 0 : makeProtoEntry(taskData, proto); local
1623 Handle result = 0; local
1663 Handle result = host == NULL ? 0 : makeHostEntry(taskData, host); local
1682 Handle result = host == NULL ? 0 : makeHostEntry(taskData, host); local
[all...] |
| H A D | processes.cpp | 363 Handle result = 0; local
633 bool result = false; // Default to failed. local
1716 Handle result = 0; local
[all...] |
| H A D | x86_dep.cpp | 1277 POLYUNSIGNED result = X86AsmAtomicIncrement(p); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_SIMPLIFIER.sml | 315 val result = value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | SIGNATURES.sml | 1032 val result = pStruct t (offset + 1); value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | CommonDialog.sml | 654 val result = value
808 val result = doCall m handle ex => (freeAll(); raise ex) value
1102 val result value
1177 val result = printDlg mem handle ex => (freeAll(); raise ex) value
1393 val result = value
1493 val result = value
[all...] |
| H A D | Message.sml | 3589 val (result, newStat value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | OS.sml | 1095 val result = Word.andb(bits, Vector.sub(resV, index)) value
|
| H A D | TopLevelPolyML.sml | 41 val result = f () value
377 val result = ref [] value
425 val result = ref [] value
803 val result = ref [] value
1454 val (result, finalPosition, resultTrees, errors) = value
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 3212 readWordFromVSpace_ret_t result; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2640 readWordFromVSpace_ret_t result; local
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | utilsLib.sml | 113 val result = value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | ConseqConv.sml | |
| /seL4-l4v-10.1.1/HOL4/src/coretypes/ |
| H A D | PairRules.sml | 1382 val result = list_mk_pforall ([x,y],bod) value
1408 val result = list_mk_pexists ([x,y],bod) value
1434 val result = mk_pforall (xy,bod) value
1461 val result = mk_pexists (xy,bod) value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | Parse.sml | 998 fun result (tyg, tmg) _ _ ppfns (pgr,lgr,rgr) depth tm = function
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | Theory.sml | 132 val result = f x handle e => (finish(); raise e) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 624 val result = s @ map (fn x => x |-> x) (filter (fn y => not (mem y (redexes s))) (free_vars x)) value
626 val result = result @ map (fn y => y |-> list_mk_star [] (type_of y)) value
1272 val result = s @ map (fn x => x |-> x) (filter (fn y => not (mem y (redexes s))) (free_vars x)) value
1274 val result = result value
[all...] |