| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | rtsentry.cpp | 170 Handle result = 0; local
|
| H A D | arb.cpp | 268 unsigned result = (unsigned)res; local
277 int result = (int)res; local
[all...] |
| H A D | gc.cpp | 366 bool result; member in class:QuickGCRequest
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/ |
| H A D | machine.h | 90 rdmsr_safe_result_t result; local
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/ |
| H A D | dpll.sml | 12 datatype result = Unsat of thm | Sat of term -> term type
|
| H A D | satTools.sml | 84 val result = substringContains failure_string sat_res_ss value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Profile.sml | 20 val result = OK (f x) handle e => Ex e value
61 val (result, timefx) = time f x value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Thread_Attributes.sml | 99 val result = Exn.capture (fn () => (set_attributes atts2; e atts1)) (); value
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | selftest.sml | 143 val result = ``if a then f T:'a else g F`` value
153 val result = ``(f:'b -> 'c) o I (g:'a -> 'b)`` value
165 val result = ``T`` value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | HM_GraphBuildJ1.sml | 130 val result = system c value
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | shrink.sml | 153 let val result = array(length l,h) value
|
| H A D | yacc-grm.sml | 333 type result = string*Hdr.declData* ( Hdr.rule list ) type
638 MlyValue.ID_LIST ID_LIST1,ID_LIST1left,_))::rest671) => let val result value
[all...] |
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | genUseScript.sml | 168 val result = value
|
| H A D | generateBuildSummary.sml | 25 val result = OS.Process.system ("date +\"%a, %d %b %Y %H:%M:%S %z\" > "^tmp) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | cls_pointer_stack.c | 31 void* result; local
56 void* result; local
[all...] |
| H A D | nested_struct.c | 32 struct cls_struct_combined result; local
[all...] |
| H A D | nested_struct1.c | 33 struct cls_struct_combined result; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | NetHostDB.sml | 150 datatype result = AResult of entry | NoResult type
|
| /seL4-l4v-10.1.1/l4v/misc/regression/ |
| H A D | testspec.py | 208 def result(x, fail=lambda x: rel[x]): function in function:Depends.__init__.lookup
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
| H A D | capdl.c | 29 static int getDecodedChar(unsigned char *result) argument
253 int result; local
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/ |
| H A D | yacc-grm.sml | 336 type result = string*Hdr.declData* ( Hdr.rule list ) type
641 MlyValue.ID_LIST ID_LIST1,ID_LIST1left,_))::rest671) => let val result value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
| H A D | compiler.sml | 252 val result = pass3 defs value
|
| /seL4-l4v-10.1.1/HOL4/examples/ |
| H A D | dpll.sml | 5 datatype result = Unsat of thm | Sat of term -> term type
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Parser.sml | 64 val (result, rest) = parser input value
71 val (result, rest) = parser input value
110 val (result,input) = parser input value
|
| /seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
| H A D | regexp2dfa.sml | 355 val result = compile_regexp justify regexp value
|