Searched refs:mks (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | config.guess | 877 echo i${UNAME_MACHINE}-pc-mks
880 echo x86_64-pc-mks
|
| H A D | config.sub | 1405 | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | config.guess | 877 echo i${UNAME_MACHINE}-pc-mks
880 echo x86_64-pc-mks
|
| H A D | config.sub | 1405 | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | pseudo_compile.py | 19 mk_if, mk_meta_typ, mk_pvalid) = syntax.mks
|
| H A D | syntax.py | 1485 mks = (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, variable
|
| H A D | logic.py | 17 mk_if, mk_meta_typ, mk_pvalid) = syntax.mks
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | ind_types.sml | 597 val mks = map (fst o snd) consindex value
598 val mkindex = map (fn t => (hd(tl(snd(dest_type(type_of t)))),t)) mks
|
Completed in 72 milliseconds