Searched defs:result (Results 201 - 225 of 267) sorted by relevance

1234567891011

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A D	Holmake.sml	243 val result = value 935 val result = value [all...]
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A D	yacc.sml	822 in let val result = TextIO.openOut (spec ^ ".sml") value 924 let val (result,inputSource) = ParseGenParser.parse spec value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A D	binderLib.sml	487 val result = EQT_ELIM (SIMP_CONV bool_ss [defining_body] tm) value 499 val result = EQT_ELIM (SIMP_CONV bool_ss [defining_body] tm) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A D	codegenLib.sml	93 val result = filter (fn x => not (x = "")) (map fst code6) value 95 val result = list_append (map (String.tokens (fn x => x = #" ")) result) value 160 val (result,_,xs) = basic_assembler target code3 value
H A D	reg_allocLib.sml	83 val result = case term2assign ``r1:word32`` tm of value 91 val result = case term2guard tm of value 137 val result = auto_prove "FLAT_CONV" (goal, value 140 val result = FUNC_BODY_CONV FLAT_CONV tm value 261 val result = auto_prove "FLAT_CONV" (goal,SIMP_TAC std_ss [LET_DEF]) value 263 val result = FUNC_BODY_CONV FLAT_CONV tm value 417 val result = fst (hd (sort (fn (_,x) => fn (_,y) => y <= x) xs)) value [all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/arm/
H A D	prog_armLib.sml	464 val result = prove(tm, value 555 val result = map derive_spec thms value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A D	lisp_opsScript.sml	243 val result = prove_spec th imp def pre_tm post_tm value 265 val result = prove_spec th imp def pre_tm post_tm value 287 val result = prove_spec th imp def pre_tm post_tm value 307 val result = prove_spec th imp def pre_tm post_tm value 329 val result = prove_spec th imp def pre_tm post_tm value 351 val result = prove_spec th imp def pre_tm post_tm value 386 val result = prove_spec th imp def pre_tm post_tm value 421 val result = prove_spec th imp def pre_tm post_tm value 454 val result = prove_spec th imp def pre_tm post_tm value 493 val result = prove_spec th imp def pre_tm post_tm value 520 val result = prove_spec th imp def pre_tm post_tm value 545 val result = prove_spec th imp def pre_tm post_tm value 570 val result = prove_spec th imp def pre_tm post_tm value 591 val result = prove_spec th imp def pre_tm post_tm value 611 val result = prove_spec th imp def pre_tm post_tm value 640 val result = prove_spec th imp def pre_tm post_tm value 668 val result = prove_spec th imp def pre_tm post_tm value 692 val result = prove_spec th imp def pre_tm post_tm value 720 val result = prove_spec th imp def pre_tm post_tm value 750 val result = prove_spec th imp def pre_tm post_tm value 776 val result = prove_spec th imp def pre_tm post_tm value 796 val result = prove_spec th imp def pre_tm post_tm value 809 val result = prove_spec th imp def pre_tm post_tm value 822 val result = prove_spec th imp def pre_tm post_tm value 838 val result = prove_spec th imp def pre_tm post_tm value 851 val result = prove_spec th imp def pre_tm post_tm value 864 val result = prove_spec th imp def pre_tm post_tm value 885 val result = prove_spec th imp def pre_tm post_tm value 904 val result = prove_spec th imp def pre_tm post_tm value 930 val result = prove_spec th imp def pre_tm post_tm value 953 val result = prove_spec th imp def pre_tm post_tm value 976 val result = prove_spec th imp def pre_tm post_tm value 996 val result = prove_spec th imp def pre_tm post_tm value 1019 val result = prove_spec th imp def pre_tm post_tm value 1040 val result = prove_spec th imp def pre_tm post_tm value 1061 val result = prove_spec th imp def pre_tm post_tm value 1079 val result = prove_spec th imp def pre_tm post_tm value 1092 val result = prove_spec th imp def pre_tm post_tm value 1105 val result = prove_spec th imp def pre_tm post_tm value 1118 val result = prove_spec th imp def pre_tm post_tm value 1131 val result = prove_spec th imp def pre_tm post_tm value 1144 val result = prove_spec th imp def pre_tm post_tm value 1157 val result = prove_spec th imp def pre_tm post_tm value 1170 val result = prove_spec th imp def pre_tm post_tm value 1183 val result = prove_spec th imp def pre_tm post_tm value 1208 val result = prove_spec th imp def pre_tm post_tm value 1235 val result = prove_spec th imp def pre_tm post_tm value 1260 val result = prove_spec th imp def pre_tm post_tm value 1284 val result = prove_spec th imp def pre_tm post_tm value 1285 val result = RW [GSYM rw] result value 1310 val result = prove_spec th imp def pre_tm post_tm value 1311 val result = RW [GSYM rw] result value 1334 val result = prove_spec th imp def pre_tm post_tm value 1335 val result = RW [GSYM rw] result value 1385 val result = prove_spec th imp def pre_tm post_tm value 1409 val result = prove_spec th imp def pre_tm post_tm value 1431 val result = prove_spec th imp def pre_tm post_tm value [all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A D	x64_codegenLib.sml	75 val result = filter (fn x => not (x = "")) (map fst code6) value 77 val result = list_append (map (String.tokens (fn x => x = #" ")) result) value 142 val (result,_,xs) = basic_assembler code3 value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A D	bddop.c	328 BDD result = BDDONE; local 355 BDD result = BDDONE; local [all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A D	muddy.c	77 value result; local 387 value result = alloc_tuple(8); local 449 value result; local 473 value result; local 544 value result; local 578 value result; local 705 value result; local 754 value result; local 789 value result; local 815 value result; local [all...]
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/translations/
H A D	translationsLib.sml	104 val result = strip_set set; value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A D	Console.cpp	955 int result = local
H A D	interpret.cpp	555 PolyWord result = *sp++; /* Result */ local 878 POLYUNSIGNED result = doCall(); local 888 POLYUNSIGNED result = doCall(rtsArg1); local 899 POLYUNSIGNED result = doCall(rtsArg1, rtsArg2); local 911 POLYUNSIGNED result = doCall(rtsArg1, rtsArg2, rtsArg3); local 924 POLYUNSIGNED result = doCall(rtsArg1, rtsArg2, rtsArg3, rtsArg4); local 938 POLYUNSIGNED result = doCall(rtsArg1, rtsArg2, rtsArg3, rtsArg4, rtsArg5); local 949 POLYUNSIGNED result = doCall(this->threadObject); local 964 POLYUNSIGNED result = doCall(this->threadObject, rtsArg1); local 980 POLYUNSIGNED result = doCall(this->threadObject, rtsArg1, rtsArg2); local 997 POLYUNSIGNED result = doCall(this->threadObject, rtsArg1, rtsArg2, rtsArg3); local 1014 double result = doCall(argument); local 1028 double result = doCall(rtsArg1); local 1261 Handle result = mult_longc(this, pushedArg2, pushedArg1); local 1946 int result = memcmp(arg1Ptr+arg1Offset, arg2Ptr+arg2Offset, length); local [all...]
H A D	savestate.cpp	245 bool result = false; local
H A D	unix_specific.cpp	483 Handle result, typeHandle, resHandle; local 517 int result = 0; local 587 Handle result = /* Return the previous setting. */ local 1034 Handle result; local 1268 Handle result = 0; local 1331 Handle result, pidHandle, resHandle; local 1346 Handle nameHandle, uidHandle, gidHandle, homeHandle, shellHandle, result; local 1363 Handle nameHandle, gidHandle, membersHandle, result; local 1446 Handle result = ALLOC(11); local 1469 Handle isHandle, osHandle, result; local 1558 Handle result = ALLOC(5); local [all...]
H A D	windows_specific.cpp	773 BOOL result = PeekMessage(&msg, hwnd, wMsgFilterMin, wMsgFilterMax, PM_NOREMOVE); local 785 Handle result = alloc_and_save(taskData, 1, F_BYTE_OBJ); local 792 Handle result = alloc_and_save(taskData, 1, F_BYTE_OBJ); local 819 Handle result = 0; local 1089 Handle result; local 1186 Handle result, resVal, resType; local 1278 Handle result, resVal; local [all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A D	Rewrite.sml	405 val result = rewriteIdRule' order known redexes id th value 647 val result as (Rewrite {known = known', ...}, _) = reduce' rw value [all...]
H A D	Rule.sml	639 val result = value 769 val result = fact [] edges value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A D	Real.sml	260 val result = realConv str handle RunCall.Conversion _ => raise General.Domain value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A D	Rewrite.sml	405 val result = rewriteIdRule' order known redexes id th value 647 val result as (Rewrite {known = known', ...}, _) = reduce' rw value [all...]
H A D	Rule.sml	639 val result = value 769 val result = fact [] edges value
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A D	vspace.c	1686 readWordFromVSpace_ret_t result; local
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A D	Portable.sml	651 val result = verdict f (fn x => x) x value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A D	tttUnfold.sml	1163 val result = split_thyl_aux l2 l1' value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A D	RW.sml	642 val result = itlist generalize vlist th2 value

Completed in 512 milliseconds

1234567891011

Indexes created Sat Jun 08 03:50:41 MDT 2024