Searched defs:foo (Results 1 - 25 of 74) sorted by relevance

123

/seL4-l4v-master/HOL4/tools/Holmake/tests/holdep/errors/
H A Dcomment_unterm.sml1 val foo = 3 (* comment here value
/seL4-l4v-master/HOL4/tools/Holmake/tests/theorytarget/subdir/
H A DfooScript.sml5 val foo = save_thm("foo", TRUTH); value
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dtest_typedef.c7 typedef int foo; typedef
H A Danonymous_block_locals.c10 foo(void) { function
H A Dbitfield.c9 struct foo { struct
H A Dextern_builtin.c25 void foo(void){ function
H A Djiraver808.c7 int foo(int v) function
H A Dbugzilla181.c7 struct foo { struct
H A Djiraver384.c8 void foo(void) function
H A Djiraver429.c9 unsigned int foo(unsigned int *bar) { function
H A Dparse_switch.c23 enum {foo = 101,bar}; enumerator in enum:__anon141
/seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/
H A Dl2_opt_invariant.c16 void foo(int *x) { function
H A Dheap_infer.c12 unsigned foo(void) { function
H A Dwhile_loop_no_vars.c7 int foo(int a, int b) function
H A Dstruct_init.c11 struct foo { struct
H A Dsigned_ptr_ptr.c10 static int **foo(void) function
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dtest1.lisp5 (defun foo (x) function
H A Dtest1a.lisp8 (defun foo (x) function
H A Ddefund-test.lisp3 (defund foo (x) x) function
H A Dtest2.lisp9 (defun foo (x) function
/seL4-l4v-master/HOL4/src/datatype/mutrec/
H A DMutRecMask.sml6 datatype foo = Domain | Range; type
H A DMutRecMask.sig3 type foo type
/seL4-l4v-master/HOL4/tools/Holmake/tests/coproduct/testdir/
H A DsimpleScript.sml12 val foo = save_thm("foo", DISCH_ALL (ASSUME ``p:bool``)) value
/seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/
H A Dsigned_word_abs_heap.c6 int foo(int *p, int e) function
H A Darray_indirect_update.c13 void foo(int *a) function

Completed in 219 milliseconds

123