Searched refs:baz (Results 1 - 16 of 16) sorted by relevance
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver422.c | 9 int __attribute__((__const__)) baz(void) { function
|
| H A D | variable_munge.c | 29 int bar(unsigned long baz) argument
42 struct b *d, *baz; local
43 for(baz = (struct b *) 0; baz; baz = d)
45 d = baz->x;
|
| H A D | parse_enum.c | 21 enum foo {bar,baz} x; enumerator in enum:foo
|
| /seL4-l4v-master/HOL4/src/boss/theory_tests/ |
| H A D | unicodedefncommentScript.sml | 10 baz (Con1 n (* x ��� y *)) = n + 1 ��� (* UOK *)
11 baz (Con2 f) = 1 + baz f
|
| /seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/ |
| H A D | heap_lift_array.c | 24 unsigned int baz(void) { function
|
| /seL4-l4v-master/HOL4/tools/Holmake/tests/noprereqs/dir4/ |
| H A D | finalScript.sml | 7 val baz_def = new_definition("baz_def", ���baz x <=> (foo x ==> bar x)���);
|
| /seL4-l4v-master/HOL4/src/num/theories/ |
| H A D | selftest.sml | 40 \ foo' a b /\\ bar a c /\\ baz a c d /\\ qux f g /\\ foo' f g ==>\n\
|
| /seL4-l4v-master/HOL4/tools-poly/Holmake/ |
| H A D | winNT-systeml.sml | 31 "c:/program files/bar/baz" "arg1"
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | selftest.sml | 75 val el1 = Cons(Symbol "bar", Symbol "baz")
|
| /seL4-l4v-master/HOL4/tools/mode-tests/ |
| H A D | indentScript.sml | 33 Theorem baz:
|
| H A D | sampleScript.sml | 33 Theorem baz:
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | winNT-systeml.sml | 36 "c:/program files/bar/baz" "arg1"
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | selftest.sml | 269 ("foo$bar<foo$baz", [QIdent ("foo", "bar"), Ident "<",
270 QIdent ("foo", "baz")]),
272 ("*foo$bar<foo$baz", [Ident "*", QIdent ("foo", "bar"), Ident "<",
273 QIdent ("foo", "baz")]),
770 ("D", Constructors[("bar", [vbool]), ("baz", [])])]
787 ("h", "C = foo bool bool; D = bar bool|baz", expected6)
|
| /seL4-l4v-master/HOL4/src/HolSmt/ |
| H A D | selftest.sml | 148 val _ = bossLib.Hol_datatype `dt1 = foo | bar | baz`
988 (``foo <> baz``, [thm_AUTO, thm_YO]),
989 (``bar <> baz``, [thm_AUTO, thm_YO]),
998 (``dt1_CASE baz f b z = z``, [thm_AUTO, thm_YO]),
|
| /seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
| H A D | test.ml | 196 not (date_matcher "foo-bar-baz")
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | selftest.sml | 292 val _ = type_abbrev("baz", ``:foo``) handle _ => die ""
|
Completed in 135 milliseconds