/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | winbasicio.cpp | 334 waitUntilOutputPossible(taskData); // canOutput will test the result and may update currentInBuffer. 427 int WinInOutStream::poll(TaskData *taskData, int test) argument 429 if (test & POLL_BIT_IN) 434 if (test & POLL_BIT_OUT) 586 // First test to see if we have input available. 616 // First test to see if we have input available. 669 // Takes a vector of io descriptors, a vector of bits to test 721 processes->ThreadExit(taskData); // TestAnyEvents may test for kill 1115 // Get the current position in the stream. This is used to test 1350 processes->ThreadExit(taskData); // TestAnyEvents may test fo [all...] |
/seL4-l4v-master/HOL4/examples/imperative/ |
H A D | necec2010.sml | 26 As per HOL recommendations, other libraries required by the test case should be open at the front of the file befor any other commands. 64 The following provides a test of this definition.
|
H A D | reflectOnFailure.sml | 142 that our test was flawed?
|
/seL4-l4v-master/HOL4/src/quotient/examples/ |
H A D | finite_setScript.sml | 153 (* MEM test of membership of an element in a list *) 165 (* The membership function to test if an element is a member of a list *)
|
H A D | tactics.sml | 124 fun test f x = ( f x; x ); function 544 (mapfilter (SYM o (test ((pairf dest_var dest_var)
|
/seL4-l4v-master/HOL4/src/rational/ |
H A D | fracLib.sml | 368 (* ---------- test cases ---------- * 377 * ---------- test cases ---------- *)
|
H A D | ratLib.sml | 190 (* ---------- test cases ---------- * 198 * ---------- test cases ---------- *)
|
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | LTLScript.sml | 157 ; Same test as the transition-subset-p test above!
|
/seL4-l4v-master/HOL4/examples/bootstrap/ |
H A D | codegen_proofsScript.sml | 185 \\ rw [] \\ Cases_on ���test��� \\ fs [c_test_def] 710 take_branch test args s = (Res b,s) ��� 713 code_in t.pc (c_test test l4) t.instructions ��� 719 Cases_on ���test��� \\ fs [] 756 \\ rename [���take_branch test args s5���] 757 \\ Cases_on ���take_branch test args s5��� \\ fs [] 779 \\ ���LENGTH (c_test test l4) = 4��� by (Cases_on ���test��� \\ fs [c_test_def])
|
/seL4-l4v-master/HOL4/src/AI/proof_search/ |
H A D | psMCTS.sml | 95 fun quant_status quant test tree pol = 99 test (#status (dfind cid tree)) handle NotFound => false
|
/seL4-l4v-master/l4v/tools/autocorres/tools/ |
H A D | release.py | 120 parser.add_argument('-t', '--test', action='store_true', default=False, 394 # Run a test if requested. 395 if args.test:
|
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | cpsScript.sml | 71 (* Used in the test expression of an if-then-else *)
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | cpsScript.sml | 71 (* Used in the test expression of an if-then-else *)
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
H A D | cpsScript.sml | 71 (* Used in the test expression of an if-then-else *)
|
/seL4-l4v-master/HOL4/examples/ |
H A D | dpll.sml | 237 (* test them here:
|
/seL4-l4v-master/HOL4/examples/hardware/hol88/computer/ |
H A D | computer_imp.ml | 177 % test field is 3 (ie. 'jump_knob'). This results in a change in the %
|
/seL4-l4v-master/HOL4/src/ring/examples/ |
H A D | tests.sml | 34 bigger test: 8 squares
|
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/ |
H A D | protocol.tex | 42 protocol~\cite{needham-schroeder} has become a standard test case.
|
/seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
H A D | codegen_x64Lib.sml | 121 val code = ["test " ^ rd ^ ", " ^ f j]
|
H A D | codegen_x86Lib.sml | 128 val code = ["test " ^ rd ^ ", " ^ f j]
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | x86_decoderScript.sml | 524 val th = EVAL ``x86_decode(bytebits "F7C638000000")``; (* test esi,56 *) 525 val th = EVAL ``x86_decode(bytebits "F70337020000")``; (* test dword [ebx],567 *) 526 val th = EVAL ``x86_decode(bytebits "850B")``; (* test [ebx], ecx *) 575 (* test whether decoding works, if this is slow then something's wrong *)
|
/seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/ |
H A D | x64_codegen_x64Lib.sml | 122 val code = ["test " ^ rd ^ ", " ^ f j]
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | protocol.tex | 42 protocol~\cite{needham-schroeder} has become a standard test case.
|
/seL4-l4v-master/HOL4/tools/Holmake/mosml/ |
H A D | BuildCommand.sml | 75 location pragmas. Must test for existence, for bootstrapping.
|
/seL4-l4v-master/HOL4/examples/algebra/lib/ |
H A D | primesScript.sml | 260 (* Primality test by seeking a factor exceeding (SQRT n). *)
|